(#$comment #$AbandoningSomething "The collection of events in which some #$Agent deliberately gives up possession of something, without giving it to another.") 
(#$genls #$AbandoningSomething #$Individual) 
(#$genls #$AbandoningSomething #$LosingUserRights) 
(#$genls #$AbandoningSomething #$PurposefulAction) 
(#$isa #$AbandoningSomething #$TemporalObjectType) 
(#$comment #$Abbreviation "A shortened version of a written word or phrase. An #$Acronym is a specific type of abbreviation.") 
(#$genls #$Abbreviation #$Individual) 
(#$genls #$Abbreviation #$ProperNameString) 
(#$isa #$Abbreviation #$ObjectType) 
(#$comment #$Abhorrence "Extreme repugnance felt towards a person or thing, typically resulting in strenuous efforts to avoid it.") 
(#$genls #$Abhorrence #$Disgust) 
(#$genls #$Abhorrence #$Dissatisfaction) 
(#$genls #$Abhorrence #$Hate) 
(#$isa #$Abhorrence #$AtemporalNecessarilyEssentialCollectionType) 
(#$isa #$Abhorrence #$FeelingType) 
(#$comment #$Ablation "A collection of events.  In an #$Ablation, a (usually relatively thin) layer of material is removed from the surface of an object.") 
(#$genls #$Ablation #$Individual) 
(#$genls #$Ablation #$RemovingSomething) 
(#$genls #$Ablation #$Separation-Complete) 
(#$isa #$Ablation #$DefaultDisjointScriptType) 
(#$isa #$Ablation #$TemporalStuffType) 
(#$siblingDisjointExceptions #$Ablation #$BodyMovementEvent) 
(#$siblingDisjointExceptions #$Ablation #$PhysicalContactEvent) 
(#$siblingDisjointExceptions #$Ablation #$Sliding-Generic) 
(#$siblingDisjointExceptions #$Ablation #$VoluntaryBodyMovement) 
(#$arg1Format #$ableToAffect #$openEntryFormatInArgs) 
(#$arg1Isa #$ableToAffect #$Agent) 
(#$arg1Isa #$ableToAffect #$Agent) 
(#$arg2Format #$ableToAffect #$openEntryFormatInArgs) 
(#$arg2Isa #$ableToAffect #$TemporalThing) 
(#$arg2Isa #$ableToAffect #$TemporalThing) 
(#$argFormat #$ableToAffect 1 #$openEntryFormatInArgs) 
(#$argFormat #$ableToAffect 2 #$openEntryFormatInArgs) 
(#$argIsa #$ableToAffect 1 #$Agent) 
(#$argIsa #$ableToAffect 1 #$Agent) 
(#$argIsa #$ableToAffect 1 #$Agent) 
(#$argIsa #$ableToAffect 2 #$TemporalThing) 
(#$argIsa #$ableToAffect 2 #$TemporalThing) 
(#$argIsa #$ableToAffect 2 #$TemporalThing) 
(#$arity #$ableToAffect 2) 
(#$comment #$ableToAffect "'(#$ableToAffect AGENT THING)' means that AGENT is capable of causing some change in THING.  This does not imply that AGENT ever actually does cause any change in THING, but that THING is within AGENT's 'zone of influence'.  For instance, I am able to affect the ceiling panel above my head, even though I've never done anything to it.  In contrast, I cannot affect the moon.  This is an inherently vague notion, since one's ability to influence objects tends to diminish as they grow larger--or smaller--and farther away.  However, it's an important common sense concept, since we must learn what we can and cannot affect in order to understand our capabilities and limitations and plan actions accordingly.") 
(#$genlPreds #$ableToAffect #$temporallyIntersects) 
(#$isa #$ableToAffect #$CotemporalObjectsSlot) 
(#$isa #$ableToAffect #$ReflexiveBinaryPredicate) 
(#$arg1Isa #$ableToControl #$Agent) 
(#$arg1Isa #$ableToControl #$Agent) 
(#$arg2Format #$ableToControl #$SetTheFormat) 
(#$arg2Isa #$ableToControl #$TemporalThing) 
(#$arg2Isa #$ableToControl #$TemporalThing) 
(#$argFormat #$ableToControl 2 #$SetTheFormat) 
(#$argIsa #$ableToControl 1 #$Agent) 
(#$argIsa #$ableToControl 1 #$Agent) 
(#$argIsa #$ableToControl 1 #$Agent) 
(#$argIsa #$ableToControl 2 #$TemporalThing) 
(#$argIsa #$ableToControl 2 #$TemporalThing) 
(#$argIsa #$ableToControl 2 #$TemporalThing) 
(#$arity #$ableToControl 2) 
(#$comment #$ableToControl "A predicate that relates an agent to some cotemporal thing s/he is able to control.  More precisely, (#$ableToControl AGENT THING) means that AGENT is in a position of being able to either (i) influence (i.e. prohibit, enable, or constrain) some significant set of behaviors (or actions or functionings) of THING or (ii) influence some significant set of behaviors of other agents with respect to THING.  For example, Wilbur Post might be able to control some range of his horse Ed's actions in virtue of having the (physical and legal) power to force Ed to walk down this bridle path, stay in that corral, and so on; and Wilbur might also be able to control Ed in the sense of deciding who has access to him (e.g. deciding who may see Ed and who may ride him).  The controlled THING might be a non-living possession of AGENT's or, as in the above example, another _agent_.  Since one's ability to control something is rarely comprehensive, (#$ableToControl AGENT THING) can hold despite the fact there  are many behaviors/actions/functionings of THING's that are beyond AGENT's control.  Thus, although Wilbur might be able to control which paths Ed is ridden on, where he sleeps, and what he eats, Wilbur might not be able to control such things as Ed's breathing rate, tail swishing, or what he does in the privacy of his stall.  Note that AGENT's being #$ableToControl THING does not entail that AGENT actually exercises this ability.  Note also that AGENT's merely being able to influence _some_ behavior of THING (or some behavior of another agent's with respect to THING) is not sufficient for her being #$ableToControl THING; AGENT must be able to influence a significant set or range of THING's behaviors (or of other agents' behaviors with respect to THING) in order to be able to control THING.  (Unavoidably, the notions of being \"able\" to do something and of a \"significant range\" of a thing's behaviors/actions/functionings are both rather vague.)  For describing events in which an agent actually wields control over something, consider using #$ControllingSomething and #$objectControlled.") 
(#$genlPreds #$ableToControl #$ableToAffect) 
(#$genlPreds #$ableToControl #$positiveVestedInterest) 
(#$genlPredsWRTTypes #$ableToControl #$influencesAgent #$Agent #$Agent) 
(#$isa #$ableToControl #$CotemporalObjectsSlot) 
(#$arg1Isa #$abnormal #$SubLList) 
(#$arg2Isa #$abnormal #$CycLAssertion) 
(#$argIsa #$abnormal 2 #$CycLAssertion) 
(#$argIsa #$abnormal 2 #$CycLAssertion) 
(#$argIsa #$abnormal 1 #$SubLList) 
(#$argIsa #$abnormal 1 #$SubLList) 
(#$arity #$abnormal 2) 
(#$comment #$abnormal "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:    (#$exceptWhen R(x1,...,xn) Rule001)  and get canonicalized into rules concluding abnormal like so:    R(x1,...,xn) => (#$abnormal(x1,....,xn) Rule001)  Since a different 'abnormality' predicate 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. ") 
(#$isa #$abnormal #$BinaryPredicate) 
(#$isa #$abnormal #$CoreImplementationConstant) 
(#$isa #$abnormal #$DefaultMonotonicPredicate) 
(#$sharedNotes #$abnormal #$MetaAssertionsForPolyCanonicalizingAssertions) 
(#$sharedNotes #$abnormal #$NoteAboutStatingExceptionsInCycL) 
(#$minimizeExtent #$abnormal) 
(#$arg1Format #$above-Directly #$SetTheFormat) 
(#$arg1Isa #$above-Directly #$SpatialThing-Localized) 
(#$arg2Format #$above-Directly #$SetTheFormat) 
(#$arg2Isa #$above-Directly #$SpatialThing-Localized) 
(#$argFormat #$above-Directly 1 #$SetTheFormat) 
(#$argFormat #$above-Directly 2 #$SetTheFormat) 
(#$argIsa #$above-Directly 1 #$SpatialThing-Localized) 
(#$argIsa #$above-Directly 1 #$SpatialThing-Localized) 
(#$argIsa #$above-Directly 2 #$SpatialThing-Localized) 
(#$argIsa #$above-Directly 2 #$SpatialThing-Localized) 
(#$arity #$above-Directly 2) 
(#$comment #$above-Directly "(#$above-Directly ABOVE BELOW) means either that (1) the volumetric center of ABOVE is directly above some point of BELOW, if ABOVE is smaller than BELOW; or that (2) some point of ABOVE is directly above the volumetric center of BELOW, if ABOVE is larger than, or equal in size to, BELOW.") 
(#$genlPreds #$above-Directly #$above-Generally) 
(#$isa #$above-Directly #$AsymmetricBinaryPredicate) 
(#$isa #$above-Directly #$SpatialPredicate) 
(#$negationInverse #$above-Directly #$above-Directly) 
(#$arg1Format #$above-Generally #$openEntryFormatInArgs) 
(#$arg1Isa #$above-Generally #$SpatialThing-Localized) 
(#$arg2Format #$above-Generally #$openEntryFormatInArgs) 
(#$arg2Isa #$above-Generally #$SpatialThing-Localized) 
(#$argFormat #$above-Generally 1 #$openEntryFormatInArgs) 
(#$argFormat #$above-Generally 2 #$openEntryFormatInArgs) 
(#$argIsa #$above-Generally 1 #$SpatialThing-Localized) 
(#$argIsa #$above-Generally 1 #$SpatialThing-Localized) 
(#$argIsa #$above-Generally 2 #$SpatialThing-Localized) 
(#$argIsa #$above-Generally 2 #$SpatialThing-Localized) 
(#$arity #$above-Generally 2) 
(#$comment #$above-Generally "(#$above-Generally OBJ1 OBJ2) means that the #$SpatialThing-Localized OBJ1 is more or less above the #$SpatialThing-Localized OBJ2. To be more precise: if OBJ1 is within a cone-shaped set of vectors within about 45 degrees of #$Up-Directly pointing up from OBJ2 (see #$Up-Generally), then (#$above-Generally OBJ1 OBJ2) holds. This is a more general predicate than #$above-Directly (q.v.), but it is a more specialized predicate than #$above-Higher (q.v.). It probably most closely conforms to the English word \"above.\"") 
(#$genlPreds #$above-Generally #$above-Higher) 
(#$isa #$above-Generally #$AsymmetricBinaryPredicate) 
(#$isa #$above-Generally #$SpatialPredicate) 
(#$negationInverse #$above-Generally #$above-Generally) 
(#$comment #$AboveGroundLevelInAConstruction "#$AboveGroundLevelInAConstruction is a specialization of #$LevelOfAConstruction. Each instance of  #$AboveGroundLevelInAConstruction is at or above ground level.
 See also #$BasementLevelInAConstruction and #$BalconyLevelInAConstruction.") 
(#$disjointWith #$AboveGroundLevelInAConstruction #$BasementLevelInAConstruction) 
(#$genls #$AboveGroundLevelInAConstruction #$Individual) 
(#$genls #$AboveGroundLevelInAConstruction #$LevelOfAConstruction) 
(#$isa #$AboveGroundLevelInAConstruction #$ExistingObjectType) 
(#$arg1Format #$above-Higher #$openEntryFormatInArgs) 
(#$arg1Isa #$above-Higher #$SpatialThing-Localized) 
(#$arg2Format #$above-Higher #$openEntryFormatInArgs) 
(#$arg2Isa #$above-Higher #$SpatialThing-Localized) 
(#$argFormat #$above-Higher 1 #$openEntryFormatInArgs) 
(#$argFormat #$above-Higher 2 #$openEntryFormatInArgs) 
(#$argIsa #$above-Higher 1 #$SpatialThing-Localized) 
(#$argIsa #$above-Higher 1 #$SpatialThing-Localized) 
(#$argIsa #$above-Higher 2 #$SpatialThing-Localized) 
(#$argIsa #$above-Higher 2 #$SpatialThing-Localized) 
(#$arity #$above-Higher 2) 
(#$comment #$above-Higher "(#$above-Higher OBJ-A OBJ-B) means that OBJ-A is at a greater altitude (from some common reference point) than OBJ-B.  In terrestrial contexts (see #$TerrestrialFrameOfReferenceMt), (#$above-Higher OBJ-A OBJ-B) typically means that OBJ-A is at a greater altitude above sea level (see the predicate #$altitudeAboveSeaLevel) than OBJ-B.") 
(#$genlPreds #$above-Higher #$spatiallyDisjoint) 
(#$isa #$above-Higher #$AsymmetricBinaryPredicate) 
(#$isa #$above-Higher #$CotemporalObjectsSlot) 
(#$isa #$above-Higher #$SpatialPredicate) 
(#$isa #$above-Higher #$TransitiveBinaryPredicate) 
(#$negationInverse #$above-Higher #$above-Higher) 
(#$arg1Format #$above-Overhead #$SetTheFormat) 
(#$arg1Isa #$above-Overhead #$SpatialThing-Localized) 
(#$arg2Format #$above-Overhead #$SetTheFormat) 
(#$arg2Isa #$above-Overhead #$SpatialThing-Localized) 
(#$argFormat #$above-Overhead 1 #$SetTheFormat) 
(#$argFormat #$above-Overhead 2 #$SetTheFormat) 
(#$argIsa #$above-Overhead 1 #$SpatialThing-Localized) 
(#$argIsa #$above-Overhead 1 #$SpatialThing-Localized) 
(#$argIsa #$above-Overhead 2 #$SpatialThing-Localized) 
(#$argIsa #$above-Overhead 2 #$SpatialThing-Localized) 
(#$arity #$above-Overhead 2) 
(#$comment #$above-Overhead "(#$above-Overhead ABOVE BELOW) means that ABOVE is directly above BELOW (see the predicate #$above-Directly), all points of ABOVE are higher than all points of BELOW, and ABOVE and BELOW do _not_ touch.") 
(#$genlPreds #$above-Overhead #$above-Directly) 
(#$isa #$above-Overhead #$AsymmetricBinaryPredicate) 
(#$isa #$above-Overhead #$SpatialPredicate) 
(#$negationInverse #$above-Overhead #$above-Overhead) 
(#$negationPreds #$above-Overhead #$touches) 
(#$arg1Isa #$above-Touching #$PartiallyTangible) 
(#$arg1Isa #$above-Touching #$PartiallyTangible) 
(#$arg2Isa #$above-Touching #$PartiallyTangible) 
(#$arg2Isa #$above-Touching #$PartiallyTangible) 
(#$argIsa #$above-Touching 1 #$PartiallyTangible) 
(#$argIsa #$above-Touching 1 #$PartiallyTangible) 
(#$argIsa #$above-Touching 1 #$PartiallyTangible) 
(#$argIsa #$above-Touching 2 #$PartiallyTangible) 
(#$argIsa #$above-Touching 2 #$PartiallyTangible) 
(#$argIsa #$above-Touching 2 #$PartiallyTangible) 
(#$arity #$above-Touching 2) 
(#$comment #$above-Touching "(#$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.)") 
(#$genlPreds #$above-Touching #$above-Directly) 
(#$genlPreds #$above-Touching #$touches) 
(#$isa #$above-Touching #$AsymmetricBinaryPredicate) 
(#$isa #$above-Touching #$SpatialPredicate) 
(#$negationInverse #$above-Touching #$above-Directly) 
(#$negationInverse #$above-Touching #$above-Touching) 
(#$comment #$AbradingSomething "A collection of events.  In an #$AbradingSomething event, the surface of some object is gradually worn away by scraping or similar physical contact involving friction.  Devices used in elements of #$AbradingSomething include files and sand paper; elements of #$AbradingSomething 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.") 
(#$genls #$AbradingSomething #$Ablation) 
(#$genls #$AbradingSomething #$Individual) 
(#$genls #$AbradingSomething #$Rubbing) 
(#$isa #$AbradingSomething #$DefaultDisjointScriptType) 
(#$comment #$AbsoluteValueComputation "An algorithm for computing the absolute value
 function on a numerical value.") 
(#$isa #$AbsoluteValueComputation #$Algorithm) 
(#$isa #$AbsoluteValueComputation #$FunctionalAlgorithm) 
(#$isa #$AbsoluteValueComputation #$Individual) 
(#$arg1Isa #$AbsoluteValueFn #$ScalarInterval) 
(#$argIsa #$AbsoluteValueFn 1 #$ScalarInterval) 
(#$argIsa #$AbsoluteValueFn 1 #$ScalarInterval) 
(#$arity #$AbsoluteValueFn 1) 
(#$comment #$AbsoluteValueFn "#$AbsoluteValueFn is the unary mathematical function that returns the absolute value of its argument; e.g., (#$AbsoluteValueFn -2) returns 2, and (#$AbsoluteValueFn 2) returns 2.") 
(#$isa #$AbsoluteValueFn #$CoreConstant) 
(#$isa #$AbsoluteValueFn #$EvaluatableFunction) 
(#$isa #$AbsoluteValueFn #$FunctionFromQuantitiesToQuantities) 
(#$isa #$AbsoluteValueFn #$UnaryFunction) 
(#$resultIsa #$AbsoluteValueFn #$NonNegativeScalarInterval) 
(#$resultIsa #$AbsoluteValueFn #$NonNegativeScalarInterval) 
(#$comment #$AbstractInformationalThing "A specialization of #$IntangibleIndividual and #$InformationStore. #$AbstractInformationalThing is a heterogeneous collection of abstract repositories of information. #$AbstractInformationalThing is a generalization not only of #$Proposition, but also the collections #$Sentence, #$CharacterString, #$AtomicSymbol-Abstract, #$Microtheory, #$PropositionalInformationThing, and #$ConceptualWork. Each instance of #$AbstractInformationalThing is an abstract individual and most instances of this collection can have multiple concrete \"embodiments\". For example, a single instance of #$Sentence can be written on several pieces of paper (see #$instantiationOfAIS); a #$PropositionalInformationThing may be the content of several concrete documents, such as several instances of #$BookCopy (see #$containsInfoPropositional-IBT); and several distinct events, such as spoken utterances, may have a certain unique #$Proposition as their content (see #$containsInformation). Note that some instances of #$AbstractInformationalThing have temporal extent.  Examples include all instances of #$DevisedPracticeOrWork, such as the instances of #$Novel-CW and #$Movie-CW. Other specializations of #$AbstractInformationalThing are disjoint with #$TemporalThing. Examples include all instances of #$Character-Abstract and #$Proposition.") 
(#$disjointWith #$AbstractInformationalThing (#$GroupFn #$PurposefulAction)) 
(#$genls #$AbstractInformationalThing #$Individual) 
(#$genls #$AbstractInformationalThing #$InformationStore) 
(#$genls #$AbstractInformationalThing #$IntangibleIndividual) 
(#$genls #$AbstractInformationalThing (#$CollectionUnionFn (#$TheSet #$AttributeValue #$AbstractInformationalThing))) 
(#$isa #$AbstractInformationalThing #$StuffType) 
(#$comment #$AbstractInformationStructure "A specialization of #$AbstractInformationalThing.  Each instance of #$AbstractInformationStructure is an abstract individual comprising abstract symbols and relations between them. Important specializations of this collection include #$CharacterString and #$Sentence. #$AbstractInformationStructure also includes abstract diagrams, graphs, and bit strings. The collection can be more precisely defined as follows: Each #$AbstractInformationStructure is such that each of its physical instantiations (see #$instantiationOfAIS) consists of instantiations of instances of #$AtomicSymbol-Abstract, arranged in a certain way. For example, the abstract sentence 'The pig flies' is an #$AbstractInformationStructure. Each written instantiation of it consists of an instantiation of the words (symbols) 'The', 'pig' and 'flies', written in that order. (If the #$AbstractInformationStructure 'The pig flies' were spoken, the same words would appear in the same order, i.e. 'The' first, etc., but the sequence would be determined by the arrangement of the spoken words in time, rather than space.) Likewise with abstract diagrams, graphs, etc. Each of these is such that its physical instantiations consist of arrangements of instantiations of instances of #$AtomicSymbol-Abstract. A hard copy of a wiring diagram consists of a group of concrete symbols representing various circuit components, in which these symbols are spatially arranged in a certain in way. The arrangement of the concrete symbols in an instantiation of an #$AbstractInformationStructure is not always a simple matter of arrangement in space or time. The sequence of symbols '0010010111011001' can be instantiated in written, spoken, or electronic forms. In the last case, the order of the symbols is determined by conventions concerning the electronic medium in which it is stored, rather than by any common criterion for precedence or subsequence in space or time.") 
(#$genls #$AbstractInformationStructure #$AbstractInformationalThing) 
(#$genls #$AbstractInformationStructure #$Individual) 
(#$isa #$AbstractInformationStructure #$Collection) 
(#$isa #$AbstractInformationStructure #$FirstOrderCollection) 
(#$comment #$AbstractProgrammingLanguage "A specialization of #$ComputerLanguage, #$AbstractProgrammingLanguage is the collection of languages invented for the purpose of composing computer programs (i.e., instances of #$ComputerProgram-CW), as opposed to merely facilitating interaction between pieces of software or indicating how to represent pieces of text. Thus, #$ComputerLanguages such as #$Lisp are instances of #$AbstractProgrammingLanguage, whereas #$ComputerLanguages such as #$HypertextMarkupLanguage are not.") 
(#$genls #$AbstractProgrammingLanguage #$ComputerLanguage) 
(#$genls #$AbstractProgrammingLanguage #$Individual) 
(#$isa #$AbstractProgrammingLanguage #$ConventionalClassificationType) 
(#$isa #$AbstractProgrammingLanguage #$ObjectType) 
(#$comment #$AbstractShapeType "A collection of collections. An instance SHAPE of #$ShapeType (q.v.) is also an instance of #$AbstractShapeType if and only if SHAPE is a specialization of #$GeometricThing-Abstract.  Since all of the instances of a given instance of #$AbstractShapeType are abstract, the collection #$AbstractShapeType is disjoint with #$GenericShapeType (q.v.), which is the collection of those collections that are instances of #$ShapeType, some of whose instances are abstract, and some of whose instances are localized  (note that there is no collection `LocalizedShapeType').") 
(#$disjointWith #$AbstractShapeType #$GenericShapeType) 
(#$genls #$AbstractShapeType #$ShapeType) 
(#$isa #$AbstractShapeType #$CollectionType) 
(#$isa #$AbstractShapeType #$SecondOrderCollection) 
(#$typeGenls #$AbstractShapeType #$GeometricThing-Abstract) 
(#$typeGenls #$AbstractShapeType #$GeometricThing-Abstract) 
(#$genls (#$AbstractShapeTypeFn #$Circle) #$Circle) 
(#$genls (#$AbstractShapeTypeFn #$CylinderShape) #$CylinderShape) 
(#$genls (#$AbstractShapeTypeFn #$Circle) #$GeometricallyDescribableThing) 
(#$genls (#$AbstractShapeTypeFn #$CylinderShape) #$GeometricallyDescribableThing) 
(#$genls (#$AbstractShapeTypeFn #$Rectangular3DShape) #$GeometricallyDescribableThing) 
(#$genls (#$AbstractShapeTypeFn #$Sphere) #$GeometricallyDescribableThing) 
(#$genls (#$AbstractShapeTypeFn #$Circle) #$GeometricThing-Abstract) 
(#$genls (#$AbstractShapeTypeFn #$CylinderShape) #$GeometricThing-Abstract) 
(#$genls (#$AbstractShapeTypeFn #$Rectangular3DShape) #$GeometricThing-Abstract) 
(#$genls (#$AbstractShapeTypeFn #$Sphere) #$GeometricThing-Abstract) 
(#$genls (#$AbstractShapeTypeFn #$Circle) #$Individual) 
(#$genls (#$AbstractShapeTypeFn #$CylinderShape) #$Individual) 
(#$genls (#$AbstractShapeTypeFn #$Rectangular3DShape) #$Individual) 
(#$genls (#$AbstractShapeTypeFn #$Sphere) #$Individual) 
(#$genls (#$AbstractShapeTypeFn #$Rectangular3DShape) #$Rectangular3DShape) 
(#$genls (#$AbstractShapeTypeFn #$Sphere) #$Sphere) 
(#$isa (#$AbstractShapeTypeFn #$Circle) #$AbstractShapeType) 
(#$isa (#$AbstractShapeTypeFn #$CylinderShape) #$AbstractShapeType) 
(#$isa (#$AbstractShapeTypeFn #$Rectangular3DShape) #$AbstractShapeType) 
(#$isa (#$AbstractShapeTypeFn #$Sphere) #$AbstractShapeType) 
(#$isa (#$AbstractShapeTypeFn #$Circle) #$ShapeType) 
(#$isa (#$AbstractShapeTypeFn #$CylinderShape) #$ShapeType) 
(#$isa (#$AbstractShapeTypeFn #$Rectangular3DShape) #$ShapeType) 
(#$isa (#$AbstractShapeTypeFn #$Sphere) #$ShapeType) 
(#$arg1Genl #$AbstractShapeTypeFn #$GeometricallyDescribableThing) 
(#$arg1Genl #$AbstractShapeTypeFn #$GeometricallyDescribableThing) 
(#$arg1Isa #$AbstractShapeTypeFn #$GenericShapeType) 
(#$arg1Isa #$AbstractShapeTypeFn #$GenericShapeType) 
(#$argGenl #$AbstractShapeTypeFn 1 #$GeometricallyDescribableThing) 
(#$argGenl #$AbstractShapeTypeFn 1 #$GeometricallyDescribableThing) 
(#$argGenl #$AbstractShapeTypeFn 1 #$GeometricallyDescribableThing) 
(#$argIsa #$AbstractShapeTypeFn 1 #$GenericShapeType) 
(#$argIsa #$AbstractShapeTypeFn 1 #$GenericShapeType) 
(#$argIsa #$AbstractShapeTypeFn 1 #$GenericShapeType) 
(#$arity #$AbstractShapeTypeFn 1) 
(#$comment #$AbstractShapeTypeFn "An instance of #$CollectionDenotingFunction and #$UnaryIntersectionFunction.   This function returns an instance of #$AbstractShapeType (hence a specialization of #$GeometricThing-Abstract) when applied to specializations of #$GeometricallyDescribableThing that are instances of #$GenericShapeType. The range of this function includes collections of abstract circles, squares, cubes, lines, points and other objects that are traditionally studied in the field of pure geometry. Note that #$Circle is not a specialization of #$GeometricThing-Abstract, but of #$GeometricallyDescribableThing, so that the circles that are the objects of study of geometry are instances of (#$AbstractShapeTypeFn #$Circle).") 
(#$isa #$AbstractShapeTypeFn #$CollectionDenotingFunction) 
(#$isa #$AbstractShapeTypeFn #$CollectionDenotingFunction) 
(#$isa #$AbstractShapeTypeFn #$UnaryIntersectionFunction) 
(#$resultGenl #$AbstractShapeTypeFn #$GeometricallyDescribableThing) 
(#$resultGenl #$AbstractShapeTypeFn #$GeometricallyDescribableThing) 
(#$resultGenl #$AbstractShapeTypeFn #$GeometricThing-Abstract) 
(#$resultGenl #$AbstractShapeTypeFn #$Individual) 
(#$resultGenlArg #$AbstractShapeTypeFn 1) 
(#$resultGenlArg #$AbstractShapeTypeFn 1) 
(#$resultIsa #$AbstractShapeTypeFn #$AbstractShapeType) 
(#$resultIsa #$AbstractShapeTypeFn #$ShapeType) 
(#$comment #$AcademicOrganizationVocabularyMt "The #$VocabularyMicrotheory for #$AcademicOrganizationMt.") 
(#$genlMt #$AcademicOrganizationVocabularyMt #$BaseKB) 
(#$genlMt #$AcademicOrganizationVocabularyMt #$HumanSocialLifeMt) 
(#$isa #$AcademicOrganizationVocabularyMt #$VocabularyMicrotheory) 
(#$comment #$AcademicProfessional "A subcollection of #$PersonWithOccupation.  Each instance of #$AcademicProfessional is a person whose job is to educate and/or  perform research as an affiliate of an academic institution.  This includes members of the teaching and/or research staffs of schools, colleges, universities, and research institutes.") 
(#$genls #$AcademicProfessional #$Individual) 
(#$genls #$AcademicProfessional #$PersonWithOccupation) 
(#$isa #$AcademicProfessional #$PersonTypeByOccupation) 
(#$siblingDisjointExceptions #$AcademicProfessional #$Scientist) 
(#$comment #$AcademicQuarter "Each instance of this collection is a #$TimeInterval defined by some educational institution: one quarter of their #$AcademicYear.  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.") 
(#$disjointWith #$AcademicQuarter #$TimePoint) 
(#$genls #$AcademicQuarter #$Individual) 
(#$genls #$AcademicQuarter #$TimeInterval) 
(#$isa #$AcademicQuarter #$TemporalObjectType) 
(#$comment #$AcademicSemester "A specialization of #$TimeInterval.  Each instance of #$AcademicSemester is one of two semesters in some educational institution's academic year (see the collection #$AcademicYear). Instances of #$AcademicSemester include Boston University's 1989 Spring Semester and the University of Texas at Austin's 1998 Fall Semester.") 
(#$disjointWith #$AcademicSemester #$AcademicYear) 
(#$disjointWith #$AcademicSemester #$CalendarHalfCentury) 
(#$disjointWith #$AcademicSemester #$CalendarYear) 
(#$disjointWith #$AcademicSemester #$FiscalYear) 
(#$genls #$AcademicSemester #$Individual) 
(#$genls #$AcademicSemester #$TimeInterval) 
(#$isa #$AcademicSemester #$TemporalObjectType) 
(#$comment #$AcademicTrimester "Each instance of this collection is a #$TimeInterval defined by some educational institution: one third of their #$AcademicYear. 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.") 
(#$genls #$AcademicTrimester #$Individual) 
(#$genls #$AcademicTrimester #$TimeInterval) 
(#$isa #$AcademicTrimester #$TemporalObjectType) 
(#$comment #$AcademicYear "Each instance of this collection is an annually recurring #$TimeInterval 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.") 
(#$genls #$AcademicYear #$Individual) 
(#$genls #$AcademicYear #$TimeInterval) 
(#$isa #$AcademicYear #$TemporalObjectType) 
(#$comment #$Acceleration "Acceleration is the change in speed of an object per unit time.  It is a measurable physical quantity, measured in units such as MilesPerHourPerSecond.") 
(#$genls #$Acceleration #$Rate) 
(#$isa #$Acceleration #$AtemporalNecessarilyEssentialCollectionType) 
(#$isa #$Acceleration #$DerivedNumericScalarIntervalType) 
(#$arg1Isa #$accessibleFromInSystem #$Thing) 
(#$arg1Isa #$accessibleFromInSystem #$Thing) 
(#$arg2Isa #$accessibleFromInSystem #$Thing) 
(#$arg2Isa #$accessibleFromInSystem #$Thing) 
(#$arg3Isa #$accessibleFromInSystem #$Semi-DirectedPathSystem) 
(#$arg3Isa #$accessibleFromInSystem #$Semi-DirectedPathSystem) 
(#$argIsa #$accessibleFromInSystem 3 #$Semi-DirectedPathSystem) 
(#$argIsa #$accessibleFromInSystem 3 #$Semi-DirectedPathSystem) 
(#$argIsa #$accessibleFromInSystem 3 #$Semi-DirectedPathSystem) 
(#$argIsa #$accessibleFromInSystem 1 #$Thing) 
(#$argIsa #$accessibleFromInSystem 1 #$Thing) 
(#$argIsa #$accessibleFromInSystem 1 #$Thing) 
(#$argIsa #$accessibleFromInSystem 2 #$Thing) 
(#$argIsa #$accessibleFromInSystem 2 #$Thing) 
(#$argIsa #$accessibleFromInSystem 2 #$Thing) 
(#$arity #$accessibleFromInSystem 3) 
(#$comment #$accessibleFromInSystem "(#$accessibleFromInSystem X Y SYS) means that X is accessible from Y in the #$Semi-DirectedPathSystem SYS, which in turn means that either X = Y or there is a path PATH from Y to X in SYS, i.e., (#$pathFromToInSystem PATH Y X SYS) holds.  Note that if we fix a #$Semi-DirectedPathSystem SYS, the relation #$accessibleFromInSystem is reflexive and transitive (i.e., a quasi-order).  If we fix a #$BidirectedPathSystem SYS, this relation is an equivalence relation, the same as #$connectedInSystem.") 
(#$genlPreds #$accessibleFromInSystem #$connectedInSystem) 
(#$isa #$accessibleFromInSystem #$PathSystemCycLConstant) 
(#$isa #$accessibleFromInSystem #$TernaryPredicate) 
(#$comment #$AccessingAnIBT "A specialization of both #$InformationTransferEvent and #$PurposefulAction.  Each instance of #$AccessingAnIBT is an action by which an agent accesses the content of some instance(s) of #$InformationBearingThing.  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 one on, or hearing one's roommate ask one to take out the trash.") 
(#$genls #$AccessingAnIBT #$Individual) 
(#$genls #$AccessingAnIBT #$InformationTransferEvent) 
(#$genls #$AccessingAnIBT #$PurposefulAction) 
(#$genls #$AccessingAnIBT #$TransferIn) 
(#$isa #$AccessingAnIBT #$DefaultDisjointScriptType) 
(#$isa #$AccessingAnIBT #$TemporalObjectType) 
(#$siblingDisjointExceptions #$AccessingAnIBT #$BodyMovementEvent) 
(#$siblingDisjointExceptions #$AccessingAnIBT #$GenerationOrConversionEvent) 
(#$siblingDisjointExceptions #$AccessingAnIBT #$Hearing) 
(#$siblingDisjointExceptions #$AccessingAnIBT #$InformationGathering) 
(#$siblingDisjointExceptions #$AccessingAnIBT #$Talking) 
(#$siblingDisjointExceptions #$AccessingAnIBT #$Transaction) 
(#$comment #$AccessingScriptType "A collection of collections.  Each instance of #$AccessingScriptType is a type (i.e., a collection) of actions by which an agent may come to possess, or gain user rights to, some tangible thing.  Instances of #$AccessingScriptType include the collections #$Buying, #$Renting, and #$BorrowingSomething.") 
(#$disjointWith #$AccessingScriptType #$MicrotheoryType) 
(#$genls #$AccessingScriptType #$TemporalObjectType) 
(#$isa #$AccessingScriptType #$CollectionType) 
(#$isa #$AccessingScriptType #$CollectionType) 
(#$isa #$AccessingScriptType #$SecondOrderCollection) 
(#$isa #$AccessingScriptType #$SiblingDisjointCollectionType) 
(#$typeGenls #$AccessingScriptType #$GeneralizedTransfer) 
(#$comment #$AccessNumber "A specialization of #$PhoneNumber. Each instance of #$AccessNumber is a string that a user with #$Internet connections uses to connect to his/her #$InternetServiceProvider.") 
(#$genls #$AccessNumber #$List) 
(#$genls #$AccessNumber #$PhoneNumber) 
(#$isa #$AccessNumber #$IDStringType) 
(#$isa #$AccessNumber #$ObjectType) 
(#$comment #$Account "An instance of #$ObjectType and a specialization of #$LegalAgreement. Each instance of #$Account is a recorded obligation (of some particular type) between specified parties, consisting of \"funds\" (not necessarily monetary funds) which typically can be added to and drawn upon. Positive examples include instances of #$RetirementAccount, #$TravelExpenseAccount, and of the many types of #$FinancialAccount. Note that the contents of an account need not be monetary; for example, the contents may be amounts of time, as in the specializations #$VacationAccount and #$SickLeaveAccount. #$Account does not include debt obligations of fixed face value that cannot be increased or reduced (such as instances of #$Bond-Agreement).") 
(#$disjointWith #$Account #$Visa-Permit) 
(#$genls #$Account #$AuthorizedAgreement) 
(#$genls #$Account #$LegalAgreement) 
(#$genls #$Account #$PropositionalInformationThing) 
(#$isa #$Account #$AccountType) 
(#$isa #$Account #$TemporalStuffType) 
(#$arg1Format #$accountAdministrator #$openEntryFormatInArgs) 
(#$arg1Isa #$accountAdministrator #$Account) 
(#$arg1Isa #$accountAdministrator #$Account) 
(#$arg2Format #$accountAdministrator #$singleEntryFormatInArgs) 
(#$arg2Isa #$accountAdministrator #$Agent) 
(#$arg2Isa #$accountAdministrator #$Agent) 
(#$argFormat #$accountAdministrator 1 #$openEntryFormatInArgs) 
(#$argFormat #$accountAdministrator 2 #$singleEntryFormatInArgs) 
(#$argIsa #$accountAdministrator 1 #$Account) 
(#$argIsa #$accountAdministrator 1 #$Account) 
(#$argIsa #$accountAdministrator 1 #$Account) 
(#$argIsa #$accountAdministrator 2 #$Agent) 
(#$argIsa #$accountAdministrator 2 #$Agent) 
(#$argIsa #$accountAdministrator 2 #$Agent) 
(#$arity #$accountAdministrator 2) 
(#$comment #$accountAdministrator "The predicate #$accountAdministrator identifies the agent who administers a particular account (i.e. recorded
  obligation of some particular type between specified parties).  (#$accountAdministrator ACCT AGENT) means that the #$Account ACCT is administered by the individual or organization (often a bank) AGENT. See also #$AccountManager.") 
(#$functionalInArgs #$accountAdministrator 2) 
(#$genlInverse #$accountAdministrator #$usesObject) 
(#$genlPreds #$accountAdministrator #$temporallyIntersects) 
(#$isa #$accountAdministrator #$BinaryPredicate) 
(#$isa #$accountAdministrator #$FunctionalPredicate) 
(#$isa #$accountAdministrator #$IntangibleObjectPredicate) 
(#$negationPreds #$accountAdministrator #$accountHolder) 
(#$arg1Isa #$accountBalance #$FinancialAccount) 
(#$arg2Format #$accountBalance #$IntervalEntry) 
(#$arg2Isa #$accountBalance #$MonetaryValue) 
(#$argFormat #$accountBalance 2 #$IntervalEntry) 
(#$argIsa #$accountBalance 1 #$FinancialAccount) 
(#$argIsa #$accountBalance 1 #$FinancialAccount) 
(#$argIsa #$accountBalance 2 #$MonetaryValue) 
(#$argIsa #$accountBalance 2 #$MonetaryValue) 
(#$arity #$accountBalance 2) 
(#$comment #$accountBalance "The predicate #$accountBalance is used to indicate the balance of a particular account.  (#$accountBalance ACCT BAL) means that the #$FinancialAccount ACCT has the balance BAL; BAL is the amount of #$MonetaryValue either owed by, or available to, the #$accountHolder (depending upon the type of account).") 
(#$functionalInArgs #$accountBalance 2) 
(#$isa #$accountBalance #$BinaryPredicate) 
(#$isa #$accountBalance #$IntervalBasedQuantitySlot) 
(#$arg1Isa #$accountHolder #$Account) 
(#$arg1Isa #$accountHolder #$Account) 
(#$arg2Format #$accountHolder #$SetTheFormat) 
(#$arg2Isa #$accountHolder #$Agent) 
(#$arg2Isa #$accountHolder #$Agent) 
(#$argFormat #$accountHolder 2 #$SetTheFormat) 
(#$argIsa #$accountHolder 1 #$Account) 
(#$argIsa #$accountHolder 1 #$Account) 
(#$argIsa #$accountHolder 1 #$Account) 
(#$argIsa #$accountHolder 2 #$Agent) 
(#$argIsa #$accountHolder 2 #$Agent) 
(#$argIsa #$accountHolder 2 #$Agent) 
(#$arity #$accountHolder 2) 
(#$comment #$accountHolder "A binary predicate which relates instances of #$Agent to instances of #$Account.  (#$accountHolder ACCT AGENT) means that the account ACCT is held by the individual or organization AGENT; thus, money (or some other valuable such as vacation leave) is owed to or from AGENT in the amount shown in the account (see #$accountBalance), and can be added to or drawn upon.") 
(#$genlInverse #$accountHolder #$awareOf) 
(#$genlInverse #$accountHolder #$positiveVestedInterest) 
(#$isa #$accountHolder #$CotemporalObjectsSlot) 
(#$comment #$AccountSystem "#$AccountSystem is a specialization of #$ComputerNetwork.  Each instance of #$AccountSystem is a computational system which is such that users must log on to it to make use of it.  Instances  of #$AccountSystem can consist of one or many nodes (i.e. computers).  Each node in an #$AccountSystem shares a given set of accounts with any other nodes in that #$AccountSystem (such that someone with an account can log in at any node).  See also #$nodeInAccountSystem, #$accountForSystem, and #$ComputerAccount.") 
(#$genls #$AccountSystem #$ComputerNetwork) 
(#$genls #$AccountSystem #$Individual) 
(#$isa #$AccountSystem #$ExistingObjectType) 
(#$arg1Isa #$accountSystemOnNetwork #$AccountSystem) 
(#$arg1Isa #$accountSystemOnNetwork #$AccountSystem) 
(#$arg2Isa #$accountSystemOnNetwork #$ComputerNetwork) 
(#$arg2Isa #$accountSystemOnNetwork #$ComputerNetwork) 
(#$argIsa #$accountSystemOnNetwork 1 #$AccountSystem) 
(#$argIsa #$accountSystemOnNetwork 1 #$AccountSystem) 
(#$argIsa #$accountSystemOnNetwork 1 #$AccountSystem) 
(#$argIsa #$accountSystemOnNetwork 2 #$ComputerNetwork) 
(#$argIsa #$accountSystemOnNetwork 2 #$ComputerNetwork) 
(#$argIsa #$accountSystemOnNetwork 2 #$ComputerNetwork) 
(#$arity #$accountSystemOnNetwork 2) 
(#$comment #$accountSystemOnNetwork "A binary predicate that relates instances of #$AccountSystem to instances of #$ComputerNetwork.  (#$accountSystemOnNetwork SYSTEM NETWORK) means that SYSTEM is an instance of #$AccountSystem such that either (#$nodeInSystem SYSTEM NETWORK) holds or (#$subNetwork NETWORK SYSTEM) holds.") 
(#$genlPreds #$accountSystemOnNetwork #$temporallyIntersects) 
(#$isa #$accountSystemOnNetwork #$IrreflexiveBinaryPredicate) 
(#$comment #$AccountType "A collection of collections and a specialization of #$ObjectType.  Each instance of #$AccountType is a collection of financial accounts of the same type.  Instances of #$AccountType include #$SavingsAccount, #$CreditCardAccount, #$RetirementAccount, #$SocialSecurityAccount, and #$TravelExpenseAccount.") 
(#$genls #$AccountType #$ObjectType) 
(#$isa #$AccountType #$AtemporalNecessarilyEssentialCollectionType) 
(#$isa #$AccountType #$CollectionType) 
(#$isa #$AccountType #$CollectionType) 
(#$isa #$AccountType #$SecondOrderCollection) 
(#$isa #$AccountType #$SiblingDisjointCollectionType) 
(#$arg1Isa #$acknowledgedAct #$Acknowledging-CommunicationAct) 
(#$arg1Isa #$acknowledgedAct #$Acknowledging-CommunicationAct) 
(#$arg2Isa #$acknowledgedAct #$CommunicationAct-Single) 
(#$arg2Isa #$acknowledgedAct #$CommunicationAct-Single) 
(#$argIsa #$acknowledgedAct 1 #$Acknowledging-CommunicationAct) 
(#$argIsa #$acknowledgedAct 1 #$Acknowledging-CommunicationAct) 
(#$argIsa #$acknowledgedAct 1 #$Acknowledging-CommunicationAct) 
(#$argIsa #$acknowledgedAct 2 #$CommunicationAct-Single) 
(#$argIsa #$acknowledgedAct 2 #$CommunicationAct-Single) 
(#$argIsa #$acknowledgedAct 2 #$CommunicationAct-Single) 
(#$arity #$acknowledgedAct 2) 
(#$comment #$acknowledgedAct "(#$acknowledgedAct ACKACT COMACT) means that the #$CommunicationAct-Single COMACT is acknowledged and replied-to by the responsive #$Acknowledging-CommunicationAct 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 #$acknowledgementOf which refers to the abstract content of the communication.") 
(#$genlInverse #$acknowledgedAct #$postEvents) 
(#$genlPreds #$acknowledgedAct #$startsAfterStartingOf) 
(#$isa #$acknowledgedAct #$AntiTransitiveBinaryPredicate) 
(#$isa #$acknowledgedAct #$AsymmetricBinaryPredicate) 
(#$negationInverse #$acknowledgedAct #$acknowledgedAct) 
(#$relationAllExists #$acknowledgedAct #$Acknowledging-CommunicationAct #$CommunicationAct-Single) 
(#$comment #$Acknowledging-CommunicationAct "A specialization of #$CommunicationAct-Single.  Each instance of this collection is an action that conveys information to the effect that the performing agent has received some prior #$CommunicationAct-Single (which was performed by another agent).  An example is Joan saying, `I hear you' in response to Bette's exclaiming, `What  a dump!'") 
(#$genls #$Acknowledging-CommunicationAct #$CommunicationAct-Single) 
(#$genls #$Acknowledging-CommunicationAct #$Individual) 
(#$isa #$Acknowledging-CommunicationAct #$DefaultDisjointScriptType) 
(#$isa #$Acknowledging-CommunicationAct #$TemporalObjectType) 
(#$subEventTypes #$Acknowledging-CommunicationAct #$IBTGeneration-Original) 
(#$arg1Format #$acquaintedWith #$SetTheFormat) 
(#$arg1Isa #$acquaintedWith #$IndividualAgent) 
(#$arg1Isa #$acquaintedWith #$IndividualAgent) 
(#$arg2Format #$acquaintedWith #$SetTheFormat) 
(#$arg2Isa #$acquaintedWith #$IndividualAgent) 
(#$arg2Isa #$acquaintedWith #$IndividualAgent) 
(#$argFormat #$acquaintedWith 1 #$SetTheFormat) 
(#$argFormat #$acquaintedWith 2 #$SetTheFormat) 
(#$argIsa #$acquaintedWith 1 #$IndividualAgent) 
(#$argIsa #$acquaintedWith 1 #$IndividualAgent) 
(#$argIsa #$acquaintedWith 1 #$IndividualAgent) 
(#$argIsa #$acquaintedWith 2 #$IndividualAgent) 
(#$argIsa #$acquaintedWith 2 #$IndividualAgent) 
(#$argIsa #$acquaintedWith 2 #$IndividualAgent) 
(#$arity #$acquaintedWith 2) 
(#$comment #$acquaintedWith "This predicate relates an agent to other agents with whom s/he is acquainted. (#$acquaintedWith AGENT1 AGENT2) means that AGENT1 is acquainted with AGENT2 in the sense that AGENT1 has met, has knowingly come into physical contact with, or has knowingly communicated (bi-directionally) with AGENT2.  Typically, this means that AGENT1 is aware of some facts about AGENT2 and can recognize AGENT2 by appearance, voice, or some other physical characteristic.  Note that #$acquaintedWith is _not_ symmetric: it is possible for AGENT1 to be #$acquaintedWith AGENT2 and not vice versa.  This would be the case (e.g.) if AGENT2 is nonsentient (cf. #$SentientAnimal) or comatose, and thus incapable of recognizing AGENT1.  Another (arguable) example of asymmetric acquaintance is where AGENT1 is \"introduced\" to AGENT2 while (the former is) in disguise and using a faked identity.") 
(#$genlInverseWRTTypes #$acquaintedWith #$acquaintedWith #$IntelligentAgent #$IntelligentAgent) 
(#$genlPreds #$acquaintedWith #$awareOf) 
(#$genlPreds #$acquaintedWith #$temporallyIntersects) 
(#$isa #$acquaintedWith #$BinaryPredicate) 
(#$isa #$acquaintedWith #$CotemporalObjectsSlot) 
(#$isa #$acquaintedWith #$ReflexiveBinaryPredicate) 
(#$comment #$Action "The collection of #$Events (q.v.) that are carried out by some \"doer\" (see #$doneBy).  Instances of #$Action include any event in which one or more actors effect some change in the (tangible or intangible) state of the world, typically by an expenditure of effort or energy.  Note that it is not required that any tangible object be moved, changed, produced, or destroyed for an action to occur; the effects of an action might be intangible (such as a change in a bank balance or the intimidation of a subordinate).  Note also that the doer of an action, though typically an #$Agent (q.v.), need not be (e.g. a falling rock that dents a car's roof).  Depending upon the context, doers of actions might be animate or inanimate, conscious or nonconscious.  For actions that are intentional, see #$PurposefulAction and #$performedBy.") 
(#$genls #$Action #$Event) 
(#$genls #$Action #$Individual) 
(#$isa #$Action #$AnimalCapabilityType) 
(#$isa #$Action #$TemporalObjectType) 
(#$arg1Isa #$actionExpressesFeeling #$Action) 
(#$arg2Genl #$actionExpressesFeeling #$FeelingAttribute) 
(#$arg2Isa #$actionExpressesFeeling #$FeelingType) 
(#$argGenl #$actionExpressesFeeling 2 #$FeelingAttribute) 
(#$argGenl #$actionExpressesFeeling 2 #$FeelingAttribute) 
(#$argIsa #$actionExpressesFeeling 1 #$Action) 
(#$argIsa #$actionExpressesFeeling 1 #$Action) 
(#$argIsa #$actionExpressesFeeling 2 #$FeelingType) 
(#$argIsa #$actionExpressesFeeling 2 #$FeelingType) 
(#$arity #$actionExpressesFeeling 2) 
(#$comment #$actionExpressesFeeling "(#$actionExpressesFeeling ACT EMOTYPE) means that the particular action ACT actually 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. See also
 #$actionExpressesFeelingToward. If one wishes to make statements about tendencies rather than actual expressions, e.g. ``smiling tends to express
 happiness'', see #$actionTypeExpressesFeeling.") 
(#$isa #$actionExpressesFeeling #$BinaryPredicate) 
(#$comment #$ActionOnObject "A specialization of both #$Action and #$PhysicalEvent; the collection  of physical events in which some doer acts on an object.  Each instance  of #$ActionOnObject is an action in which both the roles of #$doneBy  and #$objectActedOn (qq.v.) are filled.  Examples include someone  typing on a keyboard and a tornado destroying a building.  Non-examples include a person dancing and wind blowing.") 
(#$genls #$ActionOnObject #$Action) 
(#$genls #$ActionOnObject #$Individual) 
(#$genls #$ActionOnObject #$PhysicalEvent) 
(#$isa #$ActionOnObject #$TemporalObjectType) 
(#$requiredArg1Pred #$ActionOnObject #$objectActedOn) 
(#$comment #$ActionPredicate "A specialization of #$EventPredicate (q.v.).  Each instance of #$ActionPredicate is a predicate used to make an assertion about an action performed intentionally by an agent.  The first argument to each instance of #$ActionPredicate will be the \"agentive force\" of the action, and the remaining arguments will be \"objects\" that the agentive force interacts with in some way.   The representation of actions in terms of #$ActionPredicates is an alternative to the Davidsonian-style representation of actions in which the \"participants\" in actions  are related to the reified individual actions in which they participate (for that alternative, see #$Role and #$ActorSlot).   Important specializations of #$ActionPredicate include #$SimpleActionPredicate and #$ComplexActionPredicate (qq.v.).") 
(#$genls #$ActionPredicate #$EventPredicate) 
(#$genls #$ActionPredicate #$Predicate) 
(#$isa #$ActionPredicate #$AtemporalNecessarilyEssentialCollectionType) 
(#$isa #$ActionPredicate #$PredicateCategory) 
(#$arg1Isa #$actionSequence #$List) 
(#$argIsa #$actionSequence 1 #$List) 
(#$argIsa #$actionSequence 1 #$List) 
(#$arity #$actionSequence 1) 
(#$comment #$actionSequence "(#$actionSequence (#$TheList FORM_1 FORM_2 ... FORM_n)) means that the actions described by the action formulas FORM_i were performed in the order indicated.  Each FORM_i should be an atomic formula whose predicate is an instance of #$ActionPredicate.") 
(#$genlPreds #$actionSequence #$eventSequence) 
(#$isa #$actionSequence #$UnaryPredicate) 
(#$comment #$ActivityTypeFocusGroup "#$ActivityTypeFocusGroup is a specialization of #$Organization.  Each instance of #$ActivityTypeFocusGroup is an organization which focuses on some type of activity, such as stamp collecting or sailing.") 
(#$disjointWith #$ActivityTypeFocusGroup #$Court-Judicial) 
(#$disjointWith #$ActivityTypeFocusGroup #$FinancialOrganization) 
(#$disjointWith #$ActivityTypeFocusGroup #$FoodAndBeverageOrganization) 
(#$disjointWith #$ActivityTypeFocusGroup #$InsuranceOrganization) 
(#$disjointWith #$ActivityTypeFocusGroup #$ManufacturingOrganization) 
(#$disjointWith #$ActivityTypeFocusGroup #$TransportationOrganization) 
(#$disjointWith #$ActivityTypeFocusGroup #$TravelOrganization) 
(#$genls #$ActivityTypeFocusGroup #$Individual) 
(#$genls #$ActivityTypeFocusGroup #$Organization) 
(#$isa #$ActivityTypeFocusGroup #$ExistingObjectType) 
(#$arg1Format #$actorPartsAffected #$SetTheFormat) 
(#$arg1Isa #$actorPartsAffected #$Event) 
(#$arg1Isa #$actorPartsAffected #$Event) 
(#$arg2Format #$actorPartsAffected #$SetTheFormat) 
(#$arg2Isa #$actorPartsAffected #$AnimalBodyPart) 
(#$arg2Isa #$actorPartsAffected #$AnimalBodyPart) 
(#$arg2Isa #$actorPartsAffected #$OrganismPart) 
(#$arg2Isa #$actorPartsAffected #$OrganismPart) 
(#$argFormat #$actorPartsAffected 1 #$SetTheFormat) 
(#$argFormat #$actorPartsAffected 2 #$SetTheFormat) 
(#$argIsa #$actorPartsAffected 2 #$AnimalBodyPart) 
(#$argIsa #$actorPartsAffected 2 #$AnimalBodyPart) 
(#$argIsa #$actorPartsAffected 2 #$AnimalBodyPart) 
(#$argIsa #$actorPartsAffected 1 #$Event) 
(#$argIsa #$actorPartsAffected 1 #$Event) 
(#$argIsa #$actorPartsAffected 1 #$Event) 
(#$argIsa #$actorPartsAffected 2 #$OrganismPart) 
(#$argIsa #$actorPartsAffected 2 #$OrganismPart) 
(#$argIsa #$actorPartsAffected 2 #$OrganismPart) 
(#$arity #$actorPartsAffected 2) 
(#$comment #$actorPartsAffected "(#$actorPartsAffected ACT PART) means that PART is an #$objectActedOn in ACT, and it is one of the #$anatomicalParts of the organism which is #$bodilyActedOn in ACT.  For example, during a man's morning shave, his #$Beard is an #$actorPartsAffected, 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.") 
(#$genlPreds #$actorPartsAffected #$nonDeliberateActors) 
(#$genlPreds #$actorPartsAffected #$objectActedOn) 
(#$isa #$actorPartsAffected #$ActorSlot) 
(#$relationAllExists #$actorPartsAffected #$Surgery #$AnimalBodyPart) 
(#$arg1Format #$actorPartsInvolved #$SetTheFormat) 
(#$arg1Isa #$actorPartsInvolved #$Event) 
(#$arg1Isa #$actorPartsInvolved #$Event) 
(#$arg2Format #$actorPartsInvolved #$SetTheFormat) 
(#$arg2Isa #$actorPartsInvolved #$OrganismPart) 
(#$arg2Isa #$actorPartsInvolved #$OrganismPart) 
(#$argFormat #$actorPartsInvolved 1 #$SetTheFormat) 
(#$argFormat #$actorPartsInvolved 2 #$SetTheFormat) 
(#$argIsa #$actorPartsInvolved 1 #$Event) 
(#$argIsa #$actorPartsInvolved 1 #$Event) 
(#$argIsa #$actorPartsInvolved 1 #$Event) 
(#$argIsa #$actorPartsInvolved 2 #$OrganismPart) 
(#$argIsa #$actorPartsInvolved 2 #$OrganismPart) 
(#$argIsa #$actorPartsInvolved 2 #$OrganismPart) 
(#$arity #$actorPartsInvolved 2) 
(#$comment #$actorPartsInvolved "(#$actorPartsInvolved ACT PART) means that PART is one of the parts (see the predicate #$anatomicalParts) of an organism that is playing an active role (see the predicate #$doneBy and its specializations) in the event ACT, and, moreover, that PART is somehow involved in the event ACT.  Some examples of #$actorPartsInvolved 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 a person's hair when that person is getting a haircut.  The hair is not an #$actorPartsInvolved, because the person is passive in that event; it is, however, an #$actorPartsAffected (q.v.) in that event.") 
(#$genlPreds #$actorPartsInvolved #$nonDeliberateActors) 
(#$genlPreds #$actorPartsInvolved #$preActors) 
(#$isa #$actorPartsInvolved #$ActorSlot) 
(#$relationAllExists #$actorPartsInvolved #$Hearing #$Ear) 
(#$relationAllExists #$actorPartsInvolved #$VisualPerception #$Eye) 
(#$relationAllExistsCount #$actorPartsInvolved #$DigestionEvent #$DigestiveSystem 1) 
(#$minimizeExtent #$actorPartsInvolved) 
(#$arg1Isa #$actors #$Event) 
(#$arg2Format #$actors #$SetTheFormat) 
(#$arg2Isa #$actors #$SomethingExisting) 
(#$argFormat #$actors 2 #$SetTheFormat) 
(#$argIsa #$actors 1 #$Event) 
(#$argIsa #$actors 1 #$Event) 
(#$argIsa #$actors 2 #$SomethingExisting) 
(#$argIsa #$actors 2 #$SomethingExisting) 
(#$arity #$actors 2) 
(#$comment #$actors "The most general instance of #$ActorSlot (q.v.): all other actor slots are specializations of this predicate.  Thus #$actors is a broad relation that holds between a given event and any contemporary existing thing (see #$SomethingExisting) that is meaningfully involved in the event. (#$actors EVENT ACTOR) means that ACTOR is somehow saliently (directly or indirectly) involved in EVENT during EVENT.  An object's merely being cotemporal (see #$cotemporal) with an event is obviously not sufficient for being an actor in it, nor is participating (however centrally) in a representation or re-enactment of the event.  But note that being an \"actor\" in the sense is _not_ restricted to things that play \"active\" (as opposed to passive or instrumental) roles   
 in a given event.") 
(#$genlPreds #$actors #$constituentInSituation) 
(#$genlPreds #$actors #$temporallyIntersects) 
(#$isa #$actors #$ActorSlot) 
(#$isa #$actors #$BinaryPredicate) 
(#$relationAllExists #$actors #$AtLeastPartiallyMentalEvent #$IntelligentAgent) 
(#$relationAllExists #$actors #$Event #$SomethingExisting) 
(#$relationAllExists #$actors #$Event #$SomethingExisting) 
(#$minimizeExtent #$actors) 
(#$comment #$ActorSlot "A collection of binary predicates; a specialization of #$Role.  Each instance of #$ActorSlot relates some instance of #$Event to a temporal thing involved in that event (here called a \"participant\", although the thing in question might not be playing an active role in the event).  The first argument of every instance of #$ActorSlot is constrained to be an instance of some specialization of #$Event, and the second argument is constrained to be an instance of some specialization of #$SomethingExisting.  All instances of #$ActorSlot have #$actors as their #$genlPreds, directly or indirectly, so that the actor slots form a kind of hierarchy.  Each specialized actor slot indicates _how_ its participant participates in the event, i.e., in what role (e.g., #$inputs, #$outputs, #$doneBy).  Actor slots are _not_ used to indicate the time of an 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.  Time and other quantities are relevant to events but are not instances of #$SomethingExisting; thus, they are related to events by some non-#$ActorSlot predicate.  Things which are remotely related to the event -- for instance, someone who is affected by the event but doesn't exist when the event occurs -- may be related using some instance of #$Role that does not belong to #$ActorSlot, such as #$affectedAgent.  See also #$Role.") 
(#$commonGenlPreds #$ActorSlot #$actors) 
(#$genls #$ActorSlot #$BinaryRolePredicate) 
(#$isa #$ActorSlot #$AtemporalNecessarilyEssentialCollectionType) 
(#$isa #$ActorSlot #$PredicateCategory) 
(#$comment #$ActorUseTypeSlot "Instances of #$ActorUseTypeSlot are actor slots which give information about the fate of the actor - whether it is destroyed, unchanged, temporarily changed, etc. Which #$ActorUseTypeSlot an actor appears on affects whether or not the same actor will act in the same role in the same kind of event in the future. ") 
(#$genls #$ActorUseTypeSlot #$ActorSlot) 
(#$isa #$ActorUseTypeSlot #$PredicateCategory) 
(#$comment #$ActsCommonlyConsideredCriminal "A collection of actions.  Instances of #$ActsCommonlyConsideredCriminal are actions which are commonly considered illegal, i.e., in most legal systems.  The primary purpose of this collection is to group together types of actions such as #$Murder and #$Stealing-Generic, which are almost universally considered criminal.  However, individual instances of this collection are not necessarily instances of #$CriminalAct in every context or under every #$GovernmentCOC.") 
(#$genls #$ActsCommonlyConsideredCriminal #$HumanActivity) 
(#$genls #$ActsCommonlyConsideredCriminal #$Individual) 
(#$isa #$ActsCommonlyConsideredCriminal #$FirstOrderCollection) 
(#$keWeakSuggestionPreds #$ActsCommonlyConsideredCriminal #$maleficiary) 
(#$comment #$Address-LocationDesignator "A specialization of #$ContactInfoString.  Each instance of #$Address-LocationDesignator is a string that describes the relatively permanent location of an individual or organization.  For example: \"President Bill Clinton, White House, 1600 Pennsylvania Avenue, Washington, DC\".  Addresses that provide an address suitable for delivery of mail are instances of the specialization, #$MailingAddress.") 
(#$genls #$Address-LocationDesignator #$ContactInfoString) 
(#$genls #$Address-LocationDesignator #$List) 
(#$isa #$Address-LocationDesignator #$ObjectType) 
(#$arg1Isa #$addressText #$ContactLocation) 
(#$arg1Isa #$addressText #$ContactLocation) 
(#$arg2Isa #$addressText #$Address-LocationDesignator) 
(#$argIsa #$addressText 2 #$Address-LocationDesignator) 
(#$argIsa #$addressText 2 #$Address-LocationDesignator) 
(#$argIsa #$addressText 1 #$ContactLocation) 
(#$argIsa #$addressText 1 #$ContactLocation) 
(#$argIsa #$addressText 1 #$ContactLocation) 
(#$arity #$addressText 2) 
(#$comment #$addressText "The predicate #$addressText relates an instance of #$ContactLocation to an instance of #$Address-LocationDesignator. (#$addressText LOC ADDRESS) means that the #$ContactLocation LOC has the  #$Address-LocationDesignator ADDRESS.") 
(#$isa #$addressText #$FunctionalSlot) 
(#$arg1Format #$adjacentPathsAtJunction #$SetTheFormat) 
(#$arg1Isa #$adjacentPathsAtJunction #$JunctionOfPaths) 
(#$arg1Isa #$adjacentPathsAtJunction #$JunctionOfPaths) 
(#$arg2Format #$adjacentPathsAtJunction #$SetTheFormat) 
(#$arg2Isa #$adjacentPathsAtJunction #$Path-Generic) 
(#$arg2Isa #$adjacentPathsAtJunction #$Path-Generic) 
(#$argFormat #$adjacentPathsAtJunction 1 #$SetTheFormat) 
(#$argFormat #$adjacentPathsAtJunction 2 #$SetTheFormat) 
(#$argIsa #$adjacentPathsAtJunction 1 #$JunctionOfPaths) 
(#$argIsa #$adjacentPathsAtJunction 1 #$JunctionOfPaths) 
(#$argIsa #$adjacentPathsAtJunction 1 #$JunctionOfPaths) 
(#$argIsa #$adjacentPathsAtJunction 2 #$Path-Generic) 
(#$argIsa #$adjacentPathsAtJunction 2 #$Path-Generic) 
(#$argIsa #$adjacentPathsAtJunction 2 #$Path-Generic) 
(#$arity #$adjacentPathsAtJunction 2) 
(#$comment #$adjacentPathsAtJunction "(adjacentPathsAtJunction JUNCT PATH) means that the #$JunctionOfPaths JUNCT has PATH as one of the paths (instances of #$Path-Generic) joining it.  A junction may connect many paths (it must connect at least three distinct paths), and a path may pass through many junctions, and may end at a junction.  Examples: all the streets meeting at a certain #$Intersection-Street, the particular #$Trachea and both primary bronchi meeting at the #$TracheobronchialJunction between a certain person's #$Lungs, and three #$LongitudeLines intersecting at the #$SouthPole.  Neither PATH nor JUNCTION need be instances of #$PartiallyTangible, #$TemporalThing, or #$SpatialThing; however if PATH is, JUNCTION must also be.") 
(#$interArgIsa2-1 #$adjacentPathsAtJunction #$PartiallyTangible #$PartiallyTangible) 
(#$interArgIsa2-1 #$adjacentPathsAtJunction #$SpatialThing #$SpatialThing) 
(#$interArgIsa2-1 #$adjacentPathsAtJunction #$TemporalThing #$TemporalThing) 
(#$isa #$adjacentPathsAtJunction #$AsymmetricBinaryPredicate) 
(#$isa #$adjacentPathsAtJunction #$CustomaryPathCycLConstant) 
(#$negationInverse #$adjacentPathsAtJunction #$adjacentPathsAtJunction) 
(#$negationInverse #$adjacentPathsAtJunction #$adjacentPathsAtJunction) 
(#$arg1Format #$adjacentTo #$SetTheFormat) 
(#$arg1Isa #$adjacentTo #$SpatialThing) 
(#$arg1Isa #$adjacentTo #$SpatialThing) 
(#$arg2Format #$adjacentTo #$SetTheFormat) 
(#$arg2Isa #$adjacentTo #$SpatialThing) 
(#$arg2Isa #$adjacentTo #$SpatialThing) 
(#$argFormat #$adjacentTo 1 #$SetTheFormat) 
(#$argFormat #$adjacentTo 2 #$SetTheFormat) 
(#$argIsa #$adjacentTo 1 #$SpatialThing) 
(#$argIsa #$adjacentTo 1 #$SpatialThing) 
(#$argIsa #$adjacentTo 1 #$SpatialThing) 
(#$argIsa #$adjacentTo 2 #$SpatialThing) 
(#$argIsa #$adjacentTo 2 #$SpatialThing) 
(#$argIsa #$adjacentTo 2 #$SpatialThing) 
(#$arity #$adjacentTo 2) 
(#$comment #$adjacentTo "(#$adjacentTo OBJ1 OBJ2) means that OBJ1 and OBJ2 are touching, and that their region of contact is (at least for practical purposes, relative to the objects' dimensions and shapes) a line (i.e. the contact region is not a point, though the \"line\" of contact might actually have some height).   Moreover, OBJ1 is neither mostly above nor mostly below OBJ2.  Positive examples: adjacent squares on a chessboard, bordering countries, a connected pair of puzzle pieces.  Negative examples: diagonally touching squares on a chessboard, a geographical region and the air directly above it, one block stacked on top of another.") 
(#$genlInverse #$adjacentTo #$adjacentTo) 
(#$genlInverse #$adjacentTo #$adjacentTo) 
(#$genlPreds #$adjacentTo #$touches) 
(#$isa #$adjacentTo #$CotemporalObjectsSlot) 
(#$isa #$adjacentTo #$PhysicalFeatureDescribingPredicate) 
(#$isa #$adjacentTo #$SpatialPredicate) 
(#$isa #$adjacentTo #$SymmetricBinaryPredicate) 
(#$negationInverse #$adjacentTo #$above-Generally) 
(#$negationPreds #$adjacentTo #$above-Generally) 
(#$comment #$Adjective "The collecton of all adjectives. Adjectives are words which can modify nouns. Many adjectives have comparative and superlative forms. Example: `red'.") 
(#$genls #$Adjective #$Individual) 
(#$genls #$Adjective #$OpenClassWord) 
(#$isa #$Adjective #$SpeechPart) 
(#$comment #$AdministrativeStaffPerson "A specialization of #$DeskWorker.  Each instance of #$AdministrativeStaffPerson is a worker whose primary job responsibilities are administrative and/or managerial tasks.  Such jobs can be at any level in an organization's hierarchy, from receptionist/secretary to executive assistant to manager.") 
(#$genls #$AdministrativeStaffPerson #$DeskWorker) 
(#$genls #$AdministrativeStaffPerson #$Individual) 
(#$isa #$AdministrativeStaffPerson #$PersonTypeByOccupation) 
(#$isa #$AdministrativeStaffPerson #$PersonTypeByPositionInOrg) 
(#$comment #$Administrator "A specialization of #$AdministrativeStaffPerson.  Each instance of #$Administrator is an employee of an organization who is responsible for managing its organizational affairs.  Instances of #$Administrator may or may not also be required to manage people.  If so, then they are also #$Managers (q.v.).") 
(#$genls #$Administrator #$AdministrativeStaffPerson) 
(#$genls #$Administrator #$Individual) 
(#$isa #$Administrator #$PersonTypeByOccupation) 
(#$comment #$Admiration "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 #$FeelingTypes than #$Admiration are #$Wonder-Admiration, #$Adulation, #$Awe, etc. ") 
(#$genls #$Admiration #$Respect) 
(#$isa #$Admiration #$AtemporalNecessarilyEssentialCollectionType) 
(#$isa #$Admiration #$FeelingType) 
(#$arg1Genl #$admittedAllArgument #$Thing) 
(#$arg1Isa #$admittedAllArgument #$Collection) 
(#$arg2Isa #$admittedAllArgument #$NonNegativeInteger) 
(#$arg3Isa #$admittedAllArgument #$Relation) 
(#$argGenl #$admittedAllArgument 1 #$Thing) 
(#$argGenl #$admittedAllArgument 1 #$Thing) 
(#$argIsa #$admittedAllArgument 1 #$Collection) 
(#$argIsa #$admittedAllArgument 1 #$Collection) 
(#$argIsa #$admittedAllArgument 2 #$NonNegativeInteger) 
(#$argIsa #$admittedAllArgument 2 #$NonNegativeInteger) 
(#$argIsa #$admittedAllArgument 3 #$Relation) 
(#$argIsa #$admittedAllArgument 3 #$Relation) 
(#$arity #$admittedAllArgument 3) 
(#$comment #$admittedAllArgument "This predicate is used to state that the instances of a given collection each meet the argument-type constraints on a given argument-place of a given relation. (#$admittedAllArgument COL ARGNUM RELN) means that the instances of COL satisfy all of the (single-argument) argument-type constraints (see #$ArgIsaPredicate and #$ArgGenlPredicate) for the ARGNUMth argument position of RELN.  For example, (#$admittedAllArgument #$FemalePerson 1 #$spouse) and (#$admittedAllArgument #$PersonTypeByActivity 1 #$JuvenileFn) both hold.  See also #$admittedArgument.") 
(#$isa #$admittedAllArgument #$CoreConstant) 
(#$isa #$admittedAllArgument #$MetaRelation) 
(#$isa #$admittedAllArgument #$TernaryPredicate) 
(#$arg1Format #$admittedArgument #$openEntryFormatInArgs) 
(#$arg1Isa #$admittedArgument #$Thing) 
(#$arg2Format #$admittedArgument #$openEntryFormatInArgs) 
(#$arg2Isa #$admittedArgument #$NonNegativeInteger) 
(#$arg3Format #$admittedArgument #$openEntryFormatInArgs) 
(#$arg3Isa #$admittedArgument #$Relation) 
(#$argFormat #$admittedArgument 1 #$openEntryFormatInArgs) 
(#$argFormat #$admittedArgument 2 #$openEntryFormatInArgs) 
(#$argFormat #$admittedArgument 3 #$openEntryFormatInArgs) 
(#$argIsa #$admittedArgument 2 #$NonNegativeInteger) 
(#$argIsa #$admittedArgument 2 #$NonNegativeInteger) 
(#$argIsa #$admittedArgument 3 #$Relation) 
(#$argIsa #$admittedArgument 3 #$Relation) 
(#$argIsa #$admittedArgument 1 #$Thing) 
(#$argIsa #$admittedArgument 1 #$Thing) 
(#$arity #$admittedArgument 3) 
(#$comment #$admittedArgument "This predicate is used to state that a given thing meets the argument-type constraints on a given argument-place of a given relation. (#$admittedArgument THING ARGNUM RELN) means that THING satisfies all of the (single-argument) argument-type constraints (see #$ArgIsaPredicate and #$ArgGenlPredicate) for the ARGNUMth argument position of RELN.  For example, (#$admittedArgument #$AbrahamLincoln 1 #$wife) and (#$admittedArgument #$Cougar 1 #$JuvenileFn) both hold.  See also #$admittedSentence.") 
(#$isa #$admittedArgument #$CoreConstant) 
(#$isa #$admittedArgument #$MetaRelation) 
(#$isa #$admittedArgument #$TernaryPredicate) 
(#$completeExtentKnown #$admittedArgument) 
(#$arg1Isa #$admittedNAT #$CycLNonAtomicTerm) 
(#$argIsa #$admittedNAT 1 #$CycLNonAtomicTerm) 
(#$argIsa #$admittedNAT 1 #$CycLNonAtomicTerm) 
(#$arity #$admittedNAT 1) 
(#$comment #$admittedNAT "(#$admittedNAT NAT) states that NAT is a #$CycLNonAtomicTerm which is both syntactically and semantically well-formed wrt arg constraints.  For example, (#$admittedNAT (#$MotherFn #$Muffet)) is true precisely in those mts in which #$Muffet satisfies all the applicable arg1 constraints imposed by #$MotherFn.  See also #$admittedSentence.") 
(#$isa #$admittedNAT #$CoreConstant) 
(#$isa #$admittedNAT #$Relation) 
(#$isa #$admittedNAT #$UnaryPredicate) 
(#$arg1Isa #$admittedSentence #$ELSentence-Assertible) 
(#$argIsa #$admittedSentence 1 #$ELSentence-Assertible) 
(#$argIsa #$admittedSentence 1 #$ELSentence-Assertible) 
(#$arity #$admittedSentence 1) 
(#$comment #$admittedSentence "(#$admittedSentence SENTENCE) states that SENTENCE is a #$CycLSentence which is both syntactically and semantically well-formed with respect to argument constraints only.  For example, (#$admittedSentence (#$bordersOn #$Canada #$France)) is true in #$WorldGeographyDualistMt, but not in #$WorldGeographyMt, since #$Canada and #$France are known to be instances of #$GeographicalRegion in the former microtheory, but not in the latter microtheory.  See also #$admittedArgument.") 
(#$isa #$admittedSentence #$CoreConstant) 
(#$isa #$admittedSentence #$Relation) 
(#$isa #$admittedSentence #$UnaryPredicate) 
(#$negationPreds #$admittedSentence #$rejectedSentence) 
(#$genls #$Adulation #$Admiration) 
(#$isa #$Adulation #$AtemporalNecessarilyEssentialCollectionType) 
(#$isa #$Adulation #$FeelingType) 
(#$comment #$AdultAnimal "A specialization of #$Animal. The 
 collection of all adult animals (including adult humans):
 animals that are at least mature enough to bear offspring.
 Cf. #$JuvenileAnimal.") 
(#$disjointWith #$AdultAnimal #$JuvenileAnimal) 
(#$genls #$AdultAnimal #$Animal) 
(#$genls #$AdultAnimal #$AnimalBLO) 
(#$genls #$AdultAnimal #$Individual) 
(#$isa #$AdultAnimal #$AnimalTypeByMaturity) 
(#$isa #$AdultAnimal #$ExistingObjectType) 
(#$comment #$AdultFemalePerson "The collection of all women; i.e., #$Persons who are adult and female.") 
(#$genls #$AdultFemalePerson #$FemalePerson) 
(#$genls #$AdultFemalePerson #$HumanAdult) 
(#$isa #$AdultFemalePerson #$Collection) 
(#$isa #$AdultFemalePerson #$ExistingObjectType) 
(#$comment #$AdultMalePerson "The collection of all men, i.e., #$Persons who are adult and male.") 
(#$genls #$AdultMalePerson #$HumanAdult) 
(#$genls #$AdultMalePerson #$MalePerson) 
(#$isa #$AdultMalePerson #$Collection) 
(#$isa #$AdultMalePerson #$ExistingObjectType) 
(#$comment #$Adverb "The collection of all adverbs. Adverbs are words which can modify adverbs, verbs, or adjectives. Many adverbs are morphologically derived from adjectives. Example: `slowly'.") 
(#$genls #$Adverb #$Individual) 
(#$isa #$Adverb #$SpeechPart) 
(#$comment #$Advertising "A collection of #$CommunicationAct-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.") 
(#$genls #$Advertising #$BusinessEvent) 
(#$genls #$Advertising #$CommunicationAct-Single) 
(#$genls #$Advertising #$IBTGeneration) 
(#$genls #$Advertising #$Individual) 
(#$genls #$Advertising #$MarketingActivity) 
(#$isa #$Advertising #$TemporalObjectType) 
(#$subEventTypes #$Advertising #$IBTGeneration-Original) 
(#$comment #$AdvocacyOrganization "#$AdvocacyOrganization is a specialization of #$Organization.  Each instance of #$AdvocacyOrganization is an #$Organization that lobbies or engages in activities with the purpose of advocating a particular position on social, economic, political, environmental matters.  Many instances of #$IdeologicalOrganization are also instances of #$AdvocacyOrganization.  Examples of #$AdvocacyOrganization include #$AmericanAssociationOfRetiredPersons, #$SierraClub, #$AmericanMedicalAssociation, and #$StateBarOfTexas.") 
(#$genls #$AdvocacyOrganization #$Individual) 
(#$genls #$AdvocacyOrganization #$Organization) 
(#$isa #$AdvocacyOrganization #$ExistingObjectType) 
(#$isa #$AdvocacyOrganization #$OrganizationTypeByActivityType) 
(#$isa #$AFew-Quant #$PositiveIntegerExtent) 
(#$comment #$Affection "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 #$FeelingTypes than #$Affection are #$Love, #$Passion, etc.") 
(#$genls #$Affection #$GoodWill) 
(#$isa #$Affection #$AtemporalNecessarilyEssentialCollectionType) 
(#$isa #$Affection #$FeelingType) 
(#$arg1Format #$affiliatedWith #$SetTheFormat) 
(#$arg1Isa #$affiliatedWith #$Agent) 
(#$arg2Format #$affiliatedWith #$SetTheFormat) 
(#$arg2Isa #$affiliatedWith #$Agent) 
(#$argFormat #$affiliatedWith 1 #$SetTheFormat) 
(#$argFormat #$affiliatedWith 2 #$SetTheFormat) 
(#$argIsa #$affiliatedWith 1 #$Agent) 
(#$argIsa #$affiliatedWith 1 #$Agent) 
(#$argIsa #$affiliatedWith 2 #$Agent) 
(#$argIsa #$affiliatedWith 2 #$Agent) 
(#$arity #$affiliatedWith 2) 
(#$comment #$affiliatedWith "(#$affiliatedWith AGENT1 AGENT2) means that AGENT1 and AGENT2 are somehow affiliated.  This is a broad relation, involving at least the voluntary entry into an understood formal or semi-formal relationship, which entails certain rights and obligations, on the part of at least one of the affiliated agents.  For example, the agents might be business partners, kin, employer/employee, parent-company/subsidiary, or organization/member.") 
(#$genlInverse #$affiliatedWith #$affiliatedWith) 
(#$genlPreds #$affiliatedWith #$temporallyIntersects) 
(#$isa #$affiliatedWith #$BinaryPredicate) 
(#$isa #$affiliatedWith #$CotemporalObjectsSlot) 
(#$isa #$affiliatedWith #$IrreflexiveBinaryPredicate) 
(#$isa #$affiliatedWith #$SymmetricBinaryPredicate) 
(#$arg1Format #$after #$openEntryFormatInArgs) 
(#$arg1Isa #$after #$TimePoint) 
(#$arg2Format #$after #$openEntryFormatInArgs) 
(#$arg2Isa #$after #$TimePoint) 
(#$argFormat #$after 1 #$openEntryFormatInArgs) 
(#$argFormat #$after 2 #$openEntryFormatInArgs) 
(#$argIsa #$after 1 #$TimePoint) 
(#$argIsa #$after 1 #$TimePoint) 
(#$argIsa #$after 2 #$TimePoint) 
(#$argIsa #$after 2 #$TimePoint) 
(#$arity #$after 2) 
(#$comment #$after "A #$PrimitiveTemporalPredicate that relates two points in time.  (#$after LATER EARLIER) means #$TimePoint LATER is after (occurs later in time than) #$TimePoint EARLIER.") 
(#$genlPreds #$after #$startsAfterEndingOf) 
(#$isa #$after #$AsymmetricBinaryPredicate) 
(#$isa #$after #$ObjectPredicate) 
(#$isa #$after #$PrimitiveTemporalPredicate) 
(#$isa #$after #$TransitiveBinaryPredicate) 
(#$negationInverse #$after #$after) 
(#$negationPreds #$after #$temporalBoundsIntersect) 
(#$typedGenlPreds #$after #$startsAfterEndingOf) 
(#$arg1Isa #$afterAdding #$Predicate) 
(#$arg1Isa #$afterAdding #$Predicate) 
(#$arg2Format #$afterAdding #$SetTheFormat) 
(#$arg2Isa #$afterAdding #$SubLSymbol) 
(#$arg2Isa #$afterAdding #$SubLSymbol) 
(#$argFormat #$afterAdding 2 #$SetTheFormat) 
(#$argIsa #$afterAdding 1 #$Predicate) 
(#$argIsa #$afterAdding 1 #$Predicate) 
(#$argIsa #$afterAdding 1 #$Predicate) 
(#$argIsa #$afterAdding 2 #$SubLSymbol) 
(#$argIsa #$afterAdding 2 #$SubLSymbol) 
(#$argIsa #$afterAdding 2 #$SubLSymbol) 
(#$arity #$afterAdding 2) 
(#$arity #$afterAdding 2) 
(#$comment #$afterAdding "Whenever a source is added to a gaf use of a predicate, each of that predicate's #$afterAdding functions is called on that source.") 
(#$isa #$afterAdding #$BinaryPredicate) 
(#$isa #$afterAdding #$BookkeepingPredicate) 
(#$isa #$afterAdding #$CycInferenceDescriptorPredicate) 
(#$isa #$afterAdding #$InferenceRelatedBookkeepingPredicate) 
(#$isa #$afterAdding #$LogicalTruthImplementationConstant) 
(#$isa #$afterAdding #$PossibleDefinitionalPredicate) 
(#$isa #$afterAdding #$Predicate) 
(#$comment #$Afternoon "An #$Afternoon is the daily #$Event where the #$Sun moves from its `highest' position in the daily cycle and `sets' or becomes a #$MidnightSun, i.e from noon till #$Sunset or #$MidnightSun.  A #$Midday overlaps the start of an #$Afternoon, and an #$Evening is #$contiguousAfter an #$Afternoon (except when there is a #$MidnightSun in which case a #$Morning is contiguously after the #$Afternoon).  Each #$Afternoon is #$temporallyFinishedBy a #$Sunset or #$MidnightSun.") 
(#$genls #$Afternoon #$Individual) 
(#$genls #$Afternoon #$QualitativeTimeOfDay) 
(#$isa #$Afternoon #$TemporalObjectType) 
(#$temporallySubsumes-TypeType #$Afternoon #$Sunset) 
(#$arg1Isa #$afterRemoving #$Predicate) 
(#$arg1Isa #$afterRemoving #$Predicate) 
(#$arg2Isa #$afterRemoving #$SubLSymbol) 
(#$arg2Isa #$afterRemoving #$SubLSymbol) 
(#$argIsa #$afterRemoving 1 #$Predicate) 
(#$argIsa #$afterRemoving 1 #$Predicate) 
(#$argIsa #$afterRemoving 1 #$Predicate) 
(#$argIsa #$afterRemoving 2 #$SubLSymbol) 
(#$argIsa #$afterRemoving 2 #$SubLSymbol) 
(#$argIsa #$afterRemoving 2 #$SubLSymbol) 
(#$arity #$afterRemoving 2) 
(#$arity #$afterRemoving 2) 
(#$comment #$afterRemoving "Whenever a source is removed from a gaf use of a predicate, each of that predicate's #$afterRemoving functions is called on that source.") 
(#$isa #$afterRemoving #$BinaryPredicate) 
(#$isa #$afterRemoving #$BookkeepingPredicate) 
(#$isa #$afterRemoving #$CycInferenceDescriptorPredicate) 
(#$isa #$afterRemoving #$InferenceRelatedBookkeepingPredicate) 
(#$isa #$afterRemoving #$LogicalTruthImplementationConstant) 
(#$isa #$afterRemoving #$Predicate) 
(#$arg1Format #$age #$SetTheFormat) 
(#$arg1Isa #$age #$SomethingExisting) 
(#$arg2Format #$age #$IntervalEntry) 
(#$arg2Isa #$age #$Time-Quantity) 
(#$argFormat #$age 2 #$IntervalEntry) 
(#$argFormat #$age 1 #$SetTheFormat) 
(#$argIsa #$age 1 #$SomethingExisting) 
(#$argIsa #$age 1 #$SomethingExisting) 
(#$argIsa #$age 2 #$Time-Quantity) 
(#$argIsa #$age 2 #$Time-Quantity) 
(#$arity #$age 2) 
(#$comment #$age "This predicate relates an existing thing to its current age, expressed as a quantity of time (see #$Time-Quantity).  (#$age THING AMOUNT-OF-TIME) means that THING has been in existence for a total of AMOUNT-OF-TIME.  THING can be a person, a galaxy, or any other existing thing (see #$SomethingExisting).  Note, however, that the truth-value of a sentence about the age of something is dependent upon the temporal context in which the sentence is used.  For example, in most contexts (see #$Microtheory) it would be a mistake to assert (#$age AlbertEinstein (#$YearsDuration 50)), because that sentence is only true in contexts restricted to the year-long interval in which Einstein had that age.  So the above sentence should only be asserted in a microtheory that is temporally qualified to that year (roughly 1929) or some part or it.  Alternatively, one can temporally qualify the sentence itself using #$holdsIn (q.v.).  Thus  
 (#$holdsIn (#$QuarterFn 2 (#$YearFn 1929)) (#$age AlbertEinstein (#$YearsDuration 50)), which means that Einstein is a 50-year-old during the entire second quarter of 1929, is true -- regardless of the temporal context.") 
(#$functionalInArgs #$age 2) 
(#$isa #$age #$BinaryPredicate) 
(#$isa #$age #$IntervalBasedQuantitySlot) 
(#$comment #$Agent "The collection of #$Agent-Generics (q.v.) that are not tangible artifacts (cf. #$AgentiveArtifact).  #$Agent includes all naturally-occurring agents (e.g. #$Persons and #$Animals), any #$SupernaturalBeings (q.v.), and #$Organizations.") 
(#$disjointWith #$Agent #$Artifact) 
(#$disjointWith #$Agent #$FluidTangibleThing) 
(#$disjointWith #$Agent #$InorganicStuff) 
(#$genls #$Agent #$Agent-Generic) 
(#$genls #$Agent #$CompositeTangibleAndIntangibleObject) 
(#$genls #$Agent #$Individual) 
(#$isa #$Agent #$ExistingObjectType) 
(#$comment #$Agent-Generic "A specialization of #$SomethingExisting.  Each instance of #$Agent-Generic is a being that has desires and intentions, and the ability to act on those desires and intentions.  Instances of #$Agent-Generic may be individuals (see the specialization #$IndividualAgent) or they may consist of several #$Agent-Generics operating together (see the specialization #$MultiIndividualAgent).  Notable specializations of #$Agent-Generic include #$Agent and #$AgentiveArtifact.") 
(#$disjointWith #$Agent-Generic #$Corner-2or3d) 
(#$disjointWith #$Agent-Generic #$OrganismPart) 
(#$disjointWith #$Agent-Generic #$Place-NonAgent) 
(#$disjointWith #$Agent-Generic (#$FoodOrDrinkForFn #$Person)) 
(#$genls #$Agent-Generic #$Individual) 
(#$genls #$Agent-Generic #$PartiallyIntangibleIndividual) 
(#$genls #$Agent-Generic #$SomethingExisting) 
(#$genls #$Agent-Generic (#$CollectionUnionFn (#$TheSet #$Agent-Generic (#$GroupFn #$Agent-Generic)))) 
(#$genls #$Agent-Generic (#$CollectionUnionFn (#$TheSet #$InformationBearingThing #$Agent-Generic))) 
(#$isa #$Agent-Generic #$ExistingObjectType) 
(#$partitionedInto #$Agent-Generic (#$ThePartition #$IndividualAgent #$MultiIndividualAgent)) 
(#$comment #$AgentGMt "The #$Microtheory that defines the concept of #$Agent and properties of agents.") 
(#$genlMt #$AgentGMt #$AgentGVocabularyMt) 
(#$genlMt #$AgentGMt #$BaseKB) 
(#$genlMt #$AgentGMt #$BaseKB) 
(#$genlMt #$AgentGMt #$CapabilitiesMt) 
(#$genlMt #$AgentGMt #$MovementMt) 
(#$genlMt #$AgentGMt #$NaiveSpatialMt) 
(#$isa #$AgentGMt #$GeneralMicrotheory) 
(#$isa #$AgentGMt #$TheoryMicrotheory) 
(#$comment #$AgentGVocabularyMt "The #$VocabularyMicrotheory for #$AgentGMt.") 
(#$genlMt #$AgentGVocabularyMt #$BaseKB) 
(#$genlMt #$AgentGVocabularyMt #$CapabilitiesVocabularyMt) 
(#$genlMt #$AgentGVocabularyMt #$MovementVocabularyMt) 
(#$genlMt #$AgentGVocabularyMt #$NaiveSpatialVocabularyMt) 
(#$isa #$AgentGVocabularyMt #$VocabularyMicrotheory) 
(#$comment #$AgentiveArtifact "#$AgentiveArtifact is the collection of all artifacts (created by instances of #$Agent) that commonly possess (at least) the apparent ability to make decisions and commence actions more or less independently of those agents.  The distinction here is conventional; a certain functional sophistication possessed by instances of #$Artifact that are 'not really living agents' seems to mirror that possessed by 'living agents'.  This sense of agency derives from ability or function the artifact possesses, namely the ability to  commence actions, independently of agents, based on some internal calculation or deliberation.  Subcollections include #$SoftwareAgent and #$Enclave-Computer.") 
(#$genls #$AgentiveArtifact #$Agent-Generic) 
(#$genls #$AgentiveArtifact #$Artifact-Generic) 
(#$genls #$AgentiveArtifact #$Individual) 
(#$isa #$AgentiveArtifact #$ExistingObjectType) 
(#$comment #$AgentiveNoun "A specialization of #$DeVerbalNoun.  Each instance of #$AgentiveNoun is a noun in the agentive form.  Agentive nouns usually denote the `doer' or `performer' of some action, and often end in `-er' or `-or'. Example: `runner'.") 
(#$genls #$AgentiveNoun #$Individual) 
(#$isa #$AgentiveNoun #$SpeechPart) 
(#$comment #$AgentiveRole "A subcollection of #$ActorSlot.  Each instance ROLE of #$AgentiveRole must be an #$ActorSlot that satisfies the following conditions: (i) ROLE specifies what an agent does (in the strict sense) in an #$Event rather than describing what happens to the agent in the #$Event.  That is to say, (ROLE AGT EVENT), when true, must describe agency rather than a mere happening.  Thus, each #$ActorSlot that does not describe agency, such as #$objectActedOn, #$victim, #$instrument-Generic, #$bodilyDoer, #$fromLocation and #$motionPathway-Partial etc., is not an instance of #$AgentiveRole.  (ii) ROLE must be specific enough to distinguish itself from other instances of #$AgentiveRole. This means, roughly, that if SLOT is a generalization of both SLOT1 and SLOT2, where SLOT1 is different from SLOT2, then SLOT is not an instance of #$AgentiveRole if both SLOT1 and SLOT2 are.  Thus, #$interviewee is an instance of #$AgentiveRole while #$socialParticipants is not.") 
(#$genls #$AgentiveRole #$ActorSlot) 
(#$isa #$AgentiveRole #$PredicateCategory) 
(#$comment #$AgentPredicate "A collection of predicates that are used to ascribe characteristics or properties (taken in a very broad sense) to individual agents.  As such, each instance of #$ObjectPredicate has an #$arity of 2 or greater and has at least one argument place (often including the first) constrained (see #$argIsa) to instances of #$Agent-Generic or some subcollection thereof. Examples include #$likesAsFriend and #$beliefs.") 
(#$genls #$AgentPredicate #$ObjectPredicate) 
(#$isa #$AgentPredicate #$PredicateCategory) 
(#$sharedNotes #$AgentPredicate #$NoteAboutPredicateCategories) 
(#$comment #$AgentTypeByEmotionalState "A collection of collections of #$IntelligentAgents. Instances are collections of agents characterized by being in certain emotional state. Examples include #$Angry, #$Excited, and #$Hopeful.") 
(#$genls #$AgentTypeByEmotionalState #$FirstOrderCollection) 
(#$isa #$AgentTypeByEmotionalState #$CollectionType) 
(#$isa #$AgentTypeByEmotionalState #$SecondOrderCollection) 
(#$typeGenls #$AgentTypeByEmotionalState #$IntelligentAgent) 
(#$arg1Format #$agreeingAgents #$SetTheFormat) 
(#$arg1Isa #$agreeingAgents #$Agreement) 
(#$arg1Isa #$agreeingAgents #$Agreement) 
(#$arg2Format #$agreeingAgents #$SetTheFormat) 
(#$arg2Isa #$agreeingAgents #$Agent) 
(#$arg2Isa #$agreeingAgents #$Agent) 
(#$argFormat #$agreeingAgents 1 #$SetTheFormat) 
(#$argFormat #$agreeingAgents 2 #$SetTheFormat) 
(#$argIsa #$agreeingAgents 2 #$Agent) 
(#$argIsa #$agreeingAgents 2 #$Agent) 
(#$argIsa #$agreeingAgents 2 #$Agent) 
(#$argIsa #$agreeingAgents 1 #$Agreement) 
(#$argIsa #$agreeingAgents 1 #$Agreement) 
(#$argIsa #$agreeingAgents 1 #$Agreement) 
(#$arity #$agreeingAgents 2) 
(#$comment #$agreeingAgents "The predicate #$agreeingAgents relates a particular agreement to the agents who made, or who are making, the agreement.  (#$agreeingAgents AGREE PARTY) means that the #$Agreement AGREE has the #$Agent PARTY among its agreeing parties.  If an #$Agreement AGREE and an #$Agent PARTY are related via #$agreeingAgents, they may also be related by more specialized versions of #$agreeingAgents, such as #$agreeingBuyer or #$agreeingSeller, #$insuringAgent or #$policyHolder, #$employedAgent or #$employingAgent.  Note that if (#$agreeingAgents AGREE PARTY) holds, the #$Agent PARTY will be mentioned in the #$Agreement AGREE.") 
(#$genlInverse #$agreeingAgents #$vestedInterest) 
(#$genlPreds #$agreeingAgents #$propositionalInfoAbout) 
(#$interArgIsa1-2 #$agreeingAgents #$LegalAgreement #$LegalAgent) 
(#$isa #$agreeingAgents #$CotemporalObjectsSlot) 
(#$isa #$agreeingAgents #$InterActorSlot) 
(#$relationAllExistsMin #$agreeingAgents #$Agreement #$Agent 2) 
(#$sharedNotes #$agreeingAgents #$AgreementNote) 
(#$comment #$Agreement "A specialization of #$PropositionalInformationThing and #$Artifact-Intangible. Each instance of this collection involves two or more parties who agree that certain propositions (which correspond to a small #$Microtheory -- see the shared note #$AgreementNote) should be true. Making the propositions true may require some action or commitment of resources on the part of one or more of the #$agreeingAgents. Thus, instances of #$Agreement will usually involve some instances of #$Obligation. Instances of #$Agreement and #$Obligation differ, however, in that an #$obligatedAgent is responsible for the truth of all of the propositions over which the obligation holds. In an #$Agreement some agents may not be so responsible. For example, in a loan agreement, the borrower agrees to give the lender back the money, but the borrower is the only #$obligatedAgent for the repayment. Note that #$obligatedAgents need not be among the #$agreeingAgents in the agreement that involves or generates the obligation. Moreover, #$agreeingAgents aren't always #$obligatedAgents; e.g., Wanda and Paul may agree that Paul alone is obligated to do some task. Notable specializations of #$Agreement include #$PeaceAccord, #$LegalAgreement, #$InformalAgreement, #$BusinessPartnershipAgreement, #$WorkAgreement, #$MaintenanceAgreement, #$Reservation and #$Appointment. For assertions about what is \"supposed to be\" true, given some #$Agreement, see #$ist-Agreement.") 
(#$disjointWith #$Agreement #$Proposal) 
(#$genls #$Agreement #$Artifact-Intangible) 
(#$genls #$Agreement #$IntangibleExistingThing) 
(#$genls #$Agreement #$PropositionalInformationThing) 
(#$genls #$Agreement #$SupposedToBeMicrotheory) 
(#$isa #$Agreement #$ObjectType) 
(#$sharedNotes #$Agreement #$AgreementNote) 
(#$arg1Isa #$agreementForbids #$Agreement) 
(#$arg1Isa #$agreementForbids #$Agreement) 
(#$arg2Isa #$agreementForbids #$Agent) 
(#$arg2Isa #$agreementForbids #$Agent) 
(#$arg3Genl #$agreementForbids #$Event) 
(#$arg3Genl #$agreementForbids #$Event) 
(#$arg3Isa #$agreementForbids #$Collection) 
(#$arg3Isa #$agreementForbids #$Collection) 
(#$arg4Isa #$agreementForbids #$Role) 
(#$arg4Isa #$agreementForbids #$Role) 
(#$argGenl #$agreementForbids 3 #$Event) 
(#$argGenl #$agreementForbids 3 #$Event) 
(#$argGenl #$agreementForbids 3 #$Event) 
(#$argIsa #$agreementForbids 2 #$Agent) 
(#$argIsa #$agreementForbids 2 #$Agent) 
(#$argIsa #$agreementForbids 2 #$Agent) 
(#$argIsa #$agreementForbids 1 #$Agreement) 
(#$argIsa #$agreementForbids 1 #$Agreement) 
(#$argIsa #$agreementForbids 1 #$Agreement) 
(#$argIsa #$agreementForbids 3 #$Collection) 
(#$argIsa #$agreementForbids 3 #$Collection) 
(#$argIsa #$agreementForbids 3 #$Collection) 
(#$argIsa #$agreementForbids 4 #$Role) 
(#$argIsa #$agreementForbids 4 #$Role) 
(#$argIsa #$agreementForbids 4 #$Role) 
(#$arity #$agreementForbids 4) 
(#$comment #$agreementForbids "This quaternary predicate is used to indicate a type of action that a particular agent is forbidden to play a particular role in under the terms of a particular agreement. (#$agreementForbids AGREEMENT AGENT ACTTYPE ROLE) means that AGREEMENT forbids AGENT to play ROLE in any instance of ACTTYPE.  For example, if a peace accord ACCORD forbids its signatories to wage war against one another, and SIGNER is one such signatory, then (#$agreementForbids ACCORD SIGNER #$WagingWar #$performedBy) holds.  Similarly, a business contract may forbid one agent to compete with another after s/he sells rights to a product, design, or practice to a second agent.") 
(#$interArgReln1-2 #$agreementForbids #$agreeingAgents) 
(#$isa #$agreementForbids #$QuaternaryPredicate) 
(#$sharedNotes #$agreementForbids #$AgreementNote) 
(#$transitiveViaArg #$agreementForbids #$genlPreds 4) 
(#$comment #$AgreementNote "Instances of #$Agreement (and of its specializations) 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 #$ELSentence-Assertible expressing something that was agreed upon in AGREEMENT. Other relevant vocabulary: (#$agreeingAgents AGREEMENT AGENT) means that AGENT is one of the parties agreeing to AGREEMENT. (#$subAgreements AGREEMENT1 AGREEMENT2) means that AGREEMENT2 is a part of (is included in) AGREEMENT1. (#$governedByAgreement ACTION AGREEMENT) means that ACTION is governed by the terms of AGREEMENT. (#$agreementForbids AGREEMENT AGENT ACTION-TYPE ROLE) means that AGREEMENT forbids AGENT to play ROLE in instances of ACTION-TYPE. (#$agreementPeriod AGREEMENT TIME) means that AGREEMENT is considered to be true during the time period TIME.") 
(#$isa #$AgreementNote #$List) 
(#$isa #$AgreementNote #$SharedNote) 
(#$arg1Isa #$agreementPeriod #$Agreement) 
(#$arg2Format #$agreementPeriod #$SingleEntry) 
(#$arg2Isa #$agreementPeriod #$TimeInterval) 
(#$argFormat #$agreementPeriod 2 #$SingleEntry) 
(#$argIsa #$agreementPeriod 1 #$Agreement) 
(#$argIsa #$agreementPeriod 1 #$Agreement) 
(#$argIsa #$agreementPeriod 2 #$TimeInterval) 
(#$argIsa #$agreementPeriod 2 #$TimeInterval) 
(#$arity #$agreementPeriod 2) 
(#$comment #$agreementPeriod "The predicate #$agreementPeriod is used to indicate the period of time during which a particular agreement is in force.  (#$agreementPeriod AGREE TIME) means that the #$Agreement AGREE holds during the #$TimeInterval TIME.  TIME may or may not begin at the moment that AGREE is created; e.g., a person may sign an employment contract on the very day she begins working or several weeks before, to begin on a specified future date.  An #$agreementPeriod could even begin before the agreement was made, e.g., when an agent agrees to pay disputed royalties retroactively.") 
(#$isa #$agreementPeriod #$StrictlyFunctionalSlot) 
(#$sharedNotes #$agreementPeriod #$AgreementNote) 
(#$strictlyFunctionalInArgs #$agreementPeriod 2) 
(#$arg1Format #$agreementRequires #$openEntryFormatInArgs) 
(#$arg1Isa #$agreementRequires #$Agreement) 
(#$arg1Isa #$agreementRequires #$Agreement) 
(#$arg2Format #$agreementRequires #$openEntryFormatInArgs) 
(#$arg2Isa #$agreementRequires #$Agent) 
(#$arg2Isa #$agreementRequires #$Agent) 
(#$arg3Format #$agreementRequires #$openEntryFormatInArgs) 
(#$arg3Genl #$agreementRequires #$Event) 
(#$arg3Genl #$agreementRequires #$Event) 
(#$arg3Isa #$agreementRequires #$Collection) 
(#$arg3Isa #$agreementRequires #$Collection) 
(#$arg4Format #$agreementRequires #$openEntryFormatInArgs) 
(#$arg4Isa #$agreementRequires #$Role) 
(#$arg4Isa #$agreementRequires #$Role) 
(#$argFormat #$agreementRequires 1 #$openEntryFormatInArgs) 
(#$argFormat #$agreementRequires 2 #$openEntryFormatInArgs) 
(#$argFormat #$agreementRequires 3 #$openEntryFormatInArgs) 
(#$argFormat #$agreementRequires 4 #$openEntryFormatInArgs) 
(#$argGenl #$agreementRequires 3 #$Event) 
(#$argGenl #$agreementRequires 3 #$Event) 
(#$argGenl #$agreementRequires 3 #$Event) 
(#$argIsa #$agreementRequires 2 #$Agent) 
(#$argIsa #$agreementRequires 2 #$Agent) 
(#$argIsa #$agreementRequires 2 #$Agent) 
(#$argIsa #$agreementRequires 1 #$Agreement) 
(#$argIsa #$agreementRequires 1 #$Agreement) 
(#$argIsa #$agreementRequires 1 #$Agreement) 
(#$argIsa #$agreementRequires 3 #$Collection) 
(#$argIsa #$agreementRequires 3 #$Collection) 
(#$argIsa #$agreementRequires 3 #$Collection) 
(#$argIsa #$agreementRequires 4 #$Role) 
(#$argIsa #$agreementRequires 4 #$Role) 
(#$argIsa #$agreementRequires 4 #$Role) 
(#$arity #$agreementRequires 4) 
(#$comment #$agreementRequires "This quaternary predicate is used to indicate that a particular agent is required to play a particular role in a particular kind of action under the terms of a particular agreement.   (#$agreementRequires AGREEMENT AGENT ACT-TYPE ROLE) means that the #$Agreement AGREEMENT specifies that the #$Agent AGENT is required to play the #$Role ROLE in some event that is an instance of the subcollection of #$Event ACT-TYPE.  For example, a peace accord #$agreementRequires the signatories to withdraw their troops behind specified boundaries.") 
(#$interArgReln1-2 #$agreementRequires #$agreeingAgents) 
(#$isa #$agreementRequires #$QuaternaryPredicate) 
(#$sharedNotes #$agreementRequires #$AgreementNote) 
(#$transitiveViaArg #$agreementRequires #$genlPreds 4) 
(#$comment #$AilmentCondition "The most general collection of ailment events; a subcollection of both #$PhysiologicalCondition and #$Malfunction.  An instance of #$AilmentCondition is a dynamic state of sickness, injury, or physiological impairment.  The rationale for construing ailments in this way is the obvious fact that to have an ailment is to undergo an event: an individual ailment has temporal features, it progresses dynamically, and so on.  It is not just a matter of being in some static state of \"unwellness\".  Subcollections of #$AilmentCondition include #$RespiratoryAilment, #$HeartCondition, #$Cancer, #$MotionSickness, #$Poisoning, #$Infection, and #$InjuryCondition.  If a particular person has an infection, that event is an instance of #$AilmentCondition.  An #$AilmentCondition does not begin before there is an actual, developed sickness or impairment, and thus does not include the event of getting sick or becoming impaired.  Also note that each type of ailment, such as #$Infection, is the collection of all \"cases\" or \"instances\" of individuals suffering from that condition.  See also #$DiseaseType.") 
(#$genls #$AilmentCondition #$Individual) 
(#$genls #$AilmentCondition #$Malfunction) 
(#$genls #$AilmentCondition #$PhysiologicalCondition) 
(#$isa #$AilmentCondition #$PhysiologicalConditionType) 
(#$keStrongSuggestionPreds #$AilmentCondition #$ailmentConditionAffects) 
(#$arg1Isa #$ailmentConditionAffects #$AilmentCondition) 
(#$arg2Isa #$ailmentConditionAffects #$Organism-Whole) 
(#$argIsa #$ailmentConditionAffects 1 #$AilmentCondition) 
(#$argIsa #$ailmentConditionAffects 1 #$AilmentCondition) 
(#$argIsa #$ailmentConditionAffects 2 #$Organism-Whole) 
(#$argIsa #$ailmentConditionAffects 2 #$Organism-Whole) 
(#$arity #$ailmentConditionAffects 2) 
(#$comment #$ailmentConditionAffects "(#$ailmentConditionAffects AILMENT ORGANISM) means that the #$Organism-Whole ORGANISM suffers from the #$AilmentCondition AILMENT.  See also #$ailmentTypeAffects.") 
(#$genlPreds #$ailmentConditionAffects #$maleficiary) 
(#$genlPreds #$ailmentConditionAffects #$physiologicalConditionAffects) 
(#$isa #$ailmentConditionAffects #$BinaryRolePredicate) 
(#$relationAllExists #$ailmentConditionAffects #$AilmentCondition #$PartiallyTangible) 
(#$typedGenlPreds #$ailmentConditionAffects #$maleficiary) 
(#$typedGenlPreds #$ailmentConditionAffects #$physiologicalConditionAffects) 
(#$comment #$AilmentMt "This #$TheoryMicrotheory is intended to be the most general microtheory for axiomatizing knowledge about ailment conditions and diseases (see #$AilmentCondition and its specs). It allows reference to microorganisms and rather general biological knowledge. For describing features of an ailment condition specific to human beings (#$Person), or if knowledge about human physiology is needed to support an assertion, consider using #$HumanAilmentMt.") 
(#$genlMt #$AilmentMt #$AilmentVocabularyMt) 
(#$genlMt #$AilmentMt #$BaseKB) 
(#$genlMt #$AilmentMt #$BaseKB) 
(#$genlMt #$AilmentMt #$EcologyMt) 
(#$genlMt #$AilmentMt #$MicrobiologyMt) 
(#$genlMt #$AilmentMt #$PerceptionMt) 
(#$genlMt #$AilmentMt #$VertebratePhysiologyMt) 
(#$isa #$AilmentMt #$GeneralMicrotheory) 
(#$isa #$AilmentMt #$TheoryMicrotheory) 
(#$comment #$AilmentVocabularyMt "The #$VocabularyMicrotheory for #$AilmentMt.") 
(#$genlMt #$AilmentVocabularyMt #$BaseKB) 
(#$genlMt #$AilmentVocabularyMt #$BaseKB) 
(#$genlMt #$AilmentVocabularyMt #$EcologyVocabularyMt) 
(#$genlMt #$AilmentVocabularyMt #$PerceptionVocabularyMt) 
(#$genlMt #$AilmentVocabularyMt #$VertebratePhysiologyVocabularyMt) 
(#$isa #$AilmentVocabularyMt #$VocabularyMicrotheory) 
(#$comment #$Air "A specialization of #$GaseousTangibleThing.  Each instance 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; the stuffy air in my office; the thin air atop Annapurna.  See also #$TheAtmosphereQuaSinglePieceOfStuff, which is all ambient #$Air on the planet taken as a single object.") 
(#$genls #$Air #$GaseousTangibleThing) 
(#$genls #$Air #$Individual) 
(#$genls #$Air #$Mixture) 
(#$isa #$Air #$TangibleStuffStateType) 
(#$isa #$Air #$TemporalStuffType) 
(#$comment #$AirBreathingVertebrate "#$AirBreathingVertebrate is a specialization of #$Vertebrate and an instance of #$OrganismClassificationType.  Each instance of #$AirBreathingVertebrate is a vertebrate that usually respires by breathing #$Air during adult life.  Includes individual #$Mammals, #$Birds, #$Reptiles, and most #$Amphibians.  Most #$AirBreathingVertebrates are #$TerrestrialOrganisms, but some #$AquaticOrganisms breathe air (#$Whales, etc.).  All #$AirBreathingVertebrates have #$Lungs and #$RespiratoryTracts.") 
(#$genls #$AirBreathingVertebrate #$Individual) 
(#$genls #$AirBreathingVertebrate #$Vertebrate) 
(#$isa #$AirBreathingVertebrate #$ExistingObjectType) 
(#$isa #$AirBreathingVertebrate #$OrganismClassificationType) 
(#$comment #$AirForce "A subcollection of #$BranchOfMilitaryService.  Each instance of #$AirForce is a modern military organization composed mainly of airborne forces (such as bombers, fighters, torpedo planes, parachute troops, surveillance aircraft, etc.) and which has the function of defending or attacking air space, ships, or ground targets.") 
(#$genls #$AirForce #$BranchOfMilitaryService) 
(#$genls #$AirForce #$Individual) 
(#$genls #$AirForce #$ModernMilitaryOrganization) 
(#$isa #$AirForce #$ExistingObjectType) 
(#$comment #$AirForcePersonnel "A specialization of #$MilitaryPerson. Each instance of  #$AirForcePersonnel is a person who is a member of some instance of #$AirForce.") 
(#$genls #$AirForcePersonnel #$Individual) 
(#$genls #$AirForcePersonnel #$MilitaryPerson) 
(#$isa #$AirForcePersonnel #$PersonTypeByOccupation) 
(#$comment #$AirlineCompany "#$AirlineCompany is a specialization of #$TransportationCompany-Provider, #$CommercialServiceOrganization, and #$Business.  Each instance of #$AirlineCompany is a business that operates airplanes to transport goods or people in exchange for money.") 
(#$genls #$AirlineCompany #$Business) 
(#$genls #$AirlineCompany #$CommercialServiceOrganization) 
(#$genls #$AirlineCompany #$Individual) 
(#$genls #$AirlineCompany #$TransportationCompany-Provider) 
(#$isa #$AirlineCompany #$ExistingObjectType) 
(#$comment #$Airplane "A subcollection of #$FixedWingAircraft, each instance of which is a heavier-than-air, self-powered flying machine (other than a cruise missile) that gets its lift while flying from #$AirplaneWings. #$Helicopters are thus excluded because their lift is created by rotors. A near-borderline (positive) case is a plane that takes-off vertically using a turbojet engine, since its initial lift is not due to its wings. In flight, however, such a plane needs its wings to stay aloft.") 
(#$disjointWith #$Airplane #$ConsumableProduct) 
(#$disjointWith #$Airplane #$Spacecraft) 
(#$genls #$Airplane #$FixedWingAircraft) 
(#$genls #$Airplane #$Individual) 
(#$isa #$Airplane #$ExistingObjectType) 
(#$isa #$Airplane #$ProductType) 
(#$comment #$AirplaneRunway "#$AirplaneRunway is a specialization of #$PathForWheeledVehicles.  Each instance of #$AirplaneRunway is an airstrip at an airport, on an aircraft carrier, or in some field where airplanes taxi, take off, and land.") 
(#$disjointWith #$AirplaneRunway #$Railway) 
(#$genls #$AirplaneRunway #$Individual) 
(#$genls #$AirplaneRunway #$PathForWheeledVehicles) 
(#$genls #$AirplaneRunway #$SpatialThing) 
(#$isa #$AirplaneRunway #$ExistingObjectType) 
(#$comment #$AirportOrganization "#$AirportOrganization is a specialization of #$TravelOrganization.  Each instance of #$AirportOrganization is an organization that manages and controls particular airports and their appurtenant facilities; e.g., #$LaGuardiaAirport-Organization.") 
(#$genls #$AirportOrganization #$Individual) 
(#$genls #$AirportOrganization #$TravelOrganization) 
(#$isa #$AirportOrganization #$ExistingObjectType) 
(#$comment #$Airport-Physical "A specialization of both #$FixedStructure and #$TransportFacility.  Each instance of #$Airport-Physical is a facility which includes at least one runway where airplanes can take off and land.  Instances of #$Airport-Physical may also have terminals and an air control tower, in addition to having a runway.  See also the related collection #$AirportOrganization.") 
(#$disjointWith #$Airport-Physical #$Dock) 
(#$disjointWith #$Airport-Physical #$RailroadStation-Physical) 
(#$disjointWith #$Airport-Physical #$Roadway) 
(#$genls #$Airport-Physical #$FixedStructure) 
(#$genls #$Airport-Physical #$Individual) 
(#$genls #$Airport-Physical #$TransportFacility) 
(#$isa #$Airport-Physical #$ExistingObjectType) 
(#$isa #$Airport-Physical #$TemporalStuffType) 
(#$comment #$AirRespiration "A collection of activities constituting a natural #$PhysiologicalFunction; #$AirRespiration 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.") 
(#$genls #$AirRespiration #$Individual) 
(#$genls #$AirRespiration #$PhysiologicalFunction) 
(#$genls #$AirRespiration #$Respiration) 
(#$isa #$AirRespiration #$DefaultDisjointScriptType) 
(#$isa #$AirRespiration #$TemporalStuffType) 
(#$comment #$AirTransportationDevice "A specialization of #$TransportationDevice.  Each instance of #$AirTransportationDevice is a device used for transporting either people or cargo through the air.  Specializations of #$AirTransportationDevice include the collections #$Airplane, #$Helicopter, #$HotAirBalloon, and #$GroundToOrbitVehicle.") 
(#$disjointWith #$AirTransportationDevice #$FluidReservoir) 
(#$disjointWith #$AirTransportationDevice #$LandTransportationDevice) 
(#$disjointWith #$AirTransportationDevice #$Water) 
(#$disjointWith #$AirTransportationDevice #$WaterTransportationDevice) 
(#$genls #$AirTransportationDevice #$Individual) 
(#$genls #$AirTransportationDevice #$TransportationDevice) 
(#$isa #$AirTransportationDevice #$ExistingObjectType) 
(#$isa #$AirTransportationDevice #$ProductType) 
(#$comment #$Alertness "#$Alertness is an #$AnimalPhysiologicalAttribute which specifies how sleepy or alert an animal is.  Levels of #$Alertness include #$Asleep, #$Sleepy, and #$Awake.") 
(#$genls #$Alertness #$AnimalPhysiologicalAttribute) 
(#$genls #$Alertness #$ScalarInterval) 
(#$isa #$Alertness #$AtemporalNecessarilyEssentialCollectionType) 
(#$isa #$Alertness #$LinearOrderAttributeType) 
(#$comment #$Algorithm "A specialization of #$MathematicalOrComputationalThing.
    An instance of #$Algorithm is a particular finite sequence of operations 
    that constitutes an effective, or strictly mechanical, procedure for 
    completing some task, computing some function, or simply performing a 
    number of unrelated operations.  Instances of #$ComputerProgram-CWIS use 
    algorithms (see #$programAlgorithms), and some instances of #$Instructions
    (e.g. some instances of its specializations #$Recipe-CW and
    #$DirectionsToGetSomewhere), if sufficiently explicit, involve algorithms.  
    An algorithm can be viewed as a specific way of computing a particular 
    instance of #$Function-MathematicalObject, i.e. a way determining the value 
    of the function for any argument in the function's domain (see
    #$algorithmComputes).") 
(#$disjointWith #$Algorithm #$Language) 
(#$genls #$Algorithm #$AbstractInformationalThing) 
(#$genls #$Algorithm #$Individual) 
(#$genls #$Algorithm #$MathematicalOrComputationalThing) 
(#$isa #$Algorithm #$ObjectType) 
(#$arg1Isa #$AlgorithmFunctionFn #$FunctionalAlgorithm) 
(#$arg1Isa #$AlgorithmFunctionFn #$FunctionalAlgorithm) 
(#$arg2Isa #$AlgorithmFunctionFn #$ProgramIdentifier) 
(#$arg2Isa #$AlgorithmFunctionFn #$ProgramIdentifier) 
(#$argIsa #$AlgorithmFunctionFn 1 #$FunctionalAlgorithm) 
(#$argIsa #$AlgorithmFunctionFn 1 #$FunctionalAlgorithm) 
(#$argIsa #$AlgorithmFunctionFn 1 #$FunctionalAlgorithm) 
(#$argIsa #$AlgorithmFunctionFn 2 #$ProgramIdentifier) 
(#$argIsa #$AlgorithmFunctionFn 2 #$ProgramIdentifier) 
(#$argIsa #$AlgorithmFunctionFn 2 #$ProgramIdentifier) 
(#$arity #$AlgorithmFunctionFn 2) 
(#$comment #$AlgorithmFunctionFn "An individual denoting function. (#$AlgorithmFunctionFn ALGORITHM NAME) denotes an
 instance of #$ProgramFunction identified by NAME which instantiates ALGORITHM with the context of
 a single #$ComputerCode-Source.") 
(#$isa #$AlgorithmFunctionFn #$BinaryFunction) 
(#$isa #$AlgorithmFunctionFn #$IndividualDenotingFunction) 
(#$resultIsa #$AlgorithmFunctionFn #$Individual) 
(#$resultIsa #$AlgorithmFunctionFn #$ProgramFunction) 
(#$comment #$AlgorithmInput1 "An input for the algorithm #$AbsoluteValueComputation.") 
(#$isa #$AlgorithmInput1 #$IndexicalConcept) 
(#$isa #$AlgorithmInput1 #$Individual) 
(#$isa #$AlgorithmInput1 #$SoftwareParameter) 
(#$isa #$AlgorithmOutput1 #$IndexicalConcept) 
(#$isa #$AlgorithmOutput1 #$Individual) 
(#$isa #$AlgorithmOutput1 #$SoftwareParameter) 
(#$isa (#$AlgorithmSequenceFn #$MaxElementComputation 0) #$Individual) 
(#$isa (#$AlgorithmSequenceFn #$MaxElementComputation 0) #$ProgramStepSequence) 
(#$arg1Isa #$AlgorithmSequenceFn #$Algorithm) 
(#$arg1Isa #$AlgorithmSequenceFn #$Algorithm) 
(#$arg2Isa #$AlgorithmSequenceFn #$Thing) 
(#$arg2Isa #$AlgorithmSequenceFn #$Thing) 
(#$argIsa #$AlgorithmSequenceFn 1 #$Algorithm) 
(#$argIsa #$AlgorithmSequenceFn 1 #$Algorithm) 
(#$argIsa #$AlgorithmSequenceFn 1 #$Algorithm) 
(#$argIsa #$AlgorithmSequenceFn 2 #$Thing) 
(#$argIsa #$AlgorithmSequenceFn 2 #$Thing) 
(#$argIsa #$AlgorithmSequenceFn 2 #$Thing) 
(#$arity #$AlgorithmSequenceFn 2) 
(#$comment #$AlgorithmSequenceFn "An individual denoting function.  (#$AlgorithmSequenceFn ALGORITHM ID) denotes the #$ProgramStepSequence of ALGORITHM that is identified by ID. For example, (#$AlgorithmSequenceFn #$AbsoluteValueComputation 2) would denote Step Sequence 2 of the algorithm #$AbsoluteValueComputation.") 
(#$isa #$AlgorithmSequenceFn #$BinaryFunction) 
(#$isa #$AlgorithmSequenceFn #$IndividualDenotingFunction) 
(#$isa #$AlgorithmSequenceFn #$ReifiableFunction) 
(#$resultIsa #$AlgorithmSequenceFn #$Individual) 
(#$resultIsa #$AlgorithmSequenceFn #$ProgramStepSequence) 
(#$arg1Isa #$algorithmStartStep #$Algorithm) 
(#$arg1Isa #$algorithmStartStep #$Algorithm) 
(#$arg2Isa #$algorithmStartStep #$ProgramStep) 
(#$arg2Isa #$algorithmStartStep #$ProgramStep) 
(#$argIsa #$algorithmStartStep 1 #$Algorithm) 
(#$argIsa #$algorithmStartStep 1 #$Algorithm) 
(#$argIsa #$algorithmStartStep 1 #$Algorithm) 
(#$argIsa #$algorithmStartStep 2 #$ProgramStep) 
(#$argIsa #$algorithmStartStep 2 #$ProgramStep) 
(#$argIsa #$algorithmStartStep 2 #$ProgramStep) 
(#$arity #$algorithmStartStep 2) 
(#$comment #$algorithmStartStep "(#$algorithmStartStep ALGORITHM PROGRAM-STEP) means that PROGRAM-STEP is the first step of ALGORITHM.") 
(#$isa #$algorithmStartStep #$BinaryPredicate) 
(#$isa (#$AlgorithmStepFn #$AbsoluteValueComputation 0) #$Individual) 
(#$isa (#$AlgorithmStepFn #$MaxElementComputation 0) #$Individual) 
(#$isa (#$AlgorithmStepFn #$AbsoluteValueComputation 0) #$ProgramStep) 
(#$isa (#$AlgorithmStepFn #$MaxElementComputation 0) #$ProgramStep) 
(#$isa (#$AlgorithmStepFn #$MaxElementComputation 1) #$Individual) 
(#$isa (#$AlgorithmStepFn #$MaxElementComputation 1) #$ProgramStep) 
(#$arg1Isa #$AlgorithmStepFn #$Algorithm) 
(#$arg1Isa #$AlgorithmStepFn #$Algorithm) 
(#$arg2Isa #$AlgorithmStepFn #$Thing) 
(#$arg2Isa #$AlgorithmStepFn #$Thing) 
(#$argIsa #$AlgorithmStepFn 1 #$Algorithm) 
(#$argIsa #$AlgorithmStepFn 1 #$Algorithm) 
(#$argIsa #$AlgorithmStepFn 1 #$Algorithm) 
(#$argIsa #$AlgorithmStepFn 2 #$Thing) 
(#$argIsa #$AlgorithmStepFn 2 #$Thing) 
(#$argIsa #$AlgorithmStepFn 2 #$Thing) 
(#$arity #$AlgorithmStepFn 2) 
(#$comment #$AlgorithmStepFn "An individual denoting function.  (#$AlgorithmStepFn ALGORITHM ID) denotes the #$ProgramStep of ALGORITHM that is identified by ID. For example, (#$AlgorithmStepFn #$AbsoluteValueComputation 2) would denote Step 2 of the algorithm #$AbsoluteValueComputation.") 
(#$isa #$AlgorithmStepFn #$BinaryFunction) 
(#$isa #$AlgorithmStepFn #$IndividualDenotingFunction) 
(#$isa #$AlgorithmStepFn #$ReifiableFunction) 
(#$resultIsa #$AlgorithmStepFn #$Individual) 
(#$resultIsa #$AlgorithmStepFn #$ProgramStep) 
(#$arg1Isa #$aligned #$SpatialThing) 
(#$arg1Isa #$aligned #$SpatialThing) 
(#$arg2Isa #$aligned #$SpatialThing) 
(#$arg2Isa #$aligned #$SpatialThing) 
(#$argIsa #$aligned 1 #$SpatialThing) 
(#$argIsa #$aligned 1 #$SpatialThing) 
(#$argIsa #$aligned 1 #$SpatialThing) 
(#$argIsa #$aligned 2 #$SpatialThing) 
(#$argIsa #$aligned 2 #$SpatialThing) 
(#$argIsa #$aligned 2 #$SpatialThing) 
(#$arity #$aligned 2) 
(#$comment #$aligned "(#$aligned OBJ1 OBJ2) means that the two objects are aligned so as to be oriented in the same way.  Specifications of this would be #$alignedAlong to specify that the two objects are side-by-side, and #$alignedEndToEnd to specify that the two objects share a common length axis as well. See also a related predicate #$parallelObjects.") 
(#$genlInverse #$aligned #$aligned) 
(#$genlInverse #$aligned #$aligned) 
(#$genlInverse #$aligned #$spatiallyRelated) 
(#$interArgIsa1-2 #$aligned #$SpatialThing-Localized #$SpatialThing-Localized) 
(#$interArgIsa2-1 #$aligned #$SpatialThing-Localized #$SpatialThing-Localized) 
(#$isa #$aligned #$SpatialPredicate) 
(#$isa #$aligned #$SymmetricBinaryPredicate) 
(#$arg1Isa #$alignedAlong #$SpatialThing) 
(#$arg1Isa #$alignedAlong #$SpatialThing) 
(#$arg2Isa #$alignedAlong #$SpatialThing) 
(#$arg2Isa #$alignedAlong #$SpatialThing) 
(#$argIsa #$alignedAlong 1 #$SpatialThing) 
(#$argIsa #$alignedAlong 1 #$SpatialThing) 
(#$argIsa #$alignedAlong 1 #$SpatialThing) 
(#$argIsa #$alignedAlong 2 #$SpatialThing) 
(#$argIsa #$alignedAlong 2 #$SpatialThing) 
(#$argIsa #$alignedAlong 2 #$SpatialThing) 
(#$arity #$alignedAlong 2) 
(#$comment #$alignedAlong "(#$alignedAlong OBJ1 OBJ2) means that the two objects are adjacent and aligned so as to be oriented in the same way.") 
(#$genlInverse #$alignedAlong #$alignedAlong) 
(#$genlInverse #$alignedAlong #$alignedAlong) 
(#$genlPreds #$alignedAlong #$aligned) 
(#$genlPreds #$alignedAlong #$near) 
(#$interArgIsa1-2 #$alignedAlong #$SpatialThing-Localized #$SpatialThing-Localized) 
(#$interArgIsa2-1 #$alignedAlong #$SpatialThing-Localized #$SpatialThing-Localized) 
(#$isa #$alignedAlong #$IrreflexiveBinaryPredicate) 
(#$isa #$alignedAlong #$SpatialPredicate) 
(#$isa #$alignedAlong #$SymmetricBinaryPredicate) 
(#$arg1Isa #$alignedAlongSurface #$SpatialThing) 
(#$arg1Isa #$alignedAlongSurface #$SpatialThing) 
(#$arg2Isa #$alignedAlongSurface #$SpatialThing) 
(#$arg2Isa #$alignedAlongSurface #$SpatialThing) 
(#$argIsa #$alignedAlongSurface 1 #$SpatialThing) 
(#$argIsa #$alignedAlongSurface 1 #$SpatialThing) 
(#$argIsa #$alignedAlongSurface 1 #$SpatialThing) 
(#$argIsa #$alignedAlongSurface 2 #$SpatialThing) 
(#$argIsa #$alignedAlongSurface 2 #$SpatialThing) 
(#$argIsa #$alignedAlongSurface 2 #$SpatialThing) 
(#$arity #$alignedAlongSurface 2) 
(#$comment #$alignedAlongSurface "(#$alignedAlongSurface OBJ1 OBJ2) means that the surface of OBJ1 #$touches OBJ2 over a significant extent of OBJ2 (either area-wise or linearly).") 
(#$genlPreds #$alignedAlongSurface #$alignedAlong) 
(#$genlPreds #$alignedAlongSurface #$touches) 
(#$interArgIsa1-2 #$alignedAlongSurface #$SpatialThing-Localized #$SpatialThing-Localized) 
(#$interArgIsa2-1 #$alignedAlongSurface #$SpatialThing-Localized #$SpatialThing-Localized) 
(#$isa #$alignedAlongSurface #$IrreflexiveBinaryPredicate) 
(#$isa #$alignedAlongSurface #$SpatialPredicate) 
(#$isa #$AlimentaryCanal #$UniqueAnatomicalPartType) 
(#$comment #$AllEnglishLexicalMicrotheoryPSC "The context for inferences involving all and only english lexical mts. Note that the #$CommonEnglishMisspellingsMt and the #$WebLexicalNonExactMappingMt are not visible from this mt.") 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$AmericanEnglishCompositionalPhrasesLexicalMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$AmericanEnglishMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$AustralianEnglishMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$BaseKB) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$BritishEnglishMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$CanadianEnglishMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$CommonEnglishMisspellingsMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$CommonWealthEnglishCompositionalPhrasesLexicalMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$CommonWealthEnglishMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$ComputereseLexicalMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$CyclishMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$DiseaseLexicalMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$EnglishCompositionalPhrasesLexicalMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$EnglishLexiconMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$EnglishMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$EnglishParaphraseMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$GeneralEnglishMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$GeneralMilitaryLexicalMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$GeneralScientificLexicalMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$IrishEnglishMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$NameLexicalMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$NeedsOELexicalMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$NewLatinLexicalMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$NewZealandEnglishMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$NonAmericanEnglishMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$RelationParaphraseMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$ScottishEnglishMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$SouthAfricanEnglishMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$TechnicalEnglishLexicalMt) 
(#$genlMt #$AllEnglishLexicalMicrotheoryPSC #$TemporaryEnglishMt) 
(#$isa #$AllEnglishLexicalMicrotheoryPSC #$ProblemSolvingCntxt) 
(#$comment #$AllEnglishTemplateMt "This Mt contains genlMt links to all English-specific template Mts, and as such it should reference all English parsing templates.") 
(#$genlMt #$AllEnglishTemplateMt #$AnthraxTemplateMt) 
(#$genlMt #$AllEnglishTemplateMt #$BaseKB) 
(#$genlMt #$AllEnglishTemplateMt #$DeepCoverageTemplateMt) 
(#$genlMt #$AllEnglishTemplateMt #$EnglishTemplateMt) 
(#$genlMt #$AllEnglishTemplateMt #$RelativeClausesTemplateMt) 
(#$isa #$AllEnglishTemplateMt #$Microtheory) 
(#$isa #$AllEnglishTemplateMt #$TemplateParsingMicrotheory) 
(#$comment #$AllEnglishValidatedLexicalMicrotheoryPSC "A problem solving context in which all english lexical assertions which have either been reviewed or made by a lexicographer are visible.") 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$AmericanEnglishCompositionalPhrasesLexicalMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$AmericanEnglishMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$AustralianEnglishMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$BaseKB) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$BritishEnglishMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$CanadianEnglishMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$CommonEnglishMisspellingsMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$CommonWealthEnglishCompositionalPhrasesLexicalMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$CommonWealthEnglishMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$CyclishMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$DiseaseLexicalMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$EnglishCompositionalPhrasesLexicalMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$EnglishLexiconMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$EnglishMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$EnglishParaphraseMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$GeneralEnglishMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$GeneralMilitaryLexicalMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$GeneralScientificLexicalMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$IrishEnglishMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$NameLexicalMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$NewLatinLexicalMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$NewZealandEnglishMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$NonAmericanEnglishMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$RelationParaphraseMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$ScottishEnglishMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$SouthAfricanEnglishMt) 
(#$genlMt #$AllEnglishValidatedLexicalMicrotheoryPSC #$TechnicalEnglishLexicalMt) 
(#$isa #$AllEnglishValidatedLexicalMicrotheoryPSC #$ProblemSolvingCntxt) 
(#$comment #$AllergicReaction "A collection of dynamic, physiological states. An instance of #$AllergicReaction 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., #$PoisonIvyPoisoning in humans. But other allergic reactions affect only a small proportion of a species, such as human allergies to penicillin. This concept is the collection 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 instance of #$AllergicReaction.") 
(#$genls #$AllergicReaction #$AilmentCondition) 
(#$genls #$AllergicReaction #$Individual) 
(#$isa #$AllergicReaction #$PhysiologicalConditionType) 
(#$genlMt #$AllLanguageLexicalNonParaphraseMicrotheoryPSC #$AmericanEnglishCompositionalPhrasesLexicalMt) 
(#$genlMt #$AllLanguageLexicalNonParaphraseMicrotheoryPSC #$AmericanEnglishMt) 
(#$genlMt #$AllLanguageLexicalNonParaphraseMicrotheoryPSC #$AustralianEnglishMt) 
(#$genlMt #$AllLanguageLexicalNonParaphraseMicrotheoryPSC #$BaseKB) 
(#$genlMt #$AllLanguageLexicalNonParaphraseMicrotheoryPSC #$BritishEnglishMt) 
(#$genlMt #$AllLanguageLexicalNonParaphraseMicrotheoryPSC #$CanadianEnglishMt) 
(#$genlMt #$AllLanguageLexicalNonParaphraseMicrotheoryPSC #$CommonWealthEnglishMt) 
(#$genlMt #$AllLanguageLexicalNonParaphraseMicrotheoryPSC #$EnglishCompositionalPhrasesLexicalMt) 
(#$genlMt #$AllLanguageLexicalNonParaphraseMicrotheoryPSC #$EnglishLexiconMt) 
(#$genlMt #$AllLanguageLexicalNonParaphraseMicrotheoryPSC #$EnglishMt) 
(#$genlMt #$AllLanguageLexicalNonParaphraseMicrotheoryPSC #$EnglishTemplateMt) 
(#$genlMt #$AllLanguageLexicalNonParaphraseMicrotheoryPSC #$IrishEnglishMt) 
(#$genlMt #$AllLanguageLexicalNonParaphraseMicrotheoryPSC #$NewZealandEnglishMt) 
(#$genlMt #$AllLanguageLexicalNonParaphraseMicrotheoryPSC #$NonAmericanEnglishMt) 
(#$genlMt #$AllLanguageLexicalNonParaphraseMicrotheoryPSC #$ScottishEnglishMt) 
(#$genlMt #$AllLanguageLexicalNonParaphraseMicrotheoryPSC #$SouthAfricanEnglishMt) 
(#$isa #$AllLanguageLexicalNonParaphraseMicrotheoryPSC #$ProblemSolvingCntxt) 
(#$comment #$AllLexicalMicrotheoryPSC "A problem solving context in which all lexical assertions in the entire KB are visible.  This context can be used for NL testing.  See spec Mt's such as #$KBIT-GenPhraseWithNoParsingAssertion for examples of such.") 
(#$genlMt #$AllLexicalMicrotheoryPSC #$AmericanEnglishCompositionalPhrasesLexicalMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$AmericanEnglishMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$AustralianEnglishMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$BaseKB) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$BritishEnglishMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$CanadianEnglishMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$CommonEnglishMisspellingsMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$CommonWealthEnglishCompositionalPhrasesLexicalMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$CommonWealthEnglishMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$ComputereseLexicalMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$CyclishMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$CyclishParaphraseMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$DiseaseLexicalMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$EnglishCompositionalPhrasesLexicalMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$EnglishLexiconMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$EnglishMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$EnglishParaphraseMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$EnglishParaphraseMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$GeneralEnglishMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$GeneralMilitaryLexicalMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$GeneralMilitaryLexicalMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$GeneralScientificLexicalMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$IrishEnglishMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$NameLexicalMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$NeedsOELexicalMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$NewLatinLexicalMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$NewZealandEnglishMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$NonAmericanEnglishMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$RelationParaphraseMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$ScottishEnglishMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$SouthAfricanEnglishMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$TechnicalEnglishLexicalMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$TechnicalEnglishLexicalMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$TemporaryEnglishMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$TemporaryEnglishParaphraseMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$TemporaryLexicalAssertions-GuessedMt) 
(#$genlMt #$AllLexicalMicrotheoryPSC #$TemporaryLexicalAssertionsMt) 
(#$isa #$AllLexicalMicrotheoryPSC #$ProblemSolvingCntxt) 
(#$comment #$AllLexicalNonParaphraseMicrotheoryPSC "The context from which all lexical microtheories which are not also instances of #$ParaphraseMicrotheory are visible.") 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$AmericanEnglishCompositionalPhrasesLexicalMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$AmericanEnglishMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$AustralianEnglishMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$BaseKB) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$BritishEnglishMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$CanadianEnglishMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$CommonEnglishMisspellingsMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$CommonWealthEnglishCompositionalPhrasesLexicalMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$CommonWealthEnglishMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$ComputereseLexicalMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$CyclishMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$DiseaseLexicalMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$EnglishCompositionalPhrasesLexicalMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$EnglishLexiconMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$EnglishMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$GeneralEnglishMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$GeneralMilitaryLexicalMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$GeneralScientificLexicalMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$IrishEnglishMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$NameLexicalMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$NeedsOELexicalMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$NewLatinLexicalMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$NewZealandEnglishMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$NonAmericanEnglishMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$ScottishEnglishMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$SouthAfricanEnglishMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$TechnicalEnglishLexicalMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$TemporaryEnglishMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$TemporaryLexicalAssertions-GuessedMt) 
(#$genlMt #$AllLexicalNonParaphraseMicrotheoryPSC #$TemporaryLexicalAssertionsMt) 
(#$isa #$AllLexicalNonParaphraseMicrotheoryPSC #$ProblemSolvingCntxt) 
(#$comment #$AllowGenericArgVariables "A canonicalizer directive which directs the #$CycCanonicalizer to allow generic arg variables, e.g. :ARG1, :ARG2, and treat them as #$CycLVariables.") 
(#$isa #$AllowGenericArgVariables #$CanonicalizerDirective) 
(#$isa #$AllowGenericArgVariables #$CoreImplementationConstant) 
(#$comment #$AllowKeywordVariables "A canonicalizer directive which directs the #$CycCanonicalizer to allow keyword variables, e.g. :NOUN or :ARG1, and treat them as #$CycLVariables.  Keyword variables are like meta-variables.") 
(#$isa #$AllowKeywordVariables #$CanonicalizerDirective) 
(#$isa #$AllowKeywordVariables #$CoreImplementationConstant) 
(#$comment #$AlphaProcessorArchitecture "An instance of #$ComputerArchitectureAttribute. #$AlphaProcessorArchitecture is a type of RISC computer processor architecture, produced by #$CompaqInc. An early 64-bit architecture, it lost much of its market after Microsoft announced that Windows wouldn't support it.") 
(#$isa #$AlphaProcessorArchitecture #$AttributeValue) 
(#$isa #$AlphaProcessorArchitecture #$ComputerArchitectureAttribute) 
(#$arg1Isa #$altitudeAboveSeaLevel #$SpatialThing) 
(#$arg2Format #$altitudeAboveSeaLevel #$IntervalEntry) 
(#$arg2Format #$altitudeAboveSeaLevel #$IntervalEntry) 
(#$arg2Isa #$altitudeAboveSeaLevel #$Distance) 
(#$argFormat #$altitudeAboveSeaLevel 2 #$IntervalEntry) 
(#$argFormat #$altitudeAboveSeaLevel 2 #$IntervalEntry) 
(#$argIsa #$altitudeAboveSeaLevel 2 #$Distance) 
(#$argIsa #$altitudeAboveSeaLevel 2 #$Distance) 
(#$argIsa #$altitudeAboveSeaLevel 1 #$SpatialThing) 
(#$argIsa #$altitudeAboveSeaLevel 1 #$SpatialThing) 
(#$arity #$altitudeAboveSeaLevel 2) 
(#$comment #$altitudeAboveSeaLevel "(#$altitudeAboveSeaLevel OBJECT ALTITUDE) means that ALTITUDE is the vertical distance between the bottom of an arbitrary object and sea level.  #$Altimeters measure ALTITUDE.  See also #$altitudeAboveGround and #$distanceAboveSeaLevel (the latter applies only to #$GeographicalRegions.") 
(#$functionalInArgs #$altitudeAboveSeaLevel 2) 
(#$functionalInArgs #$altitudeAboveSeaLevel 2) 
(#$isa #$altitudeAboveSeaLevel #$BinaryPredicate) 
(#$isa #$altitudeAboveSeaLevel #$IntervalBasedQuantitySlot) 
(#$isa #$altitudeAboveSeaLevel #$ObjectPredicate) 
(#$relationAllExists #$altitudeAboveSeaLevel #$PartiallyTangible #$Distance) 
(#$relationInstanceExists #$altitudeAboveSeaLevel (#$GenericInstanceFn #$Dog) #$Distance) 
(#$relationInstanceExists #$altitudeAboveSeaLevel (#$GenericInstanceFn #$Dog) #$Distance) 
(#$relationInstanceExists #$altitudeAboveSeaLevel (#$GenericInstanceFn #$Dog) #$Distance) 
(#$relationInstanceExists #$altitudeAboveSeaLevel (#$GenericInstanceFn #$Dog) #$Distance) 
(#$comment #$Always-TimeInterval "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