Ontology: Akt-Support-Ontology; Representation Language: ONTOLINGUA; File: foundations

This ontology was created by the Advanced Knowledge Technologies (AKT) project. AKT is an Interdisciplinary Research Collaboration (IRC), which is sponsored by the UK Engineering and Physical Sciences Research Council under grant number GR/N15764/01. The AKT IRC comprises the Universities of Aberdeen, Edinburgh, Sheffield, Southampton and the Open University.

;;;Automatically translated from OCML file #P"C:/users/jbd2/code/ocml/library/v5-0/domains/akt-support-ontology/foundations.lisp"
(in-package "ONTOLINGUA-USER")

(in-ontology 'akt-support-ontology)


(Define-Frame THING  

  :own-slots
  (  (Documentation "This is the top-level concept in the AKT reference ontology"))

  :template-slots
  ((Has-Variant-Name 
   (documentation "Other variants of the human readable name")
   (slot-value-type string))
   (Has-Pretty-Name 
   (documentation "A human readable name")
   (maximum-slot-cardinality 1)
   (slot-value-type string))
   ))


(Define-Frame INTANGIBLE-THING  

  :own-slots
  (  (Documentation "This comes from HPKB upper level.
   The collection of things that are not physical -- are not made 
   of, or encoded in, matter. Every Collection is an Intangible (even if its
   instances are tangible), and so are some Individuals. 
   Caution: do not confuse `tangibility' with `perceivability' -- humans can perceive
   light even though it's intangible--at least in a sense.")
  (Subclass-of thing)))


(Define-Frame TEMPORAL-THING  

  :own-slots
  (  (Documentation "Like in Cyc, this is something which has a temporal extent.")
  (Subclass-of thing))

  :template-slots
  ((Has-Time-Interval 
   (slot-value-type time-interval))
   ))


(Define-Frame TANGIBLE-THING  

  :own-slots
  (  (Documentation "Something which is not intangible, something which is physical, made of matter.
   It does not matter whether things are real of imaginary.  Therefore we consider
   Mickey Mouse's car and a hippogriff as  tangible things")
  (Subclass-of temporal-thing)))


(Define-Axiom TANGIBLE-AND-INTANGIBLE-THINGS-ARE-DISJOINT  
:= (subclass-partition thing (set-of tangible-thing intangible-thing)))


(Define-Frame INDIVIDUAL  

  :own-slots
  (  (Documentation "Something which is not a set.")
  (Subclass-of thing))

  :axioms
((<=> (not (set ?x)) (individual ?x))
))


(Define-Frame QUANTITY  

  :own-slots
  (  (Documentation "From SUO: Any specification of how many or how much of something there is. 
   Accordingly, there are two subclasses of Quantity: Number (how many) 
   and Physical-Quantity (how much).")
  (Subclass-of individual)
  (Subclass-of intangible-thing)))


(Define-Frame PHYSICAL-QUANTITY  

  :own-slots
  (  (Documentation "SUO: Physical Quantities are distinguished from Numbers by the
  fact that the former are associated with a dimension of measurement.")
  (Subclass-of quantity))

  :template-slots
  ((Has-Magnitude 
   (slot-value-type number))
   (Has-Unit-Of-Measure 
   (slot-value-type unit-of-measure))
   ))


(Define-Frame UNIT-OF-MEASURE  

  :own-slots
  (  (Documentation "Any kind of unit of measure, metre, dollar, kilogram, etc..")
  (Subclass-of intangible-thing)))

Contact Point