(In-Package :ol-user)
(define-ontology test-Cyc-Upper-Level (frame-ontology)
"
Upper Cyc/HPKB IKB Ontology with links to SENSUS
Version 1.1, 3 November 1997
This ontology was converted from the Cyc (r) upper level
ontology distributed to participants of the High Performance Knowledge
Base (HPKB) program of the
Defense Advanced Research Projects Agency Information System Office
(DARPA). It contains about 3000
concepts, english definitions, and a few basic relationships between
them. The full Cyc knowledge contains more complete definitions for
many of these concepts, as well as many others. Cycorp has offered this upper level
ontology to a broader community in part to enable a greater degree of
interoperation among knowledge based systems that share a common
ontology.
Copyright Cycorp 1997. All rights reserved.
Related Resources
The ANSI X3T2 Committee on Information Interchange has established an
ad hoc Committe on
Ontology Standards, which is actively working on
adopting a Reference Ontology for information interchange. This
merged upper ontology also represents the current draft of the X3T2
committee. Please communicate with the committee via email at onto-std@ksl.stanford.edu.
The mailing list ontology@cs.umbc.edu provides a forum for discussing
ontology related issues. People interested in participating should
send a message to ontology-request@majordomo.cs.umbc.edu with an empty
subject line and a single line in the body of the form: subscribe
ontology email, where email is the appropriate email
address for mail to be delivered to.
Conversion notes:
- The contents of this ontology is available in a flat file of CycL
assertions at
http://www.ksl.stanford.edu/onto-std/flat-file-merged-ontology.txt.
- Where possible, we have converted Cyc terms into
the corresponding terms in the Open Knowledge Base
Connectivity (OKBC)
knowledge model. For example, the Cyc term genls has been translated
into the OKBC term subclass-of.
- The Cyc MixedCaseNames have been translated into the OKBC
hyphen-seperated-names. The original name will be retained as the text
string value of the cyc-name-of slot.
- The distributed version of the Cyc upper level contained a small
number of functional terms. New object constants (frames) have been
introduced for each of these functional terms. These new objects are
instances of the class cyc-compound-term. Although not strictly
necessary, this conversion allows a broader range of systems to deal
with the contents of the upper level ontology.
Conversion by:
Adam Farquhar,
Vilhelm Heiberg
"
:Io-Package "ONTOLINGUA-USER"
:Shadow (Map))
(In-Ontology 'test-Cyc-Upper-Level)
(DEFINE-OKBC-FRAME CYC-COMPOUND-TERM :INSTANCE-OF (class) :SUBCLASS-OF (thing))
(DEFINE-OKBC-FRAME |(GASEOUS-FN WATER)|
:SUBCLASS-OF (gaseous-tangible-thing water)
:INSTANCE-OF (class tangible-stuff-state-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(GOVERNMENT-FN COUNTRY)|
:INSTANCE-OF (regional-government |(GROUP-FN INTELLIGENT-AGENT)| cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(GOVERNMENT-FN INDONESIA-THE-NATION)|
:INSTANCE-OF (regional-government cyc-compound-term)
:OWN-SLOT-SPECS ((documentation "GOVERNMENT OF INDONESIA"))
)
(DEFINE-OKBC-FRAME |(GROUP-FN CURRENCY)|
:SUBCLASS-OF (group spatial-thing)
:INSTANCE-OF (class object-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(GROUP-FN EVENT)|
:SUBCLASS-OF (group event)
:INSTANCE-OF (class object-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(GROUP-FN INTELLIGENT-AGENT)|
:SUBCLASS-OF (spatial-thing group)
:INSTANCE-OF (class object-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(GROUP-FN SPATIAL-THING)|
:SUBCLASS-OF (group spatial-thing)
:INSTANCE-OF (class object-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(HIGH-AMOUNT-FN COMPRESSIBILITY)|
:INSTANCE-OF (scalar-interval compressibility cyc-compound-term)
:OWN-SLOT-SPECS ((documentation "Can be compressed almost any amount"))
)
(DEFINE-OKBC-FRAME |(HIGH-AMOUNT-FN CORROSION-RESISTANCE)|
:INSTANCE-OF (scalar-interval corrosion-resistance cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(HIGH-AMOUNT-FN ELASTICITY)|
:INSTANCE-OF (scalar-interval elasticity cyc-compound-term)
:OWN-SLOT-SPECS ((documentation "completely re-expands almost instantly after compression"))
)
(DEFINE-OKBC-FRAME |(HIGH-AMOUNT-FN FLAMMABILITY)|
:INSTANCE-OF (scalar-interval flammability cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(HIGH-AMOUNT-FN MALLEABILITY)|
:INSTANCE-OF (scalar-interval malleability cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(HIGH-AMOUNT-FN POROSITY)|
:INSTANCE-OF (scalar-interval porosity cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(HIGH-AMOUNT-FN RAININESS)|
:INSTANCE-OF (scalar-interval raininess cyc-compound-term)
:OWN-SLOT-SPECS ((genl-attributes rainy))
)
(DEFINE-OKBC-FRAME |(HIGH-AMOUNT-FN RIGIDITY)|
:INSTANCE-OF (scalar-interval rigidity cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(HIGH-AMOUNT-FN SHEAR-STRENGTH)|
:INSTANCE-OF (scalar-interval shear-strength cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(HIGH-AMOUNT-FN TENSILE-STRENGTH)|
:INSTANCE-OF (scalar-interval tensile-strength cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(HIGH-AMOUNT-FN VISIBILITY)|
:INSTANCE-OF (scalar-interval visibility cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(JUVENILE-FN PERSON)|
:SUBCLASS-OF (juvenile-animal person)
:INSTANCE-OF (class existing-object-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(LIQUID-FN WATER)|
:SUBCLASS-OF (liquid-tangible-thing water)
:INSTANCE-OF (class tangible-stuff-state-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(LIQUID-FN WATER-SALINE)|
:SUBCLASS-OF (liquid-tangible-thing water-saline)
:INSTANCE-OF (class tangible-stuff-state-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(LOW-AMOUNT-FN COMPRESSIBILITY)|
:INSTANCE-OF (scalar-interval compressibility cyc-compound-term)
:OWN-SLOT-SPECS ((documentation "can be compressed somewhat"))
)
(DEFINE-OKBC-FRAME |(LOW-AMOUNT-FN DUCTILITY)|
:INSTANCE-OF (scalar-interval ductility cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(LOW-AMOUNT-FN ELASTICITY)|
:INSTANCE-OF (scalar-interval elasticity cyc-compound-term)
:OWN-SLOT-SPECS ((documentation "re-expands somewhat after compression, but not all the way back"))
)
(DEFINE-OKBC-FRAME |(LOW-AMOUNT-FN FRAGILITY)|
:INSTANCE-OF (scalar-interval fragility cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(LOW-AMOUNT-FN HARDNESS)|
:INSTANCE-OF (scalar-interval hardness cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(LOW-AMOUNT-FN MALLEABILITY)|
:INSTANCE-OF (scalar-interval malleability cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(LOW-AMOUNT-FN POROSITY)|
:INSTANCE-OF (scalar-interval porosity cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(LOW-AMOUNT-FN RAININESS)|
:INSTANCE-OF (scalar-interval raininess cyc-compound-term)
:OWN-SLOT-SPECS ((genl-attributes rainy))
)
(DEFINE-OKBC-FRAME |(LOW-AMOUNT-FN RELATIVE-HUMIDITY)|
:INSTANCE-OF (scalar-interval relative-humidity cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(LOW-AMOUNT-FN RIGIDITY)|
:INSTANCE-OF (scalar-interval rigidity cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(LOW-AMOUNT-FN SHEAR-STRENGTH)|
:INSTANCE-OF (scalar-interval shear-strength cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(LOW-AMOUNT-FN TENSILE-STRENGTH)|
:INSTANCE-OF (scalar-interval tensile-strength cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(LOW-AMOUNT-FN VISIBILITY)|
:INSTANCE-OF (scalar-interval visibility cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MAKING-FN VISUAL-IMAGE)|
:SUBCLASS-OF (making-something)
:INSTANCE-OF (class script-type temporal-object-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "ABSTRACT-OBJECT")|
:SUBCLASS-OF (individual)
:INSTANCE-OF (class thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "ADDRESSEE-ORIENTED-VERBAL-PROCESS")|
:SUBCLASS-OF (communicating)
:INSTANCE-OF (class thing temporal-stuff-type script-type collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "AMBIENT-PROCESS")|
:SUBCLASS-OF (physical-event)
:INSTANCE-OF (class thing script-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "AREA")|
:INSTANCE-OF (thing binary-predicate cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "CARDINALITY")|
:INSTANCE-OF (thing binary-predicate cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "CAUSAL-RELATION")|
:INSTANCE-OF (thing binary-predicate cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "CAUSE-EFFECT")|
:INSTANCE-OF (thing binary-predicate cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "CONTAINED")|
:INSTANCE-OF (thing binary-predicate cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "DECOMPOSABLE-OBJECT")|
:SUBCLASS-OF (thing)
:INSTANCE-OF (class thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "DIRECTED-ACTION")|
:SUBCLASS-OF (physical-event)
:INSTANCE-OF (class thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "DISTANCE")|
:INSTANCE-OF (thing binary-predicate cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "ELEMENT")|
:INSTANCE-OF (thing binary-predicate cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "ELEMENT-OF")|
:INSTANCE-OF (thing binary-predicate cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "GAS-MATERIAL")|
:INSTANCE-OF (thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "GENERALIZED-POSSESSION")|
:INSTANCE-OF (thing binary-predicate cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "INTENSIVE")|
:INSTANCE-OF (thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "INTERPERSONAL-THING")|
:SUBCLASS-OF (intangible-individual)
:INSTANCE-OF (class thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "LANGUAGE")|
:SUBCLASS-OF (communication-convention)
:INSTANCE-OF (class thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "LANGUAGE-RELATED-OBJECT")|
:SUBCLASS-OF (communication-convention)
:INSTANCE-OF (class thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "LESS-THAN-COMPARISON")|
:INSTANCE-OF (thing binary-predicate cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "LINEAR-SIZE")|
:INSTANCE-OF (thing physical-amount-slot cyc-compound-term)
:OWN-SLOT-SPECS ((arg2-isa distance))
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "LIQUID-MATERIAL")|
:INSTANCE-OF (thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "LOCATING")|
:INSTANCE-OF (thing binary-predicate cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "MISC-STUFF")|
:SUBCLASS-OF (thing)
:INSTANCE-OF (class thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "NAMED-OBJECT")|
:SUBCLASS-OF (something-existing)
:INSTANCE-OF (class thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "NON-ADDRESSEE-ORIENTED-VERBAL-PROCESS")|
:SUBCLASS-OF (communicating)
:INSTANCE-OF (class thing temporal-stuff-type script-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "NON-CONSCIOUS-BEING")|
:SUBCLASS-OF (partially-tangible)
:INSTANCE-OF (class thing existing-object-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "NON-DIRECTED-ACTION")|
:SUBCLASS-OF (physical-event)
:INSTANCE-OF (class thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "NONDECOMPOSABLE-OBJECT")|
:SUBCLASS-OF (individual)
:INSTANCE-OF (class thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "NOTCONTAINED")|
:INSTANCE-OF (thing binary-predicate cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "ONE-OR-TWO-D-LOCATION")|
:SUBCLASS-OF (geometric-thing)
:INSTANCE-OF (class thing shape-type collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "ORDERED-SET")|
:INSTANCE-OF (thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "ORDERING-RELATION")|
:SUBCLASS-OF (binary-predicate)
:INSTANCE-OF (class thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "OWNED-BY")|
:INSTANCE-OF (thing binary-predicate cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "PHYSICAL-MATERIAL")|
:INSTANCE-OF (thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "REPRESENTATIONAL-OBJECT")|
:INSTANCE-OF (thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "SENSE-AND-MEASURE-QUALITY")|
:SUBCLASS-OF (attribute-value)
:INSTANCE-OF (class thing attribute-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "SEPARABLE-ENTITY")|
:SUBCLASS-OF (something-existing)
:INSTANCE-OF (class thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "SET")|
:INSTANCE-OF (thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "SIZE")|
:SUBCLASS-OF (physical-attribute)
:INSTANCE-OF (class thing measurable-attribute-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "SIZE-PROPERTY-ASCRIPTION")|
:INSTANCE-OF (thing physical-amount-slot cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "SOLID-MATERIAL")|
:INSTANCE-OF (thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "SOURCE-DESTINATION")|
:INSTANCE-OF (thing binary-predicate cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "SPATIAL-LOCATING")|
:INSTANCE-OF (thing binary-predicate cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "STRIVING")|
:SUBCLASS-OF (intangible-individual)
:INSTANCE-OF (class thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "SUBJECT-MATTER")|
:INSTANCE-OF (thing binary-predicate cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "TEMPORAL-NONINCLUSIVE")|
:INSTANCE-OF (thing binary-predicate cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "TIME-INTERVAL")|
:SUBCLASS-OF (time-interval)
:INSTANCE-OF (class thing collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEDIUM-AMOUNT-FN BIO-DETERIORATION-RESISTANCE)|
:INSTANCE-OF (scalar-interval bio-deterioration-resistance cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEDIUM-AMOUNT-FN COMPRESSIBILITY)|
:INSTANCE-OF (scalar-interval compressibility cyc-compound-term)
:OWN-SLOT-SPECS ((documentation "Can be compressed to less than half its volume"))
)
(DEFINE-OKBC-FRAME |(MEDIUM-AMOUNT-FN CORROSION-RESISTANCE)|
:INSTANCE-OF (scalar-interval corrosion-resistance cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEDIUM-AMOUNT-FN ELASTICITY)|
:INSTANCE-OF (scalar-interval elasticity cyc-compound-term)
:OWN-SLOT-SPECS ((documentation "will eventually re-expand after compression"))
)
(DEFINE-OKBC-FRAME |(MEDIUM-AMOUNT-FN FLAMMABILITY)|
:INSTANCE-OF (scalar-interval flammability cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEDIUM-AMOUNT-FN FRAGILITY)|
:INSTANCE-OF (scalar-interval fragility cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEDIUM-AMOUNT-FN HARDNESS)|
:INSTANCE-OF (scalar-interval hardness cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEDIUM-AMOUNT-FN POROSITY)|
:INSTANCE-OF (scalar-interval porosity cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEDIUM-AMOUNT-FN RAININESS)|
:INSTANCE-OF (scalar-interval raininess cyc-compound-term)
:OWN-SLOT-SPECS ((genl-attributes rainy))
)
(DEFINE-OKBC-FRAME |(MEDIUM-AMOUNT-FN RIGIDITY)|
:INSTANCE-OF (rigidity scalar-interval cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEDIUM-AMOUNT-FN SHEAR-STRENGTH)|
:INSTANCE-OF (scalar-interval shear-strength cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MEDIUM-AMOUNT-FN TENSILE-STRENGTH)|
:INSTANCE-OF (scalar-interval tensile-strength cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MOB-FN MOUNTAIN)|
:SUBCLASS-OF (mob)
:INSTANCE-OF (class existing-stuff-type collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MOB-FN PARTICLE)|
:SUBCLASS-OF (mob)
:INSTANCE-OF (class existing-stuff-type collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(MOB-FN PRECIPITATION-PARTICLE)|
:SUBCLASS-OF (mob)
:INSTANCE-OF (class existing-stuff-type collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(NO-AMOUNT-FN COMPRESSIBILITY)|
:INSTANCE-OF (scalar-interval compressibility cyc-compound-term)
:OWN-SLOT-SPECS ((documentation "essentially cannot be compressed"))
)
(DEFINE-OKBC-FRAME |(NO-AMOUNT-FN DUCTILITY)|
:INSTANCE-OF (scalar-interval ductility cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(NO-AMOUNT-FN ELASTICITY)|
:INSTANCE-OF (scalar-interval elasticity cyc-compound-term)
:OWN-SLOT-SPECS ((documentation "does not re-expand at all after compression"))
)
(DEFINE-OKBC-FRAME |(NO-AMOUNT-FN FLAMMABILITY)|
:INSTANCE-OF (scalar-interval flammability cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(NO-AMOUNT-FN MALLEABILITY)|
:INSTANCE-OF (scalar-interval malleability cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(NO-AMOUNT-FN POROSITY)|
:INSTANCE-OF (scalar-interval porosity cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(NO-AMOUNT-FN RIGIDITY)|
:INSTANCE-OF (scalar-interval rigidity cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(NO-AMOUNT-FN VOLATILITY)|
:INSTANCE-OF (scalar-interval volatility cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(SOLID-FN CONCRETE)|
:SUBCLASS-OF (solid-tangible-thing concrete)
:INSTANCE-OF (class tangible-stuff-state-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(SOLID-FN EARTH-STUFF)|
:SUBCLASS-OF (solid-tangible-thing earth-stuff)
:INSTANCE-OF (class tangible-stuff-state-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(SOLID-FN GLASS)|
:SUBCLASS-OF (solid-tangible-thing glass)
:INSTANCE-OF (class tangible-stuff-state-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(SOLID-FN METAL)|
:SUBCLASS-OF (solid-tangible-thing metal)
:INSTANCE-OF (class tangible-stuff-state-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(SOLID-FN PLASTIC)|
:SUBCLASS-OF (solid-tangible-thing plastic)
:INSTANCE-OF (class tangible-stuff-state-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(SOLID-FN WATER)|
:SUBCLASS-OF (solid-tangible-thing water)
:INSTANCE-OF (class tangible-stuff-state-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(STIB (YEAR-FN -902))|
:INSTANCE-OF (time-interval cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(THE-COVERING CREATION-EVENT DESTRUCTION-EVENT)|
:INSTANCE-OF (set-mathematical cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(THE-COVERING GAINING-USER-RIGHTS LOSING-USER-RIGHTS)|
:INSTANCE-OF (set-mathematical cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(THE-COVERING MOVEMENT-TRANSLATION-EVENT MOVEMENT-ROTATION)|
:INSTANCE-OF (set-mathematical cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(THE-COVERING ORGANIZATIONAL-TRANSFER-IN ORGANIZATIONAL-TRANSFER-OUT)|
:INSTANCE-OF (set-mathematical cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(THE-COVERING TRANSFER-IN TRANSFER-OUT)|
:INSTANCE-OF (set-mathematical cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(THE-PARTITION ADULT-ANIMAL JUVENILE-ANIMAL)|
:INSTANCE-OF (set-mathematical disjoint-set-or-collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(THE-PARTITION ARTIFACT INANIMATE-THING-NATURAL)|
:INSTANCE-OF (set-mathematical disjoint-set-or-collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(THE-PARTITION CORNER-2D CORNER-3D)|
:INSTANCE-OF (set-mathematical disjoint-set-or-collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(THE-PARTITION DUSK DAWN)|
:INSTANCE-OF (set-mathematical disjoint-set-or-collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(THE-PARTITION FEMALE-PERSON MALE-PERSON)|
:INSTANCE-OF (set-mathematical disjoint-set-or-collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(THE-PARTITION INTANGIBLE PARTIALLY-TANGIBLE)|
:INSTANCE-OF (set-mathematical disjoint-set-or-collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(THE-PARTITION INVERTEBRATE VERTEBRATE)|
:INSTANCE-OF (set-mathematical disjoint-set-or-collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(THE-PARTITION NON-LEAP-YEAR LEAP-YEAR)|
:INSTANCE-OF (set-mathematical disjoint-set-or-collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(THE-PARTITION NON-PERSON-ANIMAL PERSON)|
:INSTANCE-OF (set-mathematical disjoint-set-or-collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(THE-PARTITION NON-POWERED-DEVICE POWERED-DEVICE)|
:INSTANCE-OF (set-mathematical disjoint-set-or-collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(THE-PARTITION SET-MATHEMATICAL COLLECTION)|
:INSTANCE-OF (set-mathematical disjoint-set-or-collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(THE-PARTITION SET-OR-COLLECTION INDIVIDUAL)|
:INSTANCE-OF (set-mathematical disjoint-set-or-collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(THE-PARTITION TRANSLATION-FLOW TRANSLATION-COMPLETE)|
:INSTANCE-OF (set-mathematical disjoint-set-or-collection cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(TRANSPORT-FN GASEOUS-TANGIBLE-THING)|
:SUBCLASS-OF (transporting-goods)
:INSTANCE-OF (class script-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(TRANSPORT-FN LIQUID-TANGIBLE-THING)|
:SUBCLASS-OF (transporting-goods)
:INSTANCE-OF (class script-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(TRANSPORT-FN PERSON)|
:SUBCLASS-OF (transporting-goods)
:INSTANCE-OF (class script-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(TRANSPORT-FN SEMI-SOLID-TANGIBLE-THING)|
:SUBCLASS-OF (transporting-goods)
:INSTANCE-OF (class script-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(TRANSPORT-FN SOLID-TANGIBLE-THING)|
:SUBCLASS-OF (transporting-goods)
:INSTANCE-OF (class script-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(TRANSPORT-VIA-FN AIR-TRANSPORTATION-DEVICE)|
:SUBCLASS-OF (|(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE)| transportation-event)
:INSTANCE-OF (class default-disjoint-script-type script-type temporal-stuff-type cyc-compound-term)
:OWN-SLOT-SPECS ((documentation "A collection of events. An instance of (Transport-Via-Fn Air-Transportation-Device) is a transportation event in which a Vehicle designed to travel through the atmosphere or outer space is used. Examples include instances of the would-be collections hang gliding, airplane tranportation, flying the space shuttle, hot air ballon transport. Note: This collection does not include Flying-Flapping-Wings, which is what birds do."))
)
(DEFINE-OKBC-FRAME |(TRANSPORT-VIA-FN AIRPLANE)|
:SUBCLASS-OF (|(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE-VEHICLE)| |(TRANSPORT-VIA-FN AIR-TRANSPORTATION-DEVICE)| transportation-event)
:INSTANCE-OF (class temporal-stuff-type default-disjoint-script-type script-type cyc-compound-term)
:OWN-SLOT-SPECS ((documentation "Transportation in an Airplane. This includes not only flying (moving through the air, with the plane supoorted by the air), but also such events as taxiing, takeoff and landing."))
)
(DEFINE-OKBC-FRAME |(TRANSPORT-VIA-FN AMBULANCE)|
:SUBCLASS-OF (service-event |(TRANSPORT-VIA-FN AMBULANCE)| |(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE)| |(TRANSPORT-VIA-FN LAND-TRANSPORTATION-DEVICE)| |(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE-VEHICLE)| |(TRANSPORT-VIA-FN ROAD-VEHICLE)| transportation-event)
:INSTANCE-OF (class script-type temporal-stuff-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(TRANSPORT-VIA-FN ANIMAL)|
:SUBCLASS-OF (purposeful-action transportation-event)
:INSTANCE-OF (class script-type temporal-stuff-type cyc-compound-term)
:OWN-SLOT-SPECS ((documentation "Transportation in which an animal provides the force for movement. Includes horses and other animals carrying people and objects, people carrying objects and other people, etc."))
)
(DEFINE-OKBC-FRAME |(TRANSPORT-VIA-FN AUTOMOBILE)|
:SUBCLASS-OF (|(TRANSPORT-VIA-FN ROAD-VEHICLE)| |(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE)| |(TRANSPORT-VIA-FN LAND-TRANSPORTATION-DEVICE)| |(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE-VEHICLE)| |(TRANSPORT-VIA-FN AUTOMOBILE)| transportation-event)
:INSTANCE-OF (class script-type temporal-stuff-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(TRANSPORT-VIA-FN BICYCLE)|
:SUBCLASS-OF (exercising locomotion-process |(TRANSPORT-VIA-FN LAND-TRANSPORTATION-DEVICE)| transportation-event)
:INSTANCE-OF (class temporal-stuff-type default-disjoint-script-type script-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(TRANSPORT-VIA-FN BUS-ROAD-VEHICLE)|
:SUBCLASS-OF (|(TRANSPORT-VIA-FN ROAD-VEHICLE)| |(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE)| |(TRANSPORT-VIA-FN LAND-TRANSPORTATION-DEVICE)| |(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE-VEHICLE)| |(TRANSPORT-VIA-FN BUS-ROAD-VEHICLE)| transportation-event)
:INSTANCE-OF (class script-type temporal-stuff-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(TRANSPORT-VIA-FN DEVICE-USER-POWERED)|
:SUBCLASS-OF (exercising transportation-event)
:INSTANCE-OF (class script-type temporal-stuff-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(TRANSPORT-VIA-FN LAND-TRANSPORTATION-DEVICE)|
:SUBCLASS-OF (transportation-event |(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE)| |(TRANSPORT-VIA-FN LAND-TRANSPORTATION-DEVICE)|)
:INSTANCE-OF (class default-disjoint-script-type script-type temporal-stuff-type cyc-compound-term)
:OWN-SLOT-SPECS ((documentation "A collection of events. An instance of (Transport-Via-Fn Land-Transportation-Device) is a transportation event in which a Vehicle designed to travel over land is used. Examples include instances of the collections (Transport-Via-Fn Road-Vehicle), Skate-Boarding, and Snow-Skiing. Note: This collection does not include instances of Animal-Walking-Process, which is a Locomotion-Process (q.v.), not a form of transportation as defined in Cyc. A marginal example of this would be a (fictional) event in which someone burrowed through the earth in a Jules-Vernesque real-time tunnel-digging machine."))
)
(DEFINE-OKBC-FRAME |(TRANSPORT-VIA-FN MOTORCYCLE)|
:SUBCLASS-OF (|(TRANSPORT-VIA-FN ROAD-VEHICLE)| |(TRANSPORT-VIA-FN MOTORCYCLE)| |(TRANSPORT-VIA-FN LAND-TRANSPORTATION-DEVICE)| |(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE)| |(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE-VEHICLE)| transportation-event)
:INSTANCE-OF (class script-type temporal-stuff-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(TRANSPORT-VIA-FN ROAD-VEHICLE)|
:SUBCLASS-OF (|(TRANSPORT-VIA-FN LAND-TRANSPORTATION-DEVICE)| |(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE-VEHICLE)| transportation-event)
:INSTANCE-OF (class temporal-stuff-type script-type default-disjoint-script-type cyc-compound-term)
:OWN-SLOT-SPECS ((documentation "The collection of transportion events in which a (more or less conventional) road vehicle (see Road-Vehicle) is the transportation device (see Transporter and Vehicle)."))
)
(DEFINE-OKBC-FRAME |(TRANSPORT-VIA-FN SPACECRAFT)|
:SUBCLASS-OF (|(TRANSPORT-VIA-FN SPACECRAFT)| |(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE)| transportation-event)
:INSTANCE-OF (class temporal-stuff-type default-disjoint-script-type script-type cyc-compound-term)
:OWN-SLOT-SPECS ((documentation "The collection of all events in which vehicles, manned or unmanned, leave the atmosphere of earth to orbit around it or travel to other regions of the universe."))
)
(DEFINE-OKBC-FRAME |(TRANSPORT-VIA-FN TRAIN-TRANSPORTATION-DEVICE)|
:SUBCLASS-OF (|(TRANSPORT-VIA-FN TRAIN-TRANSPORTATION-DEVICE)| |(TRANSPORT-VIA-FN LAND-TRANSPORTATION-DEVICE)| |(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE-VEHICLE)| |(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE)| transportation-event)
:INSTANCE-OF (class temporal-stuff-type script-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE)|
:SUBCLASS-OF (|(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE)| translation-single-path human-activity transportation-event)
:INSTANCE-OF (class temporal-stuff-type script-type cyc-compound-term)
:OWN-SLOT-SPECS ((documentation "A collection of events. An instance of (Transport-Via-Fn Transportation-Device) is a Transportation-Event in which the Transporter is a TransportationDevice@cyc; e.g., driving a car, riding a train, sending scientific instruments to Mars on an unmanned space probe."))
)
(DEFINE-OKBC-FRAME |(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE-VEHICLE)|
:SUBCLASS-OF (|(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE-VEHICLE)| |(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE)| transportation-event)
:INSTANCE-OF (class script-type temporal-stuff-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(TRANSPORT-VIA-FN TRUCK)|
:SUBCLASS-OF (|(TRANSPORT-VIA-FN ROAD-VEHICLE)| |(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE)| |(TRANSPORT-VIA-FN LAND-TRANSPORTATION-DEVICE)| |(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE-VEHICLE)| |(TRANSPORT-VIA-FN TRUCK)| transportation-event)
:INSTANCE-OF (class temporal-stuff-type script-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(TRANSPORT-VIA-FN WATER-TRANSPORTATION-DEVICE)|
:SUBCLASS-OF (|(TRANSPORT-VIA-FN TRANSPORTATION-DEVICE)| |(TRANSPORT-VIA-FN WATER-TRANSPORTATION-DEVICE)| transportation-event)
:INSTANCE-OF (class default-disjoint-script-type script-type temporal-stuff-type cyc-compound-term)
:OWN-SLOT-SPECS ((documentation "A collection of events. An instance of (Transport-Via-Fn Water-Transportation-Device) is a transportation event in which a Vehicle designed to float on or travel through water is used. Examples include instances of Sailing in boats, Water-Skiing, and Windsurfing. Note: This collection does not include swimming, which is a Locomotion-Process (q.v.), not a form of transportation as defined (intended and axiomatized) in Cyc."))
)
(DEFINE-OKBC-FRAME |(VERY-HIGH-AMOUNT-FN BIO-DETERIORATION-RESISTANCE)|
:INSTANCE-OF (scalar-interval bio-deterioration-resistance cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(VERY-HIGH-AMOUNT-FN CORROSION-RESISTANCE)|
:INSTANCE-OF (scalar-interval corrosion-resistance cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(VERY-HIGH-AMOUNT-FN FLAMMABILITY)|
:INSTANCE-OF (scalar-interval flammability cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(VERY-HIGH-AMOUNT-FN FRAGILITY)|
:INSTANCE-OF (scalar-interval fragility cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(VERY-HIGH-AMOUNT-FN HARDNESS)|
:INSTANCE-OF (scalar-interval hardness cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(VERY-HIGH-AMOUNT-FN POROSITY)|
:INSTANCE-OF (scalar-interval porosity cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(VERY-HIGH-AMOUNT-FN RELATIVE-HUMIDITY)|
:INSTANCE-OF (scalar-interval relative-humidity cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(VERY-HIGH-AMOUNT-FN RIGIDITY)|
:INSTANCE-OF (scalar-interval rigidity cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(VERY-HIGH-AMOUNT-FN SHEAR-STRENGTH)|
:INSTANCE-OF (scalar-interval shear-strength cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(VERY-HIGH-AMOUNT-FN TENSILE-STRENGTH)|
:INSTANCE-OF (scalar-interval tensile-strength cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(VERY-LOW-AMOUNT-FN DUCTILITY)|
:INSTANCE-OF (scalar-interval ductility cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(VERY-LOW-AMOUNT-FN FLAMMABILITY)|
:INSTANCE-OF (scalar-interval flammability cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(VERY-LOW-AMOUNT-FN FRAGILITY)|
:INSTANCE-OF (scalar-interval fragility cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(VERY-LOW-AMOUNT-FN HARDNESS)|
:INSTANCE-OF (scalar-interval hardness cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(VERY-LOW-AMOUNT-FN MALLEABILITY)|
:INSTANCE-OF (scalar-interval malleability cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(VERY-LOW-AMOUNT-FN POROSITY)|
:INSTANCE-OF (scalar-interval porosity cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(VERY-LOW-AMOUNT-FN RELATIVE-HUMIDITY)|
:INSTANCE-OF (scalar-interval relative-humidity cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(VERY-LOW-AMOUNT-FN RIGIDITY)|
:INSTANCE-OF (scalar-interval rigidity cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(VERY-LOW-AMOUNT-FN SHEAR-STRENGTH)|
:INSTANCE-OF (scalar-interval shear-strength cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(VERY-LOW-AMOUNT-FN TENSILE-STRENGTH)|
:INSTANCE-OF (scalar-interval tensile-strength cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(WAVE-EMISSION-FN AUDIBLE-SOUND)|
:SUBCLASS-OF (emitting-a-wave)
:INSTANCE-OF (class temporal-stuff-type script-type cyc-compound-term)
)
(DEFINE-OKBC-FRAME |(WAVE-EMISSION-FN VISIBLE-LIGHT)|
:SUBCLASS-OF (emitting-a-wave)
:INSTANCE-OF (class temporal-stuff-type script-type cyc-compound-term)
:OWN-SLOT-SPECS ((documentation "A collection of events; a subset of Emitting-A-Wave. Each element of (Wave-Emission-Fn Visible-Light) is an event in which an instance of Visible-Light is emitted from some Wave-Source. Examples: the burning of a candle; the shining of a light bulb; a firefly's glowing. Almost every instance of (Wave-Emission-Fn Visible-Light) will also emit instances of other types of Electromagnetic-Radiation other than Visible-Light."))
)
(DEFINE-OKBC-FRAME |(YEAR-FN -902)|
:INSTANCE-OF (cyc-compound-term)
:OWN-SLOT-SPECS ((stib |(STIB (YEAR-FN -902))|))
)
(DEFINE-OKBC-FRAME a-few-days-duration
:INSTANCE-OF (time-quantity order-of-magnitude-interval)
:OWN-SLOT-SPECS ((documentation "Duration of 2 to 10 days"))
)
(DEFINE-OKBC-FRAME a-few-decades-duration
:INSTANCE-OF (time-quantity order-of-magnitude-interval)
:OWN-SLOT-SPECS ((documentation "Duration of 2 to 10 decades"))
)
(DEFINE-OKBC-FRAME a-few-hours-duration
:INSTANCE-OF (time-quantity order-of-magnitude-interval)
:OWN-SLOT-SPECS ((documentation "Duration of 2 to 10 hours"))
)
(DEFINE-OKBC-FRAME a-few-minutes-duration
:INSTANCE-OF (time-quantity order-of-magnitude-interval)
:OWN-SLOT-SPECS ((documentation "Duration of 2 to 10 minutes"))
)
(DEFINE-OKBC-FRAME a-few-months-duration
:INSTANCE-OF (time-quantity order-of-magnitude-interval)
:OWN-SLOT-SPECS ((documentation "A few months 2-10"))
)
(DEFINE-OKBC-FRAME a-few-seconds-duration
:INSTANCE-OF (order-of-magnitude-interval time-quantity)
:OWN-SLOT-SPECS ((documentation "Duration of 2 to 30 seconds"))
)
(DEFINE-OKBC-FRAME a-few-weeks-duration
:INSTANCE-OF (time-quantity order-of-magnitude-interval)
:OWN-SLOT-SPECS ((documentation "Duration of 2 to 10 weeks"))
)
(DEFINE-OKBC-FRAME a-few-years-duration
:INSTANCE-OF (time-quantity order-of-magnitude-interval)
:OWN-SLOT-SPECS ((documentation "Duration of 2 to 10 years"))
)
(DEFINE-OKBC-FRAME abandoning-something
:SUBCLASS-OF (losing-user-rights purposeful-action)
:INSTANCE-OF (class temporal-object-type script-type)
:OWN-SLOT-SPECS ((documentation "The collection of events in which some Agent deliberately gives up possession of something, without giving it to another."))
)
(DEFINE-OKBC-FRAME ablation
:SUBCLASS-OF (separation-complete intrinsic-state-change-event removing-something)
:INSTANCE-OF (class default-disjoint-script-type temporal-stuff-type)
:OWN-SLOT-SPECS ((documentation "A collection of events. In an Ablation, a (usually relatively thin) layer of material is removed from the surface of an object."))
)
(DEFINE-OKBC-FRAME abnormal
:INSTANCE-OF (slot binary-predicate default-monotonic-predicate)
:OWN-SLOT-SPECS ((range assertion) (domain cyc-system-list) (documentation "Every default rule in our system
P(x1,...,xn) => Q(x1,...,xn)
is implicitly treated as
(not(abnormal(x1,...,xn)) and P(x1,...,xn) => Q(x1,...,xn)
This allows rules without exceptions to never have to incur the
overhead of default reasoning.
Exceptions to rules are written like so:
(Except-When R(x1,...,xn) Rule001)
and get canonicalized into rules concluding abnormal like so:
R(x1,...,xn) => (Abnormal(x1,....,xn) Rule001)
Since a different 'abnormality' predicte is needed for every default
rule in the system, we instead handle this uniqueness requirement by
having a single Abnormal predicate which takes the rule in question
as an argument.
Also, the variables over which abnormality is computed is given as a
single list. This allows Abnormal to be binary rather than
arbitrary arity. "))
)
(DEFINE-OKBC-FRAME above-directly
:INSTANCE-OF (slot asymmetric-binary-predicate physical-feature-describing-predicate)
:OWN-SLOT-SPECS ((subrelation-of above-generally) (range partially-tangible) (domain partially-tangible) (documentation "(Above-Directly ABOVE BELOW) means either (1) the volumetric center of ABOVE is directly above some point of BELOW, if ABOVE is smaller than BELOW; or (2) otherwise, it means that some point of ABOVE is directly above the volumetric center of BELOW."))
:SENTENCES
((kif:not (instance-of above-directly transitive-binary-predicate))
)
)
(DEFINE-OKBC-FRAME above-generally
:INSTANCE-OF (slot asymmetric-binary-predicate physical-feature-describing-predicate)
:OWN-SLOT-SPECS ((subrelation-of above-higher) (range partially-tangible) (domain partially-tangible) (documentation "(Above-Higher OBJ1 OBJ2)
means that OBJ1 is more or less above OBJ2. To be more
precise: if OBJ1 would be within a cone-shaped set of
vectors within about 45 degrees of Up-Directly
pointing up from OBJ2 (see Up-Generally), then
(Above-Higher OBJ1 OBJ2). This
is a wider predicate than Above-Directly, but narrower
than Above-Higher. It probably most closely conforms to
the English word 'above.'"))
:SENTENCES
((synonymous-external-concept above-generally sensus-information1997 "ABOVE")
(kif:not (instance-of above-generally transitive-binary-predicate)))
)
(DEFINE-OKBC-FRAME above-ground-level-in-a-construction
:SUBCLASS-OF (container-product level-of-a-construction)
:INSTANCE-OF (class existing-object-type)
:OWN-SLOT-SPECS ((documentation "This refers to first floor and up. We created this to make the distinction between basements and non-basements. We'd like to be able to talk about, count, etc. the levels above ground."))
)
(DEFINE-OKBC-FRAME above-higher
:INSTANCE-OF (slot spatial-predicate transitive-binary-predicate asymmetric-binary-predicate cotemporal-objects-slot)
:OWN-SLOT-SPECS ((subrelation-of cotemporal) (range partially-tangible) (domain partially-tangible) (documentation "(Above-Higher ?OBJ-A ?OBJ-B) means that ?OBJ-A is ``higher up'' than ?OBJ-B. Since most contexts are terrestrial (see Terrestrial-Frame-Of-Reference-Mt) ``higher up'' typically means that the Altitude-Above-Ground of ?OBJ-A is greater than that of ?OBJ-B."))
)
(DEFINE-OKBC-FRAME above-overhead
:INSTANCE-OF (slot spatial-predicate asymmetric-binary-predicate irreflexive-binary-predicate)
:OWN-SLOT-SPECS ((subrelation-of above-directly above-generally) (range partially-tangible) (domain partially-tangible) (documentation "(Above-Overhead ABOVE BELOW) means that ABOVE is directly above BELOW, all points of ABOVE are higher than all points of BELOW, and they do NOT touch. Examples: a bomb falling directly above a bunker; a street lamp shining directly above a person standing below."))
:SENTENCES
((kif:not (instance-of above-overhead transitive-binary-predicate))
)
)
(DEFINE-OKBC-FRAME above-touching
:INSTANCE-OF (slot irreflexive-binary-predicate asymmetric-binary-predicate spatial-predicate)
:OWN-SLOT-SPECS ((subrelation-of touches above-generally above-directly) (range partially-tangible) (domain partially-tangible) (documentation "(Above-Touching ABOVE BELOW) means that ABOVE is located over BELOW and they are touching. More precisely, it implies both (Above-Directly ABOVE BELOW) and that ABOVE Touches BELOW. Examples: a person sitting on a chair; coffee in a cup; a boat on water; a hat on a head. (Note that not every point of ABOVE must be higher than every point of BELOW.)"))
:SENTENCES
((kif:not (instance-of above-touching transitive-binary-predicate))
)
)
(DEFINE-OKBC-FRAME abrading-something
:SUBCLASS-OF (voluntary-body-movement physical-contact-situation ablation)
:INSTANCE-OF (class default-disjoint-script-type)
:OWN-SLOT-SPECS ((documentation "A collection of events. In an Abrading-Something event, the surface of some object is gradually worn away by scraping or similar physical contact involving friction. Devices used in elements of Abrading-Something include files and sand paper; elements of Abrading-Something would include the event in which Howard Hughes sanded down the Spruce Goose for the last time, the event in which Lucy Ricardo filed her fingernails just before her singing debut at Rickie's club, etc."))
)
(DEFINE-OKBC-FRAME absolute-value-fn
:INSTANCE-OF (slot function-from-quantities-to-quantities)
:OWN-SLOT-SPECS ((domain scalar-interval) (range scalar-interval) (documentation "Absolute-Value-Fn is the unary mathematical function that returns the absolute value of its argument; e.g., (Absolute-Value-Fn -2) returns 2, and (Absolute-Value-Fn 2) returns 2."))
)
(DEFINE-OKBC-FRAME abstract-information
:SUBCLASS-OF (intangible)
:INSTANCE-OF (class object-type stuff-type)
:OWN-SLOT-SPECS ((documentation "The collection of all instances of abstract information stored or transmitted in some manner, and representing (to someone potentially at least) something. Abstract information need not have any propositional content (see Propositional-Information-Thing); a score for music, or a bit-map, are examples. Note that Abstract-Information is the abstract, intangible information, not any particular physical embodiment. The same abstract information is often stored in many different physical Information-Bearing-Objects. Abstract-Information may or may not be digital; it need not be representable in a particular number of bits. Abstract-Information does not include every abstract Intangible or 'Platonic' concept, only that information that represents something and is (at least potentially) stored or transmitted for that purpose; thus, the ideal regular icosahedron is not in itself an instance of Abstract-Information. Note also that although most instances of Abstract-Information are Intangible-Individuals, some are Set-Or-Collections such as Biological-Taxons and other Conventional-Classification-Types."))
)
(DEFINE-OKBC-FRAME abstract-programming-language
:SUBCLASS-OF (mathematical-or-computational-thing language)
:INSTANCE-OF (class object-type)
:OWN-SLOT-SPECS ((documentation "The collection of languages invented for use by computers. This includes both command languages and others which one doesn't really `program' in."))
)
(DEFINE-OKBC-FRAME abstract-shape
:SUBCLASS-OF (geometric-thing)
:INSTANCE-OF (class object-type)
:OWN-SLOT-SPECS ((documentation "A collection of objects; a subset of Geometric-Thing. Abstract-Shape is the collection of all abstract physical shapes. Each element of Abstract-Shape is an abstract region of physical space, having two or more dimensions. This includes all circles, spheres, triangles, wedges, spirals, cylinders, toruses, etc."))
:SENTENCES
((overlapping-external-concept abstract-shape sensus-information1997 "SHAPE-QUALITY")
)
)
(DEFINE-OKBC-FRAME abstract-shape-type
:SUBCLASS-OF (shape-type)
:INSTANCE-OF (class collection)
:OWN-SLOT-SPECS ((documentation "A collection of collections. Each element of Abstract-Shape-Type is a collection of things which are subsets of Abstract-Shape. The elements of Abstract-Shape-Type comprise the basic physical shapes. Examples include: Cylinder-Shape, Pyramid-Shape, Cone-Shape, Tube-Shape, Rectangular3D-Shape, Polygon, Spiral, etc."))
)
(DEFINE-OKBC-FRAME academic-professional
:SUBCLASS-OF (professional)
:INSTANCE-OF (class occupation-type)
:OWN-SLOT-SPECS ((documentation "A collection of persons; a subset of Professional. Each element of Academic-Professional is a person whose job is to educate and/or to perform research as an affiliate of an academic institution. This includes members of the teaching and/or research staff of schools, colleges, universities, and research institutes."))
)
(DEFINE-OKBC-FRAME academic-quarter
:SUBCLASS-OF (time-interval)
:INSTANCE-OF (class temporal-object-type)
:OWN-SLOT-SPECS ((documentation "Each instance of this collection is a Time-Interval defined by some educational institution: one quarter of their Academic-Year. Since the start dates, end dates, and duration may all vary depending on the institution, the year, etc., instances of this collection must unfortunately be time intervals like StanfordSpringQuarter1991."))
)
(DEFINE-OKBC-FRAME academic-semester
:SUBCLASS-OF (time-interval)
:INSTANCE-OF (class temporal-object-type)
:OWN-SLOT-SPECS ((documentation "Each instance of this collection is a Time-Interval defined by some educational institution: one half of their Academic-Year. Since the start dates, end dates and duration may vary depending on the institution and year, instances will be time intervals such as ``StanfordSpringSemester1990-91''."))
)
(DEFINE-OKBC-FRAME academic-trimester
:SUBCLASS-OF (time-interval)
:INSTANCE-OF (class temporal-object-type)
:OWN-SLOT-SPECS ((documentation "Each instance of this collection is a Time-Interval defined by some educational institution: one third of their Academic-Year. Since the start dates, end dates, and duration may all vary depending on the institution and year, instances of this collection must unfortunately be time intervals like UCLASpringTrimester1990-91."))
)
(DEFINE-OKBC-FRAME academic-year
:SUBCLASS-OF (time-interval)
:INSTANCE-OF (class temporal-object-type)
:OWN-SLOT-SPECS ((documentation "Each instance of this collection is an annually recurring Time-Interval defined by an educational institution. Since the start dates, end dates, and duration may all vary depending on the institution, the year, etc., instances of this collection must unfortunately be time intervals like Stanford1989-90AcademicYear."))
)
(DEFINE-OKBC-FRAME acceleration
:SUBCLASS-OF (scalar-interval physical-attribute)
:INSTANCE-OF (class derived-numeric-attribute-type)
:OWN-SLOT-SPECS ((documentation "Acceleration is the change in speed of an object per unit time. It is a measurable physical quantity, measured in units such as MilesPerHourPerSecond."))
)
(DEFINE-OKBC-FRAME accessing-anibt
:SUBCLASS-OF (mental-activity purposeful-action transfer-in information-transfer-event)
:INSTANCE-OF (class temporal-object-type default-disjoint-script-type)
:OWN-SLOT-SPECS ((documentation "A collection of information transfer events. Each element of Accessing-AnIBT is an action by which an agent accesses the content of some IBT (i.e., an element of Information-Bearing-Thing). Examples include (getting information from) reading a newspaper, watching a film, listening to a musical performance, decoding an encrypted message, seeing a traffic police officer wave you on, or hearing your roommate ask you to take out the trash. Of course, communication conventions play a role here. In the Naive-Information-Mt, Cyc simply assumes that an agent who accesses an IBT understands its content afterwards. In the InformationG-Mt, Cyc makes the more complicated inference that an agent who accesses an IBT understands its content afterwards only if the agent is able to get the encoded information using a convention familiar to that agent. See also Communication-Convention, Has-Comm-Convention, Uses-Comm-Convention-For-Info."))
)
(DEFINE-OKBC-FRAME account
:SUBCLASS-OF (legal-agreement authorized-agreement)
:INSTANCE-OF (class account-type)
:OWN-SLOT-SPECS ((documentation "A collection of objects; a subset of Legal-Agreement. Each element of Account is a recorded obligation (of some particular type) between specified parties, consisting of `funds' which typically can be added to and drawn upon. Examples include the instances of Retirement-Account, Travel-Expense-Account, and of the many types of Financial-Account. Note that the contents of an account need not be monetary; for example, the contents may be amounts of time, as in the subsets Vacation-Account or a Sick-Leave-Account. Account does NOT include debt obligations of fixed face value that cannot be increased or reduced (such as a bond)."))
)
(DEFINE-OKBC-FRAME account-administrator
:INSTANCE-OF (slot binary-predicate)
:OWN-SLOT-SPECS ((range agent) (domain account) (documentation "The predicate Account-Administrator identifies the agent who administers a particular account. (Account-Administrator ACCT AGENT) means that the Account ACCT is administered by the individual or organization AGENT."))
)
(DEFINE-OKBC-FRAME account-balance
:INSTANCE-OF (slot interval-based-quantity-slot)
:OWN-SLOT-SPECS ((range money) (domain financial-account) (documentation "The predicate Account-Balance is used to indicate the balance of a particular account. (Account-Balance ACCT BAL) means that the Financial-Account ACCT has the balance BAL; BAL is the amount of Money either owed by, or available to, the Account-Holder (depending upon the type of account)."))
)
(DEFINE-OKBC-FRAME account-holder
:INSTANCE-OF (slot binary-predicate)
:OWN-SLOT-SPECS ((range agent) (domain account) (documentation "The predicate Account-Holder identifies the holder of a particular account. (Account-Holder ACCT AGENT) means that the Account ACCT is held by the individual or organization AGENT; thus, money (or some other valuable) is owed to or from AGENT, in the amount shown in the account (see Account-Balance)."))
)
(DEFINE-OKBC-FRAME account-status
:INSTANCE-OF (slot binary-predicate)
:OWN-SLOT-SPECS ((range account-status-attribute) (domain account) (documentation "The predicate Account-Status indicates whether a particular account is paid up, overdue, delinquent, etc. (Account-Status ACCT STATUS) means that the Account ACCT has the attribute STATUS (see also Account-Status-Attribute)."))
)
(DEFINE-OKBC-FRAME account-status-attribute
:SUBCLASS-OF (attribute-value)
:INSTANCE-OF (class sibling-disjoint-attribute-type)
:OWN-SLOT-SPECS ((documentation "A collection of attributes. Each element of Account-Status-Attribute is an attribute that describes the obligational status of an Account@cyc; e.g.,Paid-In-Full, In-Compliance-With-Payment-Schedule, Payment-Overdue, Account-Inactive."))
)
(DEFINE-OKBC-FRAME account-type
:SUBCLASS-OF (existing-object-type)
:INSTANCE-OF (class sibling-disjoint-collection temporal-stuff-type)
:OWN-SLOT-SPECS ((documentation "A collection of collections. Each element of Account-Type is a collection of financial accounts of some type. Examples: Savings-Account, Credit-Card-Account, Retirement-Account, Social-Security-Account, Travel-Expense-Account. Typically, accounts are denominated in units of Money."))
)
(DEFINE-OKBC-FRAME acknowledged-act
:INSTANCE-OF (slot anti-transitive-binary-predicate irreflexive-binary-predicate asymmetric-binary-predicate)
:OWN-SLOT-SPECS ((subrelation-of starts-after-ending-of) (range communication-act-single) (domain acknowledging-communication-act) (documentation "(Acknowledged-Act ?ACKACT ?COMACT) means that the Communication-Act-Single ?COMACT is acknowledged and replied-to by the responsive Acknowledging-Communication-Act ?ACKACT. Particular acceptances or rejections of a particular project proposal would involve examples of this predicate, as would a person responding to a wedding invitation, or a court responding to a motion. See also Response-To which refers to the abstarct content of the communication."))
)
(DEFINE-OKBC-FRAME acknowledging-communication-act
:SUBCLASS-OF (communication-act-single)
:INSTANCE-OF (class default-disjoint-script-type temporal-object-type)
:OWN-SLOT-SPECS ((documentation "The collection of actions which are Performed-By one Agent to convey information about the receipt of a prior Communication-Act-Single which was Performed-By another Agent. An example: Judy saying `No' in response to Jane's prior act of saying `Will you clean the toaster.'"))
)
(DEFINE-OKBC-FRAME acquaintance-attribute
:SUBCLASS-OF (attribute-value)
:INSTANCE-OF (class social-attribute-type)
:OWN-SLOT-SPECS ((documentation "The collection of attributes that specify ways in which (and/or degrees to which) one person is acquainted with another E.g., some instances of this collection are: Famous-Person-Acquaintance, True-Fan-Acquaintance, Intimate-Acquaintance, Frequent-Contact-Acquaintance, etc."))
)
(DEFINE-OKBC-FRAME acquaintances
:INSTANCE-OF (relation ternary-predicate)
:OWN-SLOT-SPECS ((documentation "(Acquaintances X Y HOW) means that X is acquainted with Y, at least in the way (and/or to the degree) specified by HOW. Note that Y must be an Agent, so this is not the predicate to use to express the fact that Fred `is acquainted with' drag racing. Note that, depending on the value for HOW, there may or may not be some way in which Y is acquainted with X. E.g., (Acquaintances Lenat Madonna True-Fan-Acquaintance) but there is no Z such that (Acquaintances Madonna Lenat Z).
Note that X and Y should rarely be instances of Entity. In fact, Doug has only been acqainted with Madonna since 1983, so we should write (Holds-In (Time-Interval-From-Fn (Year-Fn 1983) Now) (Acquaintances Lenat Madonna True-Fan-Acquaintance))."))
:SENTENCES
((nth-domain acquaintances 3 acquaintance-attribute)
(nth-domain acquaintances 2 agent)(nth-domain acquaintances 1 person)
)
)
(DEFINE-OKBC-FRAME acquainted-with
:INSTANCE-OF (slot symmetric-binary-predicate reflexive-binary-predicate cotemporal-objects-slot)
:OWN-SLOT-SPECS ((subrelation-of cotemporal) (range individual-agent) (domain individual-agent) (documentation "(Acquainted-With AGENT1 AGENT2) means the Individual-Agent AGENT1 is acquainted with the Individual-Agent AGENT2 (in the minimal sense that AGENT1 has come into physical or conversational contact with AGENT2, or that they have somehow knowingly communicated with each other). This typically means that each Individual-Agent is aware of some facts about the other. In cases where one of the Individual-Agents is sentient, this typically includes the ability of this agent to recognize the other by appearance, voice, scent, or some other physical attribute.") (genl-inverse acquainted-with))
:SENTENCES
((kif:not (instance-of acquainted-with asymmetric-binary-predicate))
(kif:not (instance-of acquainted-with anti-symmetric-binary-predicate))(kif:not (instance-of acquainted-with transitive-binary-predicate))
)
)
(DEFINE-OKBC-FRAME action
:SUBCLASS-OF (event)
:INSTANCE-OF (class script-type temporal-object-type)
:OWN-SLOT-SPECS ((documentation "A collection of events. Each instance of Action is an event in which something is done by some agent. (See Done-By.) Actions may include any event in which one or more actor(s) effect some change(s) in the tangible or intangible state of the world, typically by some expenditure of effort or energy. But note that it is not required that any tangible object be moved, changed, produced, or destroyed for an action to occur; the effects of actions may be intangible (such as the change in a bank balance, or the intimidation of a subordinate). Depending upon the context, actors may be animate or inanimate, conscious or nonconscious. For actions that are intentional, see also Purposeful-Action, Performed-By."))
)
(DEFINE-OKBC-FRAME action-expresses-feeling
:INSTANCE-OF (slot binary-predicate)
:OWN-SLOT-SPECS ((range feeling-attribute-type) (domain action) (documentation "(Action-Expresses-Feeling ACT EMOTYPE) means that the particular action ACT expresses the doer's feeling of EMOTYPE.
Note: additional complications arise in using this in inference, as people can `fake' actions such as laughing, crying, etc., to mislead other people.") (arg2-genl feeling-attribute))
)
(DEFINE-OKBC-FRAME action-on-object
:SUBCLASS-OF (action)
:INSTANCE-OF (class temporal-object-type script-type)
:OWN-SLOT-SPECS ((documentation "The collection of events in which some doer acts on an object. Each element of Action-On-Object is an action in which both the roles of Done-By and Object-Acted-On (qq.v.) are filled. Positive examples: someone typing on a keyboard; a tornado destroying a building. Negative examples: a person dancing; wind blowing."))
)
(DEFINE-OKBC-FRAME actor-capacity
:INSTANCE-OF (relation ternary-predicate)
:OWN-SLOT-SPECS ((documentation "The predicate Actor-Capacity is used to indicate the capacity in which some entity participates in a particular event or situation. (Actor-Capacity ENTITY SIT CAP) means that ENTITY has an (unspecified) role in SIT with the Capacity-Attribute CAP. An important use of Actor-Capacity is with the capacity attributes Main-Function or Intended-Function to state that a device is serving its Primary-Function or intended function (i.e., Intended-Behavior-Capable) in a certain situation."))
:SENTENCES
((nth-domain actor-capacity 3 capacity-attribute)
(nth-domain actor-capacity 2 situation)(nth-domain actor-capacity 1 something-existing)
)
)
(DEFINE-OKBC-FRAME actor-parts-affected
:INSTANCE-OF (slot actor-slot)
:OWN-SLOT-SPECS ((subrelation-of object-acted-on non-deliberate-actors) (range animal-body-part organism-part) (domain event) (documentation "(Actor-Parts-Affected ACT PART) means that PART is an Object-Acted-On in ACT, and it is one of the Anatomical-Parts of the organism which is Bodily-Acted-On in ACT. For example, during a man's morning shave, his Beard is an Actor-Parts-Affected, but the hand with which he shaves is not, because his beard is changed, but his hand is not changed (`acted on') in any significant way."))
)
(DEFINE-OKBC-FRAME actor-parts-involved
:INSTANCE-OF (slot actor-slot)
:OWN-SLOT-SPECS ((subrelation-of pre-actors non-deliberate-actors) (range organism-part) (domain event) (documentation "(Actor-Parts-Involved ACT PART) means that PART is one of the Anatomical-Parts of an organism who has an active role in the event ACT, and, moreover, that PART is somehow involved in the action. Note that the organism to which PART belongs either performs or does ACT; it is not merely an Object-Acted-On. Some examples of Actor-Parts-Involved include: the eyes of someone who is sneezing (or crying); the left foot of someone playing in a football game; the right hand of someone who is shaking hands; the claws of a cat who is scratching someone. As a negative example, consider your hair while you are getting a haircut. It is not an Actor-Parts-Involved, because you are passive in that event; it is, though, an Actor-Parts-Affected in that event."))
)
(DEFINE-OKBC-FRAME actor-slot
:SUBCLASS-OF (role binary-predicate extensional-representation-predicate)
:INSTANCE-OF (class predicate-category)
:OWN-SLOT-SPECS ((documentation "A collection of binary predicates. Each element of Actor-Slot relates some instance of Event to a thing involved in that event (here called a `participant'). The first argument of every Actor-Slot is an instance of Event, and the second argument is an instance of Something-Existing, denoting a participant in that event. Each specialized actor slot indicates HOW its participant participates in the event, i.e., in what role (e.g., Inputs, Outputs, Done-By). `Participant' does NOT include the time of the event's occurrence, external representations of the event, and other more remotely related things that are not directly or indirectly `involved' in the occurrence of the event."))
)
(DEFINE-OKBC-FRAME actors
:INSTANCE-OF (slot actor-slot)
:OWN-SLOT-SPECS ((subrelation-of temporally-intersects) (range something-existing) (domain event) (documentation "The predicate Actors is the most general instance of Actor-Slot. All other actor slots are specializations of this predicate. Thus, Actors is a broad concept which includes any entity which is involved in an action. (Actors EVENT ACTOR) means that ACTOR is somehow meaningfully (directly or indirectly) involved in EVENT during EVENT. Mere cotemporality of objects (somewhere in the universe) with a particular event is not enough `involvement' to make those objects Actors of that event. Nor is a representation of an event among the Actors of that event, unless the representation affects the event."))
:SENTENCES
((synonymous-external-concept actors sensus-information1997 "PARTICIPANT")
)
)
(DEFINE-OKBC-FRAME acts-in-capacity
:INSTANCE-OF (relation quaternary-predicate)
:OWN-SLOT-SPECS ((documentation "The predicate Acts-In-Capacity indicates the capacity in which an agent participates in certain kinds of actions. (Acts-In-Capacity AGENT ROLE SCRIPT-TYPE CAP) means that the agent AGENT plays the role ROLE in instances of SCRIPT-TYPE, and s/he does that role in the capacity CAP. CAP is a Capacity-Attribute (q.v.) which describes the AGENT's mode of participation--e.g., as a job, hobby, main function, support function, etc. Contrast three cases of acts of Greeting-Someone, when Performed-By: (1) instances of Receptionist, in their Job-Capacity and as their MainFunction@cyc; (2) instances of Flight-Attendant, in their Job-Capacity but as a SupportFunction@cyc; and (3) instances of Train-Engineer, in a Hobby-Capacity (though they do it while working, it's not part of their job).") (arg4-isa capacity-attribute))
:SENTENCES
((nth-domain acts-in-capacity 4 capacity-attribute)
(nth-domain acts-in-capacity 3 script-type)(nth-domain acts-in-capacity 2 actor-slot)
(nth-domain acts-in-capacity 1 agent))
)
(DEFINE-OKBC-FRAME address-location-designator
:SUBCLASS-OF (attribute-value character-string)
:INSTANCE-OF (class object-type)
:OWN-SLOT-SPECS ((documentation "A collection of strings. Each element of Address-Location-Designator is a string that denotes an address. Each string indicates one entire address. For example: `President Bill Clinton, White House,, 1600 Pennsylvania Avenue, Washington, DC."))
)
(DEFINE-OKBC-FRAME address-text
:INSTANCE-OF (slot functional-slot)
:OWN-SLOT-SPECS ((range address-location-designator) (domain contact-location) (documentation "The predicate Address-Text maps a particular element of Contact-Location to its Address-Location-Designator, ADDRESS. (Address-Text LOC ADDRESS) means that the Contact-Location LOC has the address ADDRESS. For example, the Address-Text of the Cycorp Mailing-Location is `Cycorp, 3721 Executive Center Dr., Ste. 100, Austin, TX 78731-1615.' See also Contact-Location."))
)
(DEFINE-OKBC-FRAME adjacent-paths-at-junction
:INSTANCE-OF (slot spatial-predicate connection-predicate cotemporal-objects-slot)
:OWN-SLOT-SPECS ((subrelation-of connected-to physical-decompositions cotemporal on-path-generic) (range path-generic) (domain junction-of-paths) (documentation "(adjacentPathsAtJunction JUNCT PATH) means that the Junction-Of-Paths JUNCT has PATH as one of the paths joining it. A junction may connect many paths (it must connect more than one), and a path may pass through many junctions, and may end at a junction. Examples: all the streets meeting at a certain intersection, or the particular trachea and both primary bronchi meeting at the Tracheobronchial-Junction between a certain person's lungs. Within a specified Path-System, a node is the end of all the links to that node; this is established with Link-Between-In-System or Path-Between-In-System."))
)
(DEFINE-OKBC-FRAME adjacent-to
:INSTANCE-OF (slot inter-existing-object-slot symmetric-binary-predicate physical-feature-describing-predicate spatial-predicate)
:OWN-SLOT-SPECS ((subrelation-of touches) (range spatial-thing) (domain spatial-thing) (documentation "arg1 and arg2 are touching such that their region of contact is a line (i.e. not a point). Also arg1 is neither above nor below arg2.") (genl-inverse adjacent-to))
:SENTENCES
((kif:not (instance-of adjacent-to transitive-binary-predicate))
)
)
(DEFINE-OKBC-FRAME adjective
:SUBCLASS-OF (speech-part)
:INSTANCE-OF (class linguistic-object-type)
:OWN-SLOT-SPECS ((documentation "The collecton of all adjectives. Adjectives are words which can modify nouns. Many adjectives have comparative and superlative forms. Example: `red'."))
)
(DEFINE-OKBC-FRAME administrator
:SUBCLASS-OF (desk-worker)
:INSTANCE-OF (class occupation-type)
:OWN-SLOT-SPECS ((documentation "A collection of persons; a subset of Professional. Each element of Administrator is an employee of an organization who is responsible for managing its organizational affairs. Elements of Administrator may or may not also be required to manage people. If so, then they are also Managers (q.v.)."))
)
(DEFINE-OKBC-FRAME admiration
:SUBCLASS-OF (respect)
:INSTANCE-OF (class feeling-attribute-type)
:OWN-SLOT-SPECS ((documentation "A feeling of strong approval. An intense positive attitude towards another person(s) or group. May be accompanied by emulation. Admiration is different than Respect (qv). This is a collection --- see Happiness for an explanation. Some more specialized Feeling-Attribute-Types than Admiration are Wonder-Admiration, Adulation, Awe, etc. "))
)
(DEFINE-OKBC-FRAME adult-animal
:SUBCLASS-OF (animal biological-stage-of-development)
:INSTANCE-OF (class existing-object-type)
:OWN-SLOT-SPECS ((documentation "The collection of all adult animals (including adult people), meaning all elements of Animal that are mature enough to bear offspring, or older."))
:SENTENCES
((the-partition adult-animal juvenile-animal |(THE-PARTITION ADULT-ANIMAL JUVENILE-ANIMAL)|)
)
)
(DEFINE-OKBC-FRAME adult-female-person
:SUBCLASS-OF (human-adult female-person)
:INSTANCE-OF (class existing-object-type)
:OWN-SLOT-SPECS ((documentation "The collection of all women; i.e., Persons who are adult and female"))
)
(DEFINE-OKBC-FRAME adverb
:SUBCLASS-OF (speech-part)
:INSTANCE-OF (class linguistic-object-type)
:OWN-SLOT-SPECS ((documentation "The collection of all adverbs. Adverbs are words which can modify adverbs, verbs, or adjectives. Many adverbs are morphologically derived from adjectives. Example: `slowly'."))
)
(DEFINE-OKBC-FRAME advertising
:SUBCLASS-OF (communication-act-single)
:INSTANCE-OF (class temporal-object-type script-type)
:OWN-SLOT-SPECS ((documentation "A collection of Communication-Act-Singles. In an Advertising event, someone is communicating, to potential customers of an Agent, the desire of that agent to do business with those customers (either to `do business' in general or to sell them something specific."))
)
(DEFINE-OKBC-FRAME affection
:SUBCLASS-OF (feeling-attribute)
:INSTANCE-OF (class feeling-attribute-type)
:OWN-SLOT-SPECS ((documentation "A feeling of fondness for someone or something. Sympathy, liking, warmth, tenderness. This is a Collection --- for an explanation of that, see Happiness. Some more specialized Feeling-Attribute-Types than Affection are Love, Passion, etc."))
)
(DEFINE-OKBC-FRAME affiliated-with
:INSTANCE-OF (slot cotemporal-objects-slot symmetric-binary-predicate irreflexive-binary-predicate)
:OWN-SLOT-SPECS ((subrelation-of cotemporal) (range agent) (domain agent) (documentation "(Affiliated-With AGENT1 AGENT2) means Agents AGENT1 and AGENT2 are somehow affiliated. This is a broad relation, but it involves at least the voluntary entry into an understood relationship, with rights and obligations, by at least one of the affiliated Agents@cyc; i.e., they may be business partners, kin, employer/employee, one (say a person) may be a member of the other (say an organization), parent-company/subsidiary, etc.") (genl-inverse affiliated-with))
:SENTENCES
((kif:not (instance-of affiliated-with transitive-binary-predicate))
)
)
(DEFINE-OKBC-FRAME after
:INSTANCE-OF (slot transitive-binary-predicate asymmetric-binary-predicate primitive-temporal-relation irreflexive-binary-predicate)
:OWN-SLOT-SPECS ((range time-point) (domain time-point) (documentation "(After ?X ?Y) means Time-Point ?X is after (occurs later in time than) Time-Point ?Y.
Note: Individual Time-Points are seldom mentioned in axioms; rather, the axiom is likely to use some Complex-Temporal-Relation, such as Starts-After-Ending-Of, which holds between two Temporal-Thing. These Complex-Temporal-Relations are themselves usually defined in terms of Primitive-Temporal-Relations, such as After and Simultaneous-With, which relate one Time-Point to another."))
:SENTENCES
((overlapping-external-concept after sensus-information1997 "AFTER")
)
)
(DEFINE-OKBC-FRAME after-adding
:INSTANCE-OF (slot binary-predicate inference-related-bookkeeping-predicate)
:OWN-SLOT-SPECS ((range cyc-system-symbol) (domain predicate) (documentation "Whenever a source is added to a gaf use of a predicate, each of that predicate's After-Adding functions is called on that source."))
)
(DEFINE-OKBC-FRAME after-removing
:INSTANCE-OF (slot binary-predicate inference-related-bookkeeping-predicate)
:OWN-SLOT-SPECS ((range cyc-system-symbol) (domain predicate) (documentation "Whenever a source is removed from a gaf use of a predicate, each of that predicate's After-Removing functions is called on that source."))
)
(DEFINE-OKBC-FRAME afternoon
:SUBCLASS-OF (qualitative-time-of-day)
:INSTANCE-OF (class temporal-object-type)
:OWN-SLOT-SPECS ((documentation "An Afternoon is the daily Event where the Sun moves from its `highest' position in the daily cycle and `sets', i.e from noon till Sunset. A Midday overlaps the start of an Afternoon, and an Evening is Contiguous-After an Afternoon. Each Afternoon is Temporally-Finished-By a Sunset."))
)
(DEFINE-OKBC-FRAME age
:INSTANCE-OF (slot interval-based-quantity-slot)
:OWN-SLOT-SPECS ((range time-quantity) (domain something-existing) (documentation "(age THING TIME) means that the thing THING
has the age TIME, where thing can be a person, a galaxy, or
anything else with temporal extent, e.g., (age MaryShepherd
(YearsDuration 40)). The previous assertion is not quite right, however:
notice that one can talk about the Birth-Date of a person quite safely, but whenever one makes a statement about the AGE of a person that statement will only be true `for a while' -- i.e., in some temporal context. Therefore it would be a mistake to simply assert to Cyc that (Age Lenat (Years-Duration 45)), because that would be true in some contexts and false in others. So what one does is to assert an expression of the form (Holds-In ?X (Age ?Y ?Z)) to indicate that during time interval ?X, the thing ?Y has age ?Z. For example, (Holds-In (Quarter-Fn 2 (Year-Fn 1996)) (Age Lenat (Years-Duration 45)), which means that Doug is a 45-year-old during the entire second quarter of 1996. It is seldom correct to use Age outside of some temporal qualification."))
:SENTENCES
((synonymous-external-concept age sensus-information1997 "AGE-PROPERTY-ASCRIPTION")
)
)
(DEFINE-OKBC-FRAME agent
:SUBCLASS-OF (composite-tangible-and-intangible-object)
:INSTANCE-OF (class existing-object-type)
:OWN-SLOT-SPECS ((documentation "An agent is something which can show independent action, whether conscious or not. Agent represents the collection of all agents. Most animals are considered agents, in most contexts; so are most organizations. Most plants are not agents, in most contexts. Inanimate devices are sometimes considered agents, in certain contexts. This is one of those concepts which is important yet very hard to define precisely. Here is some elaboration, to help convey the intended meaning of the basic criterion for agenthood: It must seem that a kind of decision-making is going on, even if it's down at the `mindless' level of the reflex reaction of a spider leg to heat, or the reflex reaction of a Human Resources Department rejecting an applicant with no formal degree. It generally `sounds right' or `feels natural' to assign causality to agents, rather than some larger or smaller entity. E.g., it is more natural to say `Fred wrote an essay' than to say `Fred's left hand wrote an essay' or, at the other extreme, to say `The Solar System wrote an essay'. Similarly, we might very well talk about `Microsoft' buying IBM, but it would be unnatural and even incorrect to talk about a much larger entity (`corporate America') or smaller entity (`the Microsoft lawyers') as the performer of that buying action."))
)
(DEFINE-OKBC-FRAME agentive-noun
:SUBCLASS-OF (speech-part)
:INSTANCE-OF (class linguistic-object-type)
:OWN-SLOT-SPECS ((documentation "The collection of all nouns in the agentive form. Agentive nouns usually denote the `doer' or `performer' of some action, and often end in `-er' or `-or'. Example: `runner'."))
)
(DEFINE-OKBC-FRAME agility
:SUBCLASS-OF (script-performance-attribute)
:INSTANCE-OF (class script-performance-attribute-type)
:OWN-SLOT-SPECS ((documentation "Agility is the Script-Performance-Attribute-Type for describing actions in which the performer's whole body moves precisely and in a well-coordinated fashion."))
)
(DEFINE-OKBC-FRAME agreeing-agents
:INSTANCE-OF (slot inter-actor-slot)
:OWN-SLOT-SPECS ((range agent) (domain agreement) (documentation "The predicate Agreeing-Agents relates a particular agreement to the agents who are making the agreement. (Agreeing-Agents AGR PARTY) means that the Agreement AGR has the Agent PARTY among its agreeing parties. Agreeing-Agents may have specialized roles, such as Agreeing-Buyer or Agreeing-Seller, Insuring-Agent or Policy-Holder, Employed-Agent or Employing-Agent. The Agreeing-Agents will be mentioned in their agreement."))
)
(DEFINE-OKBC-FRAME agreement
:SUBCLASS-OF (intangible-existing-thing supposed-to-be-microtheory)
:INSTANCE-OF (class existing-object-type)
:OWN-SLOT-SPECS ((documentation "A collection of `objects' with temporal extent. Each element of Agreement involves two or more parties, who agree that certain propositions should be true. Making the propositions true may require some action or commitment of wealth on the part of one or more of the Agreeing-Agents. Thus, elements of Agreement will usually involve some instances of Obligation.
Note: Elements of Agreement and Obligation differ, however, in that an Obligated-Agent is responsible for the truth of all of the propositions in an obligation. In an agreement, some agents may not be responsible for all of the propositions in the agreement being true. For example, in a loan agreement, the borrower agrees to give the lender back the money, but the borrower is the only Obligated-Agent for the repayment. Note that Obligated-Agents need not be among the Agreeing-Agents in the agreement that involves or generates the obligation. For example, the Board of Directors of XYZCorporation may agree that some non-director will assume the post and duties of President of XYZCorporation. Moreover, Agreeing-Agents aren't always obligatedAgents; e.g., Wanda and Paul may agree that Paul alone is obligated to do some task.
Examples include instances of Peace-Accord, Legal-Agreement, Informal-Agreement, Business-Partnership-Agreement, Work-Agreement, Sales-Agreement, Maintenance-Agreement, Reservation, Appointment, etc."))
)
(DEFINE-OKBC-FRAME agreement-forbids
:INSTANCE-OF (relation ternary-predicate)
:OWN-SLOT-SPECS ((documentation "The predicate Agreement-Forbids is used to indicate types of actions that a particular agent is forbidden from performing under the terms of a particular agreement. (Agreement-Forbids AGR AGENT ACT-TYPE) means that the Agreement AGR forbids the Agent AGENT from ACT-TYPE activities. For example, an instance of Peace-Accord Agreement-Forbids the governments who signed it from Waging-War against one another; or, a business contract may forbid one agent from competing with another after s/he sells rights to a product, design, or practice to the second agent."))
:SENTENCES
((nth-domain agreement-forbids 3 script-type)
(nth-domain agreement-forbids 2 agent)(nth-domain agreement-forbids 1 agreement)
)
)
(DEFINE-OKBC-FRAME agreement-note
:INSTANCE-OF (shared-note)
:OWN-SLOT-SPECS ((documentation "Elements of Agreement (and of its subsets) are Microtheory instances containing propositions representing what some number of parties have agreed upon. An Agreement may contain a set of Obligations on the part of one or more of the parties. An Agreement may also be just a set of beliefs that the parties have decided to share. To indicate which propositions are true in an Agreement, regardless of whether they are true in reality, use Ist-Agreement. (Ist-Agreement AGREEMENT PROP) means that PROP is a Cyc-Formula expressing something that was agreed upon in AGREEMENT. Other relevant vocabulary: (Agreeing-Agents AGREEMENT AGENT) means that AGENT is one of the parties agreeing to AGREEMENT. (Sub-Agreements AGREEMENT1 AGREEMENT2) means that AGREEMENT2 is a part of (is included in) AGREEMENT1. (Governed-By-Agreement ACTION AGREEMENT) means that ACTION is governed by the terms of AGREEMENT. (Agreement-Forbids AGREEMENT AGENT ACTION-TYPE) means that AGREEMENT forbids AGENT from performing elements of ACTION-TYPE. (Agreement-Period AGREEMENT TIME) means that AGREEMENT is considered to be true during the time period TIME."))
)
(DEFINE-OKBC-FRAME agreement-period
:INSTANCE-OF (slot binary-predicate)
:OWN-SLOT-SPECS ((range time-interval) (domain agreement) (documentation "The predicate Agreement-Period is used to indicate the period of time during which a particular agreement is in force. (Agreement-Period AGR TIME) means that the Agreement AGR holds during the Time-Interval TIME; i.e., TIME is the period during which the assertions made in AGR are supposed to be true. TIME may or may not begin at the moment that AGR is created; e.g., I may sign an employment contract on the very day I begin working or several weeks before, to begin on a specified future date. Or an Agreement-Period could begin before the agreement was made, e.g., when an agent agreed to pay disputed royalties retroactively."))
)
(DEFINE-OKBC-FRAME ailment-condition
:SUBCLASS-OF (physiological-condition)
:INSTANCE-OF (class physiological-condition-type)
:OWN-SLOT-SPECS ((documentation "The most general collection of ailment events; a subset of Physiological-Condition, and a subset of Event. An instance of Ailment-Condition is a dynamic state of sickness, injury, or physiological impairment. Having an ailment is an event: it has temporal aspects, it progresses dynamically, etc., it is not just `being in some static state of un-wellness.' Some subsets of Ailment-Condition are: Respiratory-Ailment, Heart-Condition, Cancer, Motion-Sickness, Poisoning, Infection, Injury-Condition. If a particular person suffers from asthma, that is an element of Ailment-Condition. Each Ailment-Condition is a state of actual, developed sickness or impairment, rather than the event of getting sick or becoming impaired. Also note that each type of ailment, such as Asthma, is the set of all `cases' or `instances' of individuals suffering from that condition."))
)
(DEFINE-OKBC-FRAME air
:SUBCLASS-OF (gaseous-tangible-thing mixture)
:INSTANCE-OF (class tangible-stuff-state-type)
:OWN-SLOT-SPECS ((documentation "A collection of tangibles; a subset of Gaseous-Tangible-Thing. Each element of Air is one `piece' among all the portions of the atmosphere of the Earth, considered as a substance present in various places, in various quantities, under various pressures, etc. Examples: the AirInAustin@cyc; the stuffy air in my office; the thin air atop Annapurna. See also The-Atmosphere-Qua-Single-Piece-Of-Stuff, which is all ambient Air on the planet taken as a single object."))
)
(DEFINE-OKBC-FRAME air-force
:SUBCLASS-OF (military-organization)
:INSTANCE-OF (class existing-object-type)
:OWN-SLOT-SPECS ((documentation "A collection of military organizations. An element of Air-Force is a military organization, modern or historical, composed mainly of airborne forces: bombers, fighters, torpedo planes, parachute troops, surveillance aircraft, etc., and having the function of defending or attacking air space, ships, or ground targets."))
)
(DEFINE-OKBC-FRAME air-force-personnel
:SUBCLASS-OF (military-person)
:INSTANCE-OF (class occupation-type)
:OWN-SLOT-SPECS ((documentation "A collection of people, a subset
of Military-Person. Each element of this collection is
somebody who works for an Air-Force."))
)
(DEFINE-OKBC-FRAME air-respiration
:SUBCLASS-OF (respiration)
:INSTANCE-OF (class default-disjoint-script-type temporal-stuff-type)
:OWN-SLOT-SPECS ((documentation "A collection of activities constituting a natural PhysiologicalFunction@cyc; Air-Respiration is the collection of all Respiration events in which an organism trades some of the carbon dioxide in its tissues for oxygen from the atmosphere."))
)
(DEFINE-OKBC-FRAME air-transportation-device
:SUBCLASS-OF (transportation-device)
:INSTANCE-OF (class existing-object-type)
:OWN-SLOT-SPECS ((transport-via-fn |(TRANSPORT-VIA-FN AIR-TRANSPORTATION-DEVICE)|) (documentation "A collection of physical devices. An instance of Air-Transportation-Device is a device used for transportation through the air. For example, the Goodyear Blimp, Air Force One, and the Space-Shuttle-Atlantis. Subsets of Air-Transportation-Device include the collections Airplane, Helicopter, Hot-Air-Balloon, Ground-To-Orbit-Vehicle (such as Atlas rockets or the Space Shuttles), and so on."))
)
(DEFINE-OKBC-FRAME airline-company
:SUBCLASS-OF (transportation-company business)
:INSTANCE-OF (class existing-object-type)
:OWN-SLOT-SPECS ((documentation "The collection of all air transportation companies. An element of Airline-Company is a Transportation-Company that operates airplanes to transport goods or people in exchange for money."))
)
(DEFINE-OKBC-FRAME airplane
:SUBCLASS-OF (air-transportation-device container-product transportation-device-vehicle)
:INSTANCE-OF (class existing-object-type product-type)
:OWN-SLOT-SPECS ((transport-via-fn |(TRANSPORT-VIA-FN AIRPLANE)|) (documentation "The colection of all fixed-wing (except Warplanes), heavier-than-air, self-powered flying machines (excluding cruise missiles)."))
)
(DEFINE-OKBC-FRAME airplane-runway
:SUBCLASS-OF (path-for-wheeled-vehicles)
:INSTANCE-OF (class existing-object-type)
:OWN-SLOT-SPECS ((documentation "An airstrip, at an airport, on an aircraft carrier, or in some field, upon which airplanes taxi, take off, and land."))
)
(DEFINE-OKBC-FRAME airport-organization
:SUBCLASS-OF (organization)
:INSTANCE-OF (class existing-object-type)
:OWN-SLOT-SPECS ((documentation "A collection of organizations. An element of Airport-Organization is an organization that manages and controls particular airports and their appurtenant facilities; e.g., La-Guardia-Airport."))
)
(DEFINE-OKBC-FRAME airport-physical
:SUBCLASS-OF (construction-artifact)
:INSTANCE-OF (class existing-object-type)
:OWN-SLOT-SPECS ((documentation "The collection of all airfields, where airplanes take off and land. An Airport-Physical definitely has a runway, may or may not have any other buildings. If it's the grounds of an Airport-Organization, some of those other features will be present."))
)
(DEFINE-OKBC-FRAME alertness
:SUBCLASS-OF (animal-physiological-attribute scalar-interval)
:INSTANCE-OF (class primitive-attribute-type)
:OWN-SLOT-SPECS ((documentation "Alertness is an Animal-Physiological-Attribute which specifies how sleepy or alert an animal is. Levels of Alertness include Asleep, Sleepy, and Awake."))
)
(DEFINE-OKBC-FRAME alertness-level
:INSTANCE-OF (slot interval-based-quantity-slot)
:OWN-SLOT-SPECS ((range alertness) (domain individual-agent) (documentation "Predicate (Alertness-Level SENTIENT_BEING LEVEL) indicates how alert SENTIENT_BEING is in the period in which the predicate holds. The major levels are Unconscious and Awake, but more specific attributes such as Asleep and Very-Alert exist as well."))
)
(DEFINE-OKBC-FRAME allergic-reaction
:SUBCLASS-OF (ailment-condition)
:INSTANCE-OF (class physiological-condition-type)
:OWN-SLOT-SPECS ((documentation "A collection of dynamic, physiological states. An instance of Allergic-Reaction is an event in which an organism which is exposed to a particular substance (e.g., pollen, mold) develops some abnormality or impairment of its physiological condition as a result of interacting with the substance. Allergic reactions to some types of substances occur widely in members of a species; e.g., Poison-Ivy-Poisoning in humans. But other allergic reactions affect only a small proportion of a species, such as human allergies to penicillin. This concept is the set of events in which allergic reactions are `taking place', not abstract unrealized potential situations such as `John is allergic to milk.' I.e., if John were allergic to milk, and he drank some, and then proceeded to have a whopping bad allergic reaction, that latter event would be an element of Allergic-Reaction."))
)
(DEFINE-OKBC-FRAME always-time-interval
:INSTANCE-OF (time-interval)
:OWN-SLOT-SPECS ((documentation "The interval of time which encompasses all time. In more general MTs we remain agnostic as to whether this time interval has either a beginning or an end, but if it does, Always-Time-Interval begins when time itself begins and ends only when time ends completely. Every other instance of Time-Interval is a Time-Slices of Always-Time-Interval. "))
)
(DEFINE-OKBC-FRAME ambient-relative-humidity
:INSTANCE-OF (slot interval-based-quantity-slot)
:OWN-SLOT-SPECS ((subrelation-of has-attributes) (range relative-humidity) (domain geographical-region) (documentation "(Ambient-Relative-Humidity LOC DEGREE) indicates the DEGREE to which the water vapor content of the air at LOC approaches the total possible saturation (at that temperature)."))
)
(DEFINE-OKBC-FRAME ambient-temperature
:INSTANCE-OF (slot interval-based-quantity-slot)
:OWN-SLOT-SPECS ((range temperature) (domain partially-tangible) (documentation "The predicate Ambient-Temperature is used to indicate the average temperature in the free space around a particular object. (Ambient-Temperature OBJ TEMP) means that the space around the tangible object OBJ is at the Temperature TEMP. Used with Holds-In (q.v.), Ambient-Temperature expresses the surrounding temperature for a given object at some point in time. For the temperature of the object itself, use Temperature-Of-Object (q.v.)."))
)
(DEFINE-OKBC-FRAME ambient-visibility
:INSTANCE-OF (slot interval-based-quantity-slot)
:OWN-SLOT-SPECS ((subrelation-of has-attributes) (range visibility) (domain geographical-region) (documentation "(Ambient-Visibility LOC DEGREE) indicates how clear the ambient fluid is at the location LOC. Higher values of DEGREE mean one can see farther (than one could have at lower values)."))
)
(DEFINE-OKBC-FRAME ambulance
:SUBCLASS-OF (road-vehicle)
:INSTANCE-OF (class existing-object-type product-type)
:OWN-SLOT-SPECS ((transport-via-fn |(TRANSPORT-VIA-FN AMBULANCE)|) (documentation "The collection of all RoadVehicles that are equipped primarily for transporting wounded, injured or sick persons."))
)
(DEFINE-OKBC-FRAME amount-of-sales-by-to-during
:INSTANCE-OF (relation quintary-predicate functional-predicate)
:OWN-SLOT-SPECS ((documentation "The predicate Amount-Of-Sales-By-To-During is used to indicate how much of a certain product was sold by a particular seller to a particular buyer. (Amount-Of-Sales-By-To-During SELLER BUYER TIMEPD PRODTYPE REVENUE) means that, during the Time-Interval TIMEPD, SELLER (an Agent) sold to BUYER (another Agent) some amount of the Product-Type PRODTYPE, worth the total amount of Money REVENUE. For example, to say that a restaurant, Threadgills, sold $3000 worth of their pumpkin pies to a local grocery store in November, we would say: (Amount-Of-Sales-By-To-During Threadgills HEBAt2222 (Month-Fn November (Year-Fn 1996)) Pumpkin-Pie (Dollar-United-States 3000)).") (arg5-isa money) (arg4-genl product) (arg4-isa product-type))
:SENTENCES
((nth-domain amount-of-sales-by-to-during 5 money)
(nth-domain amount-of-sales-by-to-during 4 product-type)(nth-domain amount-of-sales-by-to-during 3 time-interval)
(nth-domain amount-of-sales-by-to-during 2 agent)(nth-domain amount-of-sales-by-to-during 1 agent)
)
)
(DEFINE-OKBC-FRAME ampere
:INSTANCE-OF (function unit-of-measure-no-prefix unit-of-current mks-unit-of-measure standard-unit-of-measure)
:OWN-SLOT-SPECS ((range scalar-interval physical-attribute) (documentation "The standard unit of measure of electrical current, equivalent to a 1-Coulomb flow of current, or 1 Volt across a resistance of 1 Ohm.") (args-isa cyc-system-real-number))
)
(DEFINE-OKBC-FRAME amphibian
:SUBCLASS-OF (non-person-animal vertebrate)
:INSTANCE-OF (class biological-class)
:OWN-SLOT-SPECS ((documentation "The collection of all Organism-Wholes which are members of the Biological-Class Amphibia, being a specialization of Vertebrate.
Members of this class are smooth skinned Vertebrates which hatch from eggs to form aquatic larvae [see Larva@cyc]. These larvae metamorphose into an air-breathing adult [see AirBreathingVertebrate] (normally) having Lungs. Subsets of this collection include Frogs and Salamanders."))
)
(DEFINE-OKBC-FRAME amplitude-of-signal
:INSTANCE-OF (slot interval-based-quantity-slot)
:OWN-SLOT-SPECS ((range distance) (domain wave-propagation) (documentation "(Amplitude-Of-Signal ?WAVE ?AMP) means the distance from the average to the extremes of the signal ?WAVE is ?AMP."))
)
(DEFINE-OKBC-FRAME analogous-feelings
:INSTANCE-OF (slot symmetric-binary-predicate irreflexive-binary-predicate intensional-representation-predicate)
:OWN-SLOT-SPECS ((range feeling-attribute-type) (domain feeling-attribute-type) (documentation "(Analogous-Feelings EMOTYPE1 EMOTYPE2) means that a feeling of the type EMOTYPE1 is analogous to a feeling of the type EMOTYPE2. In part, this means that there is a high probability that an agent having an emotion of one type is also feeling an emotion of the other type. Often the two feelings differ only in degree, context, etc. E.g., (Analogous-Feelings Irritation Anger) and (Analogous-Feelings Irritation Impatience).") (arg2-genl feeling-attribute) (arg1-genl feeling-attribute) (genl-inverse analogous-feelings))
:SENTENCES
((kif:not (instance-of analogous-feelings transitive-binary-predicate))
)
)
(DEFINE-OKBC-FRAME anatomical-part-type-affected
:INSTANCE-OF (slot type-predicate binary-predicate)
:OWN-SLOT-SPECS ((range existing-object-type) (domain animal-activity) (documentation "(Anatomical-Part-Type-Affected ACT BODYPARTTYPE) means that body parts of the Animal-Body-Part-Type BODYPARTTYPE are affected by the action ACT. For example, if BRUSHING is a Teeth-Cleaning event, then (Anatomical-Part-Type-Affected BRUSHING Set-Of-Teeth).") (arg2-genl animal-body-part))
)
(DEFINE-OKBC-FRAME anatomical-parts
:INSTANCE-OF (slot cotemporal-objects-slot physical-part-predicate)
:OWN-SLOT-SPECS ((subrelation-of cotemporal physical-parts) (range organism-part) (domain organism-whole) (documentation "(Anatomical-Parts ORGM PART) means that PART is an anatomical part of the (whole) organism ORGM.
Note that to represent the decomposition of parts of subparts --- for example, to say that a finger is part of a hand --- one should use the predicate Physical-Parts (qv), not Anatomical-Parts."))
)
(DEFINE-OKBC-FRAME anatomical-resource-required
:INSTANCE-OF (relation ternary-predicate)
:OWN-SLOT-SPECS ((documentation "(Anatomical-Resource-Required ACT BODYPARTTYPE NUM) means that the successful doer of ACT must have this many (NUM) of the Animal-Body-Part-Type BODYPARTTYPE. For example, if VOLANT is an element of Flying-Flapping-Wings, then (Anatomical-Resource-Required VOLANT Wing-Animal-Body-Part 2).") (arg2-genl animal-body-part))
:SENTENCES
((nth-domain anatomical-resource-required 3 non-negative-integer)
(nth-domain anatomical-resource-required 2 existing-object-type)(nth-domain anatomical-resource-required 1 animal-activity)
)
)
(DEFINE-OKBC-FRAME anatomically-capable-of
:INSTANCE-OF (relation ternary-predicate)
:OWN-SLOT-SPECS ((documentation "The predicate Anatomically-Capable-Of indicates that an agent is anatomically able to take a certain role in a certain type of situation or event. (Anatomically-Capable-Of AGENT SIT-TYPE ROLE) means that an individual Animal AGENT has the anatomical prerequisites (natural or prosthetic) to act in this ROLE in normal instances of SIT-TYPE. For example, to express that Karen is capable of walking, Cyc would say (Anatomically-Capable-Of Karen Biped-Walking Performed-By). AGENT may or may not have the skills (or other prerequisites) for actually doing a SIT-TYPE. Anatomically-Capable-Of entails that AGENT satisfies the relevant Anatomical-Resource-Required constraint--e.g., for Karen's Biped-Walking, that she has two legs (natural or prosthetic). As a default, Cyc concludes that animals who have the Anatomical-Parts needed for a certain kind of activity are Anatomically-Capable-Of that activity--for example, that people who have arms and legs are Anatomically-Capable-Of swimming; those conclusions would be overridden by the additional information that a person was paralyzed.") (arg2-genl situation))
:SENTENCES
((nth-domain anatomically-capable-of 3 role)
(nth-domain anatomically-capable-of 2 collection)(nth-domain anatomically-capable-of 1 animal)
)
)
(DEFINE-OKBC-FRAME ancestors
:INSTANCE-OF (slot irreflexive-binary-predicate anti-symmetric-binary-predicate transitive-binary-predicate asymmetric-binary-predicate)
:OWN-SLOT-SPECS ((subrelation-of biological-relatives) (range animal) (domain animal) (documentation "(Ancestors YOUNGER OLDER) means OLDER is one of the biological ancestors of YOUNGER. OLDER could be one of YOUNGER's biological parents, biological grandparents, biological great-grandparents, etc."))
)
(DEFINE-OKBC-FRAME anesthesia
:SUBCLASS-OF (drug-therapy)
:INSTANCE-OF (class script-type)
:OWN-SLOT-SPECS ((documentation "A collection of events; a subset of Drug-Therapy (q.v.). In an instance of Anesthesia, a Biological-Living-Object undergoes the effect of some instance of Anesthetic, the effect of which is to eliminate the perception of pain. Anesthesia events occur in connection with other medical care events, so that a patient will not feel the pain or discomfort that would otherwise be associated with those medical procedures. Anesthetics are of various chemical kinds, work in various ways, and can be administered in various ways. They may topically numb an area, they may poison the central nervous system to the point where the animal loses consciousness, etc. The resulting anesthetic therapies thus may differ, according to the type of anesthetic used; for example, the patient may or may not be conscious during an instance of Anesthesia. See also Administering-A-Drug."))
)
(DEFINE-OKBC-FRAME anger
:SUBCLASS-OF (frustration)
:INSTANCE-OF (class feeling-attribute-type)
:OWN-SLOT-SPECS ((documentation "Intense feeling of displeasure and usually of antagonism. This is a Collection --- for an explanation of that, see Happiness. Some more specialized Feeling-Attribute-Types than Anger include Belligerence, etc."))
)
(DEFINE-OKBC-FRAME angle
:SUBCLASS-OF (geometric-thing)
:INSTANCE-OF (class object-type)
:OWN-SLOT-SPECS ((documentation "A collection of Geometric-Things. Each element of Angle is a pair of line segments, planes (or, more generally, n-dimensional hyperplanes) that share an endpoint, edge (or, more generally, an [n-1]-dimensional hyperedge)."))
)
(DEFINE-OKBC-FRAME angstrom
:INSTANCE-OF (function unit-of-measure-with-prefix mks-unit-of-measure unit-of-distance)
:OWN-SLOT-SPECS ((range scalar-interval distance) (documentation "Extremely small unit of length, used especially for measuring the wavelength of light, derived by dividing a meter by 10,000,000,000. Abbreviation: A (with a little circle on the top of the `A'). 1 A = 1/10,000,000,000 (i.e., 10^-10) meter.") (args-isa cyc-system-real-number))
)
(DEFINE-OKBC-FRAME angular-acceleration
:INSTANCE-OF (slot physical-attribute-description-slot)
:OWN-SLOT-SPECS ((range angular-acceleration-rate) (domain physical-event) (documentation "The rate at which the angle to an object is accelerating"))
)
(DEFINE-OKBC-FRAME angular-acceleration-rate
:SUBCLASS-OF (physical-attribute scalar-interval)
:INSTANCE-OF (class measurable-attribute-type)
:OWN-SLOT-SPECS ((documentation "Angular-Acceleration-Rate is the rate at which the Rate-Of-Rotation of an object changes.It is a measurable physical quantity, measured in units such as radians per second per second."))
)
(DEFINE-OKBC-FRAME animal
:SUBCLASS-OF (organism-whole solid-tangible-thing animalblo perceptual-agent)
:INSTANCE-OF (class biological-kingdom)
:OWN-SLOT-SPECS ((transport-via-fn |(TRANSPORT-VIA-FN ANIMAL)|) (documentation "The collection of all animals; this large class of organisms is one instance of Biological-Kingdom. Animals are typically motile, living, whole organisms; they are elements of Heterotroph, incapable of performing instances of Photosynthesis. Animal cells contain cholesterol and lack cell walls made of cellulose. Person is a subset of Animal@cyc; see also Non-Person-Animal."))
:SENTENCES
((synonymous-external-concept animal sensus-information1997 "ANIMAL")
)
)
(DEFINE-OKBC-FRAME animal-activity
:SUBCLASS-OF (composite-physical-and-mental-event action)
:INSTANCE-OF (class temporal-object-type script-type)
:OWN-SLOT-SPECS ((documentation "A collection of events. Each element of Animal-Activity is an action whose performer(s) (see Done-By) belong to the collection Animal."))
)
(DEFINE-OKBC-FRAME animal-body-part
:SUBCLASS-OF (animal-body-region)
:INSTANCE-OF (class existing-object-type)
:OWN-SLOT-SPECS ((documentation "The collection of all the anatomical parts and physical regions of all living animals; a subset of Organism-Part. Each element of Animal-Body-Part is a piece of some live animal and thus is itself an instance of Biological-Living-Object. Animal-Body-Part includes both highly localized organs (e.g., hearts) and physical systems composed of parts distributed throughout an animal's body (such as its circulatory system and nervous system).
Note: Severed limbs and other parts of dead animals are NOT included in this collection; see Dead-Fn."))
)
(DEFINE-OKBC-FRAME animal-body-part-type
:SUBCLASS-OF (existing-object-type)
:INSTANCE-OF (class sibling-disjoint-collection)
:OWN-SLOT-SPECS ((documentation "The collection of all the types of Animal-Body-Parts. An Animal-Body-Part-Type is a characterization of body parts by structure and/or function. Some elements of this collection include Spinal-Column, Eyelash, Nervous-System, Urethra, Wing-Animal-Body-Part, Heel-Of-Palm, etc. As can be seen from those examples, Animal-Body-Part-Type is not organized along species/order/class/phylum/... taxonomic lines."))
)
(DEFINE-OKBC-FRAME animal-body-region
:SUBCLASS-OF (animalblo organism-part)
:INSTANCE-OF (class existing-object-type)
:OWN-SLOT-SPECS ((documentation "The set of parts of an animal's body that one might point to, operate on, photograph, transplant, etc. So this is a collection of (conceptual) spatial subdivisions of the bodies of Animals, generally contiguous and having some more or less clear boundary. Some elements of this collections are Einstein's head, Santas-Beard, and Babe Ruth's right arm. Other elements of this set are what might be considered unhealthy body regions, such as a blister, a puncture wound, a bruise, etc. -- but those are still clearly a part of an animal's body, can be pointed to, photographed, bandaged up, etc.
Note that this concept is quite different from an animal body `system' (such as the lymph system, the nervous system, etc.) which comprises a small portion of an animal's total mass but is distributed throughout the animal's body -- see Animal-Body-Part. (At the naive, commonsense level of physiology, and for almost all purposes, it is perfectly acceptable to conceptualize Santa's beard as one Animal-Body-Region, and the same for Farrah Fawcett's hair, etc. A borderline case of this is: Cher's fingernails. In some contexts, one would treat those as an Animal-Body-Region, and in other contexts one would treat them as ten separate Animal-Body-Regions.)"))
)
(DEFINE-OKBC-FRAME animal-migration
:SUBCLASS-OF (translation-round-trip locomotion-event)
:INSTANCE-OF (class temporal-object-type script-type)
:OWN-SLOT-SPECS ((documentation "The collection of regular, species-linked movements of an animal or group of animals from one place to another, usually with a return to the starting point after a certain period of time. In some species, the migration cycle occurs once in a lifetime, while others migrate annually on a seasonal basis. Migration is typically linked with an animal's reproductive cycle (as in salmon), but may also involve seasonal relocation to a more hospitable climate and/or more plentiful food supply. For example, many birds exhibit seasonal migration; e.g., native Northeastern U.S. birds that spend their winters in the Southern U.S."))
)
(DEFINE-OKBC-FRAME animal-physiological-attribute
:SUBCLASS-OF (physiological-attribute attribute-value)
:INSTANCE-OF (class attribute-type)
:OWN-SLOT-SPECS ((documentation "The broadest collection of attributes of Animals that describe the physiological aspects of an animal, including its physiological (1) capacities, (2) conditions, and (3) states. Examples include: (1) Capacities: Fertile, Hearing-Impaired, Paraplegic@cyc; (2) Conditions: Anemic, AthleticPhysicalBuild@cyc; (3) States: Intoxicated, Injured, Inflamed. Plant-Physiological-Attributes, such as In-Bloom, are excluded."))
)
(DEFINE-OKBC-FRAME animal-sound
:SUBCLASS-OF (information-bearing-wave-propagation audible-sound)
:INSTANCE-OF (class temporal-stuff-type)
:OWN-SLOT-SPECS ((documentation "A collection of information bearing things (IBTs); a subset of Information-Bearing-Wave-Propagation. Each element of Animal-Sound is a sound of a type which originally was, and typically is, made by an animal using just its body parts (though such a sound may subsequently have been reproduced by imitation or recording). For example, instances of Birdsong, Neighing-Sound, Purring-Sound, Barking-Sound, Braying-Sound. Note that the restriction to sounds produced by body parts alone excludes noises produced by moving external objects; i.e., Animal-Sound does NOT include rustling the leaves underfoot, splashing water, or playing a musical instrument."))
)
(DEFINE-OKBC-FRAME animal-walking-process
:SUBCLASS-OF (simple-whole-body-movement locomotion-process)
:INSTANCE-OF (class default-disjoint-script-type temporal-stuff-type object-type)
:OWN-SLOT-SPECS ((documentation "The collection of individual Locomotion-Process es in which an Animal agent travels on foot using voluntary movements of its legs."))
)
(DEFINE-OKBC-FRAME animalblo
:SUBCLASS-OF (biological-living-object)
:INSTANCE-OF (class existing-object-type)
:OWN-SLOT-SPECS ((documentation "The subset of Biological-Living-Object which includes all the elements of Animal and of Animal-Body-Part and Animal-Body-Region."))
)
(DEFINE-OKBC-FRAME annual-climate-cycle
:SUBCLASS-OF (weather-event)
:INSTANCE-OF (class script-type)
:OWN-SLOT-SPECS ((documentation "A collection of events. Each element of Annual-Climate-Cycle is an extended event, one year in length, which encompasses Sub-Events describing the changing of the seasons. Subsets include Temperate-Climate-Cycle, Humid-Subtropical-Climate-Cycle, etc. See also the comments on Climate-Cycle-Type, Has-Climate-Type."))
)
(DEFINE-OKBC-FRAME annual-event-type
:SUBCLASS-OF (temporal-object-type)
:INSTANCE-OF (class collection)
:OWN-SLOT-SPECS ((documentation "A collection of collections. The instances of an element of Annual-Event-Type are synchronized with the calendar. If ?X is an Annual-Event-Type, then one occurs each year. For example, Christmas-Holiday is an Annual-Event-Type, because one occurs each year, synchronized with the calendar."))
)
(DEFINE-OKBC-FRAME anterior-region-fn
:INSTANCE-OF (slot individual-denoting-function reifiable-function)
:OWN-SLOT-SPECS ((domain animal-body-region) (range animal-body-region) (documentation "The function (AnteriorRegionFn REGOROBJ), applied to a region or object REGOROBJ, means the region consisting of the front half or section, or the anterior main portion, of REGOROBJ. It applies only when REGOROBJ itself has an intrinsic front/back orientation, or is a (non-backward-facing) part of a larger region or object that has a front/back orientation."))
)
(DEFINE-OKBC-FRAME anti-symmetric-binary-predicate
:SUBCLASS-OF (binary-predicate)
:INSTANCE-OF (class collection predicate-category)
:OWN-SLOT-SPECS ((documentation "A collection of predicates; the subset of Binary-Predicate whose elements represent antisymmetric relations. A predicate F is an element of Anti-Symmetric-Binary-Predicate if and only if F is a binary predicate and, if both (F X Y) and (F Y X) hold, then X=Y, for every X,Y within the domain and range of F. For example, Greater-Than-Or-Equal-To, Compatible-Blood-Types.
Note this additional restriction: A Cyc predicate F can be an element of Anti-Symmetric-Binary-Predicate only if the type (i.e., arg-Isa) constraint applicable to F's first argument is not disjoint with the type constraint applicable to F's second argument. See also Note-On-Argument-Typing-And-Properties-Of-Relations."))
)
(DEFINE-OKBC-FRAME anti-transitive-binary-predicate
:SUBCLASS-OF (irreflexive-binary-predicate binary-predicate)
:INSTANCE-OF (class predicate-category)
:OWN-SLOT-SPECS ((documentation "A collection of predicates; the subset of Binary-Predicate whose elements represent anti-transitive relations. A predicate F is an element of Anti-Transitive-Binary-Predicate if and only if F is a binary predicate and, for every X,Y,Z in the domain of F, (:not (:and (F X Y)(F Y Z)(F X Z))).
Note this additional restriction: A Cyc predicate F can be an element of Anti-Transitive-Binary-Predicate only if the type (i.e., arg-Isa) constraint applicable to F's first argument is not disjoint with the type constraint applicable to F's second argument. See also Note-On-Argument-Typing-And-Properties-Of-Relations."))
)
(DEFINE-OKBC-FRAME anticipation-feeling
:SUBCLASS-OF (feeling-attribute)
:INSTANCE-OF (class feeling-attribute-type)
:OWN-SLOT-SPECS ((documentation "Emotion accompanying an expectation of something pleasant in the foreseeable future. This is a collection; for an explanation of a typical Feeling-Attribute-Type, see Happiness. "))
)
(DEFINE-OKBC-FRAME apathy
:SUBCLASS-OF (feeling-attribute)
:INSTANCE-OF (class feeling-attribute-type)
:OWN-SLOT-SPECS ((documentation "A lack of interest or concern. If someone is feeling some measure of Apathy, then they typically will have little or no response to things normally expected to excite emotion or interest. This is a Collection --- for an explanation of that, see Happiness. A related Feeling-Attribute-Type is Boredom."))
)
(DEFINE-OKBC-FRAME appendage-animal-body-part
:SUBCLASS-OF (animal-body-part solid-tangible-thing)
:INSTANCE-OF (class animal-body-part-type)
:OWN-SLOT-SPECS ((documentation "The collection of all appendages of Animals. An appendage is an Animal-Body-Part that is connected to, and extends from, the animal's Torso (or else from another of its appendages, such as a hand extending from an arm). Each appendage is used by the Animal for one or more functions; altogether, appendages serve a wide variety of functions such as locomotion, manipulation, sensing, fighting, scratching, heat dissipation, balance, etc."))
)
(DEFINE-OKBC-FRAME appropriate-emotion
:INSTANCE-OF (relation quaternary-predicate)
:OWN-SLOT-SPECS ((documentation "(Appropriate-Emotion SIT ROLE EMOTYPE DEGREE) means that in the Situation SIT, an intelligent agent filling the Role ROLE would be expected to feel an emotion of Feeling-Attribute-Type EMOTYPE with the intensity DEGREE. If such an agent did not feel that emotion, s/he would generally be considered rude or strange. E.g., a High degree of Grief is an Appropriate-Emotion for someone in the audience at a funeral (but not for the workers, the deceased, etc.)") (arg4-isa generic-attribute) (arg3-genl feeling-attribute))
:SENTENCES
((nth-domain appropriate-emotion 4 generic-attribute)
(nth-domain appropriate-emotion 3 feeling-attribute-type)(nth-domain appropriate-emotion 2 role)
(nth-domain appropriate-emotion 1 situation))
)
(DEFINE-OKBC-FRAME appropriating-something
:SUBCLASS-OF (taking-something gaining-user-rights)
:INSTANCE-OF (class default-disjoint-script-type temporal-object-type)
:OWN-SLOT-SPECS ((documentation "A collection of events; a subset of Taking-Something and of Gaining-User-Rights. In an instance of Appropriating-Something, an Agent takes something that no one else has user rights over, such as air for breathing, or some object which at that time belongs to no one (e.g.,a dime lying in the street).
Note: The English verb `appropriate' can also mean to take something away from someone else, against their will and wrongfully, but that is not what is meant here. For that, see Stealing-Generic."))
)
(DEFINE-OKBC-FRAME approval
:SUBCLASS-OF (satisfaction)
:INSTANCE-OF (class feeling-attribute-type)
:OWN-SLOT-SPECS ((documentation "The emotion of viewing positively a state of affairs or other agent's actions. This is a collection; for an explanation of a typical Feeling-Attribute-Type, see Happiness."))
)
(DEFINE-OKBC-FRAME approximate-pay
:INSTANCE-OF (slot interval-based-quantity-slot)
:OWN-SLOT-SPECS ((range monetary-flow-rate) (domain occupation-type) (documentation "The predicate Approximate-Pay is used to estimate a typical amount of pay offered to workers in a specific occupation. (Approximate-Pay JOBTYPE RATE) means that a person working in the Occupation-Type JOBTYPE makes approximately the Monetary-Flow-Rate RATE, as earned income. RATE might be expressed in, e.g., Dollars-Per-Hour, pounds-per-week, or yen-per-year. RATE refers to average pay for the occupation JOBTYPE, excluding any unearned pay (such as matching 401K contributions) and the value of other employee benefits.") (arg1-genl professional))
)
(DEFINE-OKBC-FRAME april
:SUBCLASS-OF (calendar-month)
:INSTANCE-OF (class month-of-year-type)
)
(DEFINE-OKBC-FRAME aquatic-organism
:SUBCLASS-OF (organism-whole)
:INSTANCE-OF (class organism-type-by-habitat)
:OWN-SLOT-SPECS ((documentation "The collection of organisms adapted to life underwater, which spend all or most of their time immersed in water. This includes the elements of Fish, also many instances of Mollusk, Sea-Mammal, etc."))
)
(DEFINE-OKBC-FRAME area
:SUBCLASS-OF (scalar-interval physical-attribute)
:INSTANCE-OF (class derived-numeric-attribute-type)
:OWN-SLOT-SPECS ((documentation "A collection of physical attributes. Each element of Area is an amount of two-dimensional space, i.e., a surface. Elements of Area may be either a fixed interval, such as the area of a rectangle 5 cm x 10 cm, or a range, such as the area of a city lot. See Unit-Of-Area for the units used by Cyc to measure areas."))
)
(DEFINE-OKBC-FRAME area-of-object
:INSTANCE-OF (slot physical-amount-slot physical-attribute-description-slot)
:OWN-SLOT-SPECS ((subrelation-of |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "AREA")|) (range area) (domain partially-tangible) (documentation "A general slot to denote the area of some object. This could be the area of a Geographical-Region, a desk top, or a cross-section of wire."))
)
(DEFINE-OKBC-FRAME area-of-region
:INSTANCE-OF (slot tangible-object-predicate interval-based-quantity-slot)
:OWN-SLOT-SPECS ((subrelation-of area-of-object |(MEANING-IN-SYSTEM-FN SENSUS-INFORMATION1997 "AREA")|) (range area) (domain geographical-region) (documentation "The predicate Area-Of-Region is used to indicate the physical area of a particular region. (Area-Of-Region REGION AREA) means that the physical size of the Geographical-Region REGION is the Area AREA. Examples: (Area-Of-Region Lake-Erie (Square-Mile 9940)), (Area-Of-Region Elba-Island-Italy (Square-Mile 86)), (Area-Of-Region Vatican-City (Square-Mile 0.17)), (Area-Of-Region China-Peoples-Republic (Square-Mile 3705390)). See Area for ways of representing areas."))
)
(DEFINE-OKBC-FRAME areas-of-origin
:INSTANCE-OF (slot intensional-representation-predicate binary-predicate)
:OWN-SLOT-SPECS ((range geographical-region) (domain ethnic-group-type) (documentation "The predicate Areas-Of-Origin relates an ethnic group to a particular region in which its members originated. (Areas-Of-Origin GROUP REGION) means that the Ethnic-Group-Type GROUP originated in the Geographical-Region REGION. For example, to indicate that Circassians originated in Asia, we would say (Areas-Of-Origin Ethnic-Group-Of-Circassians Continent-Of-Asia). Ethnic groups may have originated in several different areas; e.g., the Ethnic-Group-Of-Hutu is native to Rwanda, Burundi, Tanzania, and Uganda."))
)
(DEFINE-OKBC-FRAME arg1-format
:INSTANCE-OF (slot meta-predicate binary-predicate)
:OWN-SLOT-SPECS ((range format) (domain predicate) (documentation "(Arg1-Format PRED FORMAT) means that FORMAT tells how many different first arguments there can be to PRED, given some fixed set of other arguments. See Format for a description of the possible values for FORMAT."))
)
(DEFINE-OKBC-FRAME arg1-genl
:INSTANCE-OF (slot binary-predicate intangible-object-predicate meta-relation relation)
:OWN-SLOT-SPECS ((range collection) (domain relationship) (documentation "(Arg1-Genl REL COL) means that the predicate or function, REL, accepts only first arguments that have the Collection COL among their :subclass-of.") (arity 2))
)
(DEFINE-OKBC-FRAME arg1-isa
:INSTANCE-OF (slot binary-predicate default-monotonic-predicate functional-slot intangible-object-predicate meta-relation relation)
:OWN-SLOT-SPECS ((range collection) (domain relationship) (documentation "(Arg1-Isa REL COL) means that anything given as the first argument to the Relationship REL must be an element of the Collection COL. Examples: (Arg1-Isa Forms-Border-Between Spatial-Thing), (Arg1-Isa Series-Ordered-By Series), (Arg1-Isa Unique-Part-Types Existing-Object-Type).") (arity 2))
)
(DEFINE-OKBC-FRAME arg2-format
:INSTANCE-OF (slot meta-predicate binary-predicate)
:OWN-SLOT-SPECS ((range format) (domain predicate) (documentation "(Arg2-Format PRED FORMAT) means that FORMAT tells how many different second arguments there can be to PRED, given some fixed set of other arguments. See Format for a description of the possible values for FORMAT."))
)
(DEFINE-OKBC-FRAME arg2-genl
:INSTANCE-OF (slot binary-predicate meta-relation relation)
:OWN-SLOT-SPECS ((range collection) (domain relationship) (documentation "(Arg2-Genl REL COL) means that the predicate or function, REL, accepts only second arguments that have the Collection COL among their :subclass-of.") (arity 2))
)
(DEFINE-OKBC-FRAME arg2-isa
:INSTANCE-OF (slot binary-predicate default-monotonic-predicate functional-slot intangible-object-predicate meta-relation relation)
:OWN-SLOT-SPECS ((range collection) (domain relationship) (documentation "(Arg2-Isa REL COL) means that anything given as the second argument to the Relationship REL must be an element of the Collection COL. Examples: (Arg2-Isa Sheet-Surface-Connected Partially-Tangible), (Arg2-Isa Salutation Courtesy-Title), (Arg2-Isa Mother Female-Animal).") (arity 2))
)
(DEFINE-OKBC-FRAME arg3-format
:INSTANCE-OF (slot meta-predicate binary-predicate)
:OWN-SLOT-SPECS ((range format) (domain predicate) (documentation "(Arg3-Format PRED FORMAT) means that FORMAT tells how many different third arguments there can be to PRED, given some fixed set of other arguments. See Format for a description of the possible values for FORMAT."))
)
(DEFINE-OKBC-FRAME arg3-genl
:INSTANCE-OF (slot binary-predicate meta-relation relation)
:OWN-SLOT-SPECS ((range collection) (domain relationship) (documentation "(Arg3-Genl REL COL) means that the predicate or function, REL, accepts only third arguments that have the Collection COL among their :subclass-of.") (arity 2))
)
(DEFINE-OKBC-FRAME arg3-isa
:INSTANCE-OF (slot default-monotonic-predicate binary-predicate functional-slot intangible-object-predicate meta-relation relation)
:OWN-SLOT-SPECS ((range collection) (domain relationship) (documentation "(Arg3-Isa REL COL) means that anything given as the third argument to the Relationship REL must be an element of the Collection COL.") (arity 2))
)
(DEFINE-OKBC-FRAME arg4-format
:INSTANCE-OF (slot binary-predicate meta-predicate)
:OWN-SLOT-SPECS ((range format) (domain predicate) (documentation "(Arg4-Format PRED FORMAT) means that FORMAT tells how many different fourth arguments there can be to PRED, given some fixed set of other arguments. See Format for a description of the possible values for FORMAT."))
)
(DEFINE-OKBC-FRAME arg4-genl
:INSTANCE-OF (slot binary-predicate meta-relation relation)
:OWN-SLOT-SPECS ((range collection) (domain relationship) (documentation "(Arg4-Genl REL COL) means that the fourth argument to the Relationship (i.e., predicate or function) REL must be a subset of the Collection COL.") (arity 2))
)
(DEFINE-OKBC-FRAME arg4-isa
:INSTANCE-OF (slot default-monotonic-predicate binary-predicate functional-slot intangible-object-predicate meta-relation relation)
:OWN-SLOT-SPECS ((range collection) (domain relationship) (documentation "(Arg4-Isa REL COL) means that anything given as the fourth argument to the Relationship REL must be an element of the Collection COL.") (arity 2))
)
(DEFINE-OKBC-FRAME arg5-format
:INSTANCE-OF (slot binary-predicate meta-predicate)
:OWN-SLOT-SPECS ((range format) (domain predicate) (documentation "(Arg5-Format PRED FORMAT) means that FORMAT tells how many different fifth arguments there can be to PRED, given some fixed set of other arguments. See Format for a description of the possible values for FORMAT."))
)
(DEFINE-OKBC-FRAME arg5-genl
:INSTANCE-OF (slot binary-predicate meta-relation)
:OWN-SLOT-SPECS ((range collection) (domain relationship) (documentation "(Arg5-Genl REL COL) means that the fifth argument to the Relationship (predicate or function) REL must be a subset of the Collection COL."))
)
(DEFINE-OKBC-FRAME arg5-isa
:INSTANCE-OF (slot binary-predicate default-monotonic-predicate functional-slot intangible-object-predicate meta-relation relation)
:OWN-SLOT-SPECS ((range collection) (domain relationship) (documentation "(Arg5-Isa REL COL) means that anything given as the fifth argument to the Relationship REL must be an element of the Collection COL.") (arity 2))
)
(DEFINE-OKBC-FRAME args-genl
:INSTANCE-OF (slot binary-predicate meta-relation)
:OWN-SLOT-SPECS ((range collection) (domain relationship) (documentation "When a relation REL is an element of Variable-Arity-Relation, i.e., it takes a variable number of arguments, then (Args-Genl REL COL) means that all of those arguments must be subsets of COL."))
)
(DEFINE-OKBC-FRAME args-isa
:INSTANCE-OF (slot binary-predicate intangible-object-predicate meta-relation relation)
:OWN-SLOT-SPECS ((range collection) (domain relationship) (documentation "The predicate Args-Isa is used with elements of Relationship that take an indefinite number of arguments, in order to specify that the values of all the arguments used with that relation must be of a certain type. E.g., to specify that all the arguments to Cyc's addition function, Plus-Fn, must be measurable quantities (i.e., elements of Scalar-Interval), we assert: (Args-Isa Plus-Fn Scalar-Interval). Additional examples: `paths branch only into other paths', i.e., (Args-Isa Branches-Into Path-Generic); `dinars are measured only in numbers', i.e., (Args-Isa Dinar-Jordan Cyc-System-Real-Number).") (arity 2))
)
(DEFINE-OKBC-FRAME arity
:INSTANCE-OF (slot default-monotonic-predicate binary-predicate functional-slot relationship-predicate meta-relation)
:OWN-SLOT-SPECS ((range integer) (domain relationship) (documentation "(Arity REL NUMBER) means that the Relationship REL takes the number of arguments given by NUMBER. For example, the Arity of all instances of Binary-Predicate is 2. In particular, (Arity Arity 2) since Arity takes 2 arguments."))
)
(DEFINE-OKBC-FRAME arm
:SUBCLASS-OF (appendage-animal-body-part)
:INSTANCE-OF (class symmetric-anatomical-part-type)
:OWN-SLOT-SPECS ((documentation "The collection of all animal arms. An Arm of an animal is one of its Animal-Body-Parts, more particularly one of its appendages, a limb which it uses for manipulation moreso than for locomotion. A Hand is considered part of an Arm."))
)
(DEFINE-OKBC-FRAME arm-movement
:SUBCLASS-OF (body-movement-event)
:INSTANCE-OF (class default-disjoint-script-type temporal-stuff-type)
:OWN-SLOT-SPECS ((documentation "The collection of any movements of an arm that are generated by the Animal whose arm it is, through nerve impulses to the arm. Physically, an Arm-Movement involves movement of the upper arm or elbow in relation to the body to which it is attached."))
)
(DEFINE-OKBC-FRAME army
:SUBCLASS-OF (military-organization)
:INSTANCE-OF (class existing-object-type)
:OWN-SLOT-SPECS ((documentation "A collection of military organizations. An element of Army is a military organization, modern or historical, composed mainly of ground forces, which may include infantry, cavalry, artillery, tank and miscellaneous mechanized units, and special forces. Its personnel may also include support workers such as engineers and medical staff."))
)
(DEFINE-OKBC-FRAME army-personnel
:SUBCLASS-OF (military-person soldier)
:INSTANCE-OF (class occupation-type)
:OWN-SLOT-SPECS ((documentation "A collection of people, a subset
of Military-Person. Each element of this collection is
somebody who works for an Army."))
)
(DEFINE-OKBC-FRAME arresting-someone
:SUBCLASS-OF (taking-custody-of-animal)
:INSTANCE-OF (class temporal-object-type script-type)
:OWN-SLOT-SPECS ((documentation "A collection of events. In an instance of Arresting-Someone, a law enforcement officer arrests another person, who is thereupon taken into custody (In-Custody)."))
)
(DEFINE-OKBC-FRAME art-object
:SUBCLASS-OF (information-bearing-object composite-tangible-and-intangible-object artifact product)
:INSTANCE-OF (class existing-object-type)
:OWN-SLOT-SPECS ((documentation "A collection of information bearing objects (IBOs). Each element of Art-Object is a tangible object that is a work, or a reproduction of a work, in one of the representational or plastic arts, such as a painting, sculpture, ceramic piece, quilt, stained glass composition, etc. Art-Object does NOT include plays, movies, music, performance art, or other activities. Art-Object is a subset of Information-Bearing-Object, but its elements need not have propositional content, although they may. Examples of Art-Object: the Statue-Of-Liberty, the Mona Lisa, a poster reproduction of Van Gogh's `Starry Night', Rodin's `Burghers of Calais', a piece of Ju ware from the Sung Dynasty, the windows of Chartres Cathedral, a series of prints by Picasso."))
)
(DEFINE-OKBC-FRAME arthropod
:SUBCLASS-OF (invertebrate)
:INSTANCE-OF (class biological-phylum)
:OWN-SLOT-SPECS ((documentation "An instance of Biological-Phylum whose Taxon-Members include (mostly) the numerous collections of chitin-armored invertebrates that have jointed bodies and limbs, e.g., insects, spiders, crustaceans, etc."))
)
(DEFINE-OKBC-FRAME artifact
:SUBCLASS-OF (partially-tangible something-existing)
:INSTANCE-OF (class collection)
:OWN-SLOT-SPECS ((documentation "A collection of tangible things. An instance of Artifact is a tangible which was more or less intentionally created by an Agent (or a group of Agents working together) to serve some purpose or perform some function. By `created', we don't require that the matter itself be created, it is often just the result of some sort of assemblage or modification process, such as a wooden flute that's been whittled from a tree branch, a sawhorse that's been put together out of boards and nails, a coin that's been minted by embossing or by melting liquid silver into a mold, etc.
Let's consider some positive and negative examples.
In addition to the obvious human artifacts (buildings, tools, textiles, power lines), this collection includes certain sorts of things made by Animals, such as bird nests, termite mounds, and beaver dams.
Something which just barely squeaks through the intended meaning of this concept is Yale-University. In addition to the abstract legal entity, it consists of a set of physical buildings, furnishings, etc. By contrast, an organization that had no headquarters building, equipment, tangible property, etc. would not be an artifact. Similarly, a fictional character such as Tom Sawyer is not an artifact (in the context of the story, Tom is not an artifact because he is a real boy; in the context of the real world, Tom is not an artifact because he has no tangible component whatsoever.)
While some artifacts may be alive, or contain living subparts, we do not intend this collection to encompass all organisms which resulted from normal biological reproductive processes. Your child is not an artifact.
If you do an oil painting of a house that is an artifact, but much more borderline is what you get if you take a rock and just paint it a solid color, say white. In general that won't be an artifact unless it serves some purpose, such as marking the shoulder of a roadway, but more questionable cases are if the purpose of the white rock is just `to be sold as art' or `to look pretty.' The white rock might thus be an artifact in certain contexts, but not in others.
Not every instance of Path-Generic (q.v.) is necessarily an instance of Artifact. For example, some channels used for navigation may not be artifacts, because even though they are marked with human artifacts (i.e., channel markers) as locations where ships may safely travel, the channel itself may have been a naturally occurring pre-existing thing -- e.g., the English-Channel. If a Channel-Wide-Strait were produced or maintained only by constant dredging, it might count as an artifact. By contrast, each Canal, such as Suez-Canal, is almost certain to be an Artifact."))
:SENTENCES
((the-partition artifact inanimate-thing-natural |(THE-PARTITION ARTIFACT INANIMATE-THING-NATURAL)|)
(synonymous-external-concept artifact sensus-information1997 "ARTIFACT"))
)
(DEFINE-OKBC-FRAME artificial-material
:SUBCLASS-OF (artifact)
:INSTANCE-OF (class existing-stuff-type)
:OWN-SLOT-SPECS ((documentation "A collection of substances; a subset of Artifact. An instance of Artificial-Material is a portion of artificial stuff that was intentionally made by some agent(s), such as Plastic or SweetN-Low. Since Artificial-Materials are intentionally produced, this class does not normally include materials which are merely By-Products or Waste-Products of an intentional process. However, what is a byproduct at one time or in one context may be a useful material that would count as an instance of Artificial-Material in another."))
)
(DEFINE-OKBC-FRAME asleep
:INSTANCE-OF (alertness)
:OWN-SLOT-SPECS ((documentation "Asleep is the Alertness attribute of being asleep. Asleep is a specialization of Unconscious. (Holds-In (Year-Fn 1776) (Alertness-Level RipVanWinkle Asleep)).") (genl-attributes unconscious))
)
(DEFINE-OKBC-FRAME assertion
:SUBCLASS-OF (abstract-information computational-object cyc-indexed-term individual)
:INSTANCE-OF (class object-type collection)
:OWN-SLOT-SPECS ((documentation "A collection of computational objects. Each instance of Assertion is either (1) an assertion reified in the Cyc Knowledge Base (i.e., a formula and its associated datastructure, actually in the Cyc KB), or (2) an Epistemological Level Cyc-Formula that can be canonicalized and reified as one or more KB assertions. Assertion is used as an argument type for meta-predicates such as Overrides."))
)
(DEFINE-OKBC-FRAME assisting-agent
:INSTANCE-OF (slot actor-slot)
:OWN-SLOT-SPECS ((subrelation-of deliberate-actors) (range agent) (domain event) (documentation "(Assisting-Agent ACT AGENT) means that AGENT is one of the agents assisting in the performance of ACT; AGENT itself may or may not also be performing ACT. AGENT is doing some tasks related to