; Mon Mar 08 23:06:12 EST 2004 ; ;+ (version "1.8") ;+ (build "Build 1074") (defclass %3ACLIPS_TOP_LEVEL_SLOT_CLASS (is-a USER) (role concrete) (single-slot SumFn_S ;+ (comment "\"(SumFn @ROW) returns the total sum of all elements in the @ROW, each of which must be a real number. This is left as a mostly primitive concept left for implementation by the computer's arithmetic processes.\"") (type INSTANCE) ;+ (allowed-classes %3ARow RealNumber) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot element_S ;+ (comment "\"(element ?ENTITY ?SET) is true just in case ?ENTITY is contained in the &%Set ?SET. An &%Entity can be an &%element of another &%Entity only if the latter is a &%Set.\"") (type INSTANCE) ;+ (allowed-classes Set) ;+ (subslot-of instance_S) (create-accessor read-write)) (single-slot %3AhasUsage ;+ (comment "This relation records the usage for a synonymous word: one of a list of possibilities.") (type SYMBOL) (allowed-values preferred deprecated technical slang) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot streetAddress_S ;+ (comment "\"(&%streetAddress ?STREET ?ADDRESS) means that the &%Roadway ?STREET is part of the address ?ADDRESS.\"") (type INSTANCE) ;+ (allowed-classes Address) ;+ (cardinality 0 1) ;+ (subslot-of address_S) (create-accessor read-write)) (single-slot subset_S ;+ (comment "\"(subset ?SET1 ?SET2) is true just in case the &%elements of the &%Set ?SET1 are also &%elements of the &%Set ?SET2.\"") (type INSTANCE) ;+ (allowed-classes Set) ;+ (cardinality 0 1) ;+ (subslot-of subclass_S) (create-accessor read-write)) (multislot chiefOfState_S ;+ (comment "\"(&%chiefOfState ?POLITY ?ROLE ?PERSON) means that ?PERSON is the titular leader of the government of the &%GeopoliticalArea ?POLITY and represents it at official functions. The office held by this chief of state is ?ROLE (e.g., President, Queen, Chairman). Note: this term is defined as in the CIA World Fact Book.\"") (type INSTANCE) ;+ (allowed-classes Human) (create-accessor read-write)) (single-slot radius_S ;+ (comment "\"(&%radius ?CIRCLE ?LENGTH) means that the radius of the &%Circle ?CIRCLE has a length of ?LENGTH.\"") (type INSTANCE) ;+ (allowed-classes LengthMeasure) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot hasTextPartition_S ;+ (comment "\"hasTextPartition asserts that an AbstractFormattedText is composed of immediate subdivisions and every subtext of that text is one of those subdivisions or a part of one of those subdivisions. In most cases, those subdivisions will be composed of disjoint classes, but at this time that condition is not included in the definition. Note that this relation is required because a necessary assertion that a text is composed only of specific subtexts using the (necessarily Text hasaTextComponent (UnionFn . . .)) would preclude existence of any text subcomponents in that text.\"") (type INSTANCE) ;+ (allowed-classes TextComponentList) (create-accessor read-write)) (single-slot ImmediateFamilyFn_S ;+ (comment "\"(&%ImmediateFamilyFn ?PERSON) denotes the immediate family of ?PERSON, i.e. the &%Group consisting of the &%parents of ?PERSON and anyone of whom ?PERSON is a &%parent.\"") (type INSTANCE) ;+ (allowed-classes FamilyGroup) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot %3Apartition3 ;+ (comment "A &%partition of a class C is a set of mutually &%disjoint classes (a subclass partition) which covers C. Every instance of C is an instance of exactly one of the subclasses in the partition.\n There may be more than one partition on a class. In SUMO there are a maximum of 2 partitions. This slot is created for the possible situation where a class may have three partitions.") (type INSTANCE) ;+ (allowed-classes %3AUBL-CLASS %3ATHING) ;+ (subslot-of partition) (create-accessor read-write)) (single-slot enjoys_S ;+ (comment "\"(&%enjoys ?AGENT ?PROCESS) means that the &%CognitiveAgent ?AGENT tends to enjoy actions of type ?PROCESS, i.e. tends to enjoy being the &%agent or &%experiencer of such actions.\"") (type INSTANCE) ;+ (allowed-classes IntentionalProcess) ;+ (cardinality 0 1) ;+ (subslot-of inScopeOfInterest_S) (create-accessor read-write)) (single-slot grasps_S ;+ (comment "\"The state of grasping an &%Object. (&%grasps ?ANIMAL ?OBJ) means that the &%Animal ?ANIMAL is intentionally holding on to the &%Object ?OBJ.\"") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of meetsSpatially_S) (create-accessor read-write)) (single-slot GigaFn_S ;+ (comment "\"A &%UnaryFunction that maps a &%UnitOfMeasure into a &%UnitOfMeasure that is equal to 1,000,000,000 units of the original &%UnitOfMeasure. For example, (&%GigaFn &%Hertz) is 1,000,000,000 &%Hertz.\"") (type INSTANCE) ;+ (allowed-classes UnitOfMeasure) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot WhenFn_S ;+ (comment "\"A &%UnaryFunction that maps an &%Object or &%Process to the exact &%TimeInterval during which it exists. Note that, for every &%TimePoint ?TIME outside of the &%TimeInterval (WhenFn ?THING), (time ?THING ?TIME) does not hold.\"") (type INSTANCE) ;+ (allowed-classes TimeInterval) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot CitizenryFn_S ;+ (comment "\"(&%CitizenryFn ?AREA) denotes the &%GroupOfPeople who are legal and permanent residents of the &%GeopoliticalArea ?AREA.\"") (type INSTANCE) ;+ (allowed-classes GroupOfPeople) ;+ (cardinality 0 1) ;+ (subslot-of ResidentFn_S) (create-accessor read-write)) (multislot headOfGovernment_S ;+ (comment "\"(&%headOfGovernment ?POLITY ?ROLE ?PERSON) means that ?PERSON is the top administrative leader of the &%Government of the &%GeopoliticalArea ?POLITY, with authority for managing its day-to-day functions. The office held by this person is the &%Position ?ROLE (e.g., President, Prime Minister, Governor). Note: this term is defined as in the CIA World Fact Book.\"") (type INSTANCE) ;+ (allowed-classes Human) (create-accessor read-write)) (multislot price_S ;+ (comment "\"(&%price ?Obj ?Money ?Agent) means that ?Agent pays the amount of money ?Money for ?Obj.\"") (type INSTANCE) ;+ (allowed-classes Agent) (create-accessor read-write)) (single-slot unitNumber_S ;+ (comment "\"(&%unitNumber ?UNIT ?ADDRESS) means that the &%StationaryArtifact ?UNIT is part of the address ?ADDRESS.\"") (type INSTANCE) ;+ (allowed-classes Address) ;+ (cardinality 0 1) ;+ (subslot-of address_S) (create-accessor read-write)) (single-slot SkinFn_S ;+ (comment "\"A &%UnaryFunction that maps a &%Hole to the skin of the &%Hole. The skin of a &%Hole is the fusion of those superficial parts (see &%superficialPart) of the &%Hole's principal host (see &%PrincipalHostFn) with which the &%Hole is externally connected.\"") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot isUsedIn_S ;+ (comment "\"isUsedIn relates a useful thing - concrete or abstract to the Process in which it is used by some unspecified CognitiveAgent who uses it in that process. See related relation 'uses', specifying an object used by an Agent in an unspecified process.\"") (type INSTANCE) ;+ (allowed-classes IntentionalProcess) (create-accessor read-write)) (multislot holdsThePosition_S ;+ (comment "\"(holdsThePosition ?PERS ?POS of ?ORG) means that ?PERS holds the position of ?POS in organization ?ORG, and there is only one person at a time that can hold that position. so (holdsInContext (holdsThePositionOf BillClinton President of UnitedStates) 1994-2000) means that in the time interval 1994 through 2000 BillClinton was the one who occupied the position of President of the United States. The 'of' term is logically superfluous, added only to make the relation easier to read. This relation is not defined for function terms other than 'of'.\"") (type INSTANCE) ;+ (allowed-classes Organization) (create-accessor read-write)) (multislot greaterThan_S ;+ (comment "\"(&%greaterThan ?NUMBER1 ?NUMBER2) is true just in case the &%Quantity ?NUMBER1 is greater than the &%Quantity ?NUMBER2.\"") (type INSTANCE) ;+ (allowed-classes Quantity) ;+ (inverse-slot lessThan_S) (create-accessor read-write)) (multislot hasUniqueIdentifier_S ;+ (comment "\"hasUniqueIdentifier specifies the name of some entity which is unigue on some list of unique identifiers. The list must be specified, otherwise there is no guarantee that the same identifier is not also used to label some completely different entity. The IdentifierList is a UniqueList, i.e. the Identifier only occurs once as a term on that list. Each term \"") (type INSTANCE) ;+ (allowed-classes Identifier) (create-accessor read-write)) (multislot candidateForPosition_S ;+ (comment "\"(&%candidateForPosition ?ELECTION ?POSITION ?CONTENDER) means that in the &%Election ?ELECTION for ?POSITION, the &%Agent ?CONTENDER was one of the candidates.\"") (type INSTANCE) ;+ (allowed-classes Agent) (create-accessor read-write)) (single-slot CutSetFn_S ;+ (comment "\"A &%UnaryFunction that assigns a &%Graph the &%Class of &%GraphPaths that partition the graph into two separate graphs if cut. There may be more than one cutset for a given graph.\"") (type SYMBOL) ;+ (allowed-parents GraphPath) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot hasMentalRepresentation_S ;+ (comment "\"hasMentalRepresentation is the relation between a Physical Entity and the MentalEntity that represents it.\"") (type INSTANCE) ;+ (allowed-classes MentalEntity) ;+ (inverse-slot isTheMentalRepresentationOf_S) (create-accessor read-write)) (single-slot ExtensionFn_S ;+ (comment "\"A &%UnaryFunction that maps an &%Attribute into the &%Class whose condition for membership is the &%Attribute.\"") (type INSTANCE) ;+ (allowed-classes Class) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot names_S ;+ (comment "\"(&%names ?STRING ?ENTITY) means that the thing ?ENTITY has the &%SymbolicString ?STRING as its name. Note that &%names and &%represents are the two immediate &%subrelations of &%refers. The predicate &%names is used when the referring item is merely a tag without connotative content, while the predicate &%represents is used for referring items that have such content.\"") (type INSTANCE) ;+ (allowed-classes Entity) ;+ (cardinality 0 1) ;+ (inverse-slot hasName_S) ;+ (subslot-of refers_S) (create-accessor read-write)) (multislot checkAccount_S ;+ (comment "\"(&%checkAccount ?Check ?Account) means that ?Account is the &%FinancialAccount from which the amount specifed on the check is paid.\"") (type INSTANCE) ;+ (allowed-classes FinancialAccount) (create-accessor read-write)) (single-slot average_S ;+ (comment "\"A partial function that relates a &%List to a &%RealNumber, provided that the &%List only has list elements that are &%RealNumbers. The &%RealNumber associated with the &%List is equal to the mathematical average of the &%RealNumbers in the &%List divided by the total number of list elements.\"") (type INSTANCE) ;+ (allowed-classes RealNumber) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot governmentType_S ;+ (comment "\"(&%governmentType ?BODY ?FORM) means that the &%GeopoliticalArea or &%Organization ?BODY has a government with characteristic(s) of the type ?FORM.\"") (type INSTANCE) ;+ (allowed-classes FormOfGovernment) ;+ (subslot-of attribute_S) (create-accessor read-write)) (multislot address_S ;+ (comment "\"(&%address ?AGENT ?ADDRESS) means that ?ADDRESS is an address or part of an address for the &%Agent ?AGENT. address relates an instance of a CognitiveAgent to the unique designation of a stationary artifact, location, or mail drop where that agent can be contacted. This address includes buildings, room numbers, streets, mail drop numbers, and post office boxes, but excludes telephone numbers and other addresses that are not stationary. This is not the most general type of address.\"") (type INSTANCE) ;+ (allowed-classes Address) (create-accessor read-write)) (multislot isTheMentalRepresentationOf_S ;+ (comment "\"hasMentalRepresentation is the relation between a MentalEntity and the Physical entity that represents it.\"") (type INSTANCE) ;+ (allowed-classes Physical) ;+ (inverse-slot hasMentalRepresentation_S) (create-accessor read-write)) (single-slot SignumFn_S ;+ (comment "\"(SignumFn ?NUMBER) denotes the sign of ?NUMBER. This is one of the following values: -1, 1, or 0.\"") (type INSTANCE) ;+ (allowed-classes Integer) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot KappaFn_S ;+ (comment "\"A class-forming operator that takes two arguments: a variable and a formula containing at least one unbound occurrence of the variable. The result of applying &%KappaFn to a variable and a formula is the &%SetOrClass of things that satisfy the formula. For example, we can denote the &%SetOrClass of prime numbers that are less than 100 with the following expression: (KappaFn ?NUMBER (and (instance ?NUMBER PrimeNumber) (lessThan ?NUMBER 100))). Note that the use of this function is discouraged, since there is currently no axiomatic support for it.\"") (type INSTANCE) ;+ (allowed-classes Class) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot holds_S ;+ (comment "\"(holds P N1 ... NK) is true just in case the tuple of objects denoted by N1,..., NK is an element of the &%Relation P.\"") (type INSTANCE) ;+ (allowed-classes %3ARow) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot successorAttribute_S ;+ (comment "\"(&%successorAttribute ?ATTR1 ?ATTR2) means that ?ATTR2 is the &%Attribute that comes immediately after ?ATTR1 on the scale that they share.\"") (type INSTANCE) ;+ (allowed-classes Attribute) (create-accessor read-write)) (single-slot uniqueIdentifier_S ;+ (comment "\"The class of &%names that uniquely identify an instance of &%Entity. Some examples of &%uniqueIdentifiers are the keys of tables in database applications and the ISBN (International Standard Book Number).\"") (type INSTANCE) ;+ (allowed-classes Entity) ;+ (cardinality 0 1) ;+ (subslot-of names_S) (create-accessor read-write)) (single-slot PerFn_S ;+ (comment "\"&%PerFn maps two instances of &%ConstantQuantity to the &%FunctionQuantity composed of these two instances. For example, (&%PerFn (&%MeasureFn 2 (&%MicroFn &%Gram)) (&%MeasureFn 1 (&%KiloFn &%Gram))) denotes the &%FunctionQuantity of 2 micrograms per kiogram. This function is useful, because it allows the knowledge engineer to dynamically generate instances of &%FunctionQuantity.\"") (type INSTANCE) ;+ (allowed-classes FunctionQuantity) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot %3AidenticalTo ;+ (comment ":identicalTo points to other concepts within the ontology that are intended to be the same as the base concept. This is a way to work around the Protege restriction that no frame can be an instanceof more than one class, and no Slot can also be an instance, and no instance can also be a class.") (type STRING) ;+ (associated-facet SKIFcore4_00393) (create-accessor read-write)) (multislot greaterThanOrEqualTo_S ;+ (comment "\"(&%greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) is true just in case the &%Quantity ?NUMBER1 is greater than the &%Quantity ?NUMBER2.\"") (type INSTANCE) ;+ (allowed-classes Quantity) ;+ (inverse-slot lessThanOrEqualTo_S) (create-accessor read-write)) (multislot capability_S ;+ (comment "\"(&%capability ?PROCESS ?ROLE ?OBJ) means that ?OBJ has the ability to play the role of ?ROLE in &%Processes of type ?PROCESS.\"") (type INSTANCE) ;+ (allowed-classes Object) (create-accessor read-write)) (multislot hasAssociatedSituation_S ;+ (comment "\"(hasAssociatedSituation ?Sit1 ?Sit2) asserts that ?Sit1 has ?Sit2 associated with it, either necessarily or pragmatically (i.e. probabilistically, e.g. one situation usually is followed by or simultaneously occurs with ?Sit2, whether causally or otherwise). Such associations are important to Agent in determining whether one action may be beneficial or harmful.\"") (type INSTANCE) ;+ (allowed-classes Situation) (create-accessor read-write)) (multislot hasReferent_S ;+ (comment "\"hasReferent relates an AbstractInformationalEntity to an entity, physical or abstract, to which the abstract informational entity refers. This the abstract string 'cat' may refer to a physical cat.\"") (type INSTANCE) ;+ (allowed-classes Entity) ;+ (inverse-slot isReferencedBy_S) (create-accessor read-write)) (single-slot %3AStartingBlock ;+ (comment "The block number fot the block ich starts this module - which should be the module definition block itself.") (type INTEGER) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot consistent_S ;+ (comment "\"(&%consistent ?PROP1 ?PROP2) means that the two &%Propositions ?PROP1 and ?PROP2 are consistent with one another, i.e. it is possible for both of them to be true at the same time.\"") (type INSTANCE) ;+ (allowed-classes Proposition) ;+ (inverse-slot consistent_S) (create-accessor read-write)) (multislot hasaTextComponent_S ;+ (comment "\"hasaTextComponent relates an AbstractText to one or more AbstractTexts contained within the document. It is a TotalValuedRelation, so every AbstractText has at last one AbstractText in it. The text component can be as short as one word, e.g. a brief memo or an image with a label.\"") (type INSTANCE) ;+ (allowed-classes AbstractText) ;+ (inverse-slot isaTextComponentOf_S) (create-accessor read-write)) (single-slot PrincipalHostFn_S ;+ (comment "\"A &%UnaryFunction that maps a &%Hole to the &%Object which is its principal host. The principle host of a &%Hole is its maximally connected host (a notion taken here to be defined only when the argument is a hole).\"") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot domainSubclass_S ;+ (comment "\"&%Predicate used to specify argument type restrictions of &%Predicates. The formula (&%domainSubclass ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be a subclass of ?CLASS.\"") (type INSTANCE) ;+ (allowed-classes SetOrClass) (create-accessor read-write)) (multislot lessThanOrEqualTo_S ;+ (comment "\"(&%lessThanOrEqualTo ?NUMBER1 ?NUMBER2) is true just in case the &%Quantity ?NUMBER1 is less than or equal to the &%Quantity ?NUMBER2.\"") (type INSTANCE) ;+ (allowed-classes Quantity) ;+ (inverse-slot greaterThanOrEqualTo_S) (create-accessor read-write)) (multislot %3AClassPredicates ;+ (comment ":ClassPredicates shows the list of predicates which are asserted on a class but do not have their own facet pane in the class display window. They are given as strings and do not directly point to the classes or instances whjich may be values of the predicate arguments.") (type STRING) (create-accessor read-write)) (single-slot subsumingExternalConcept_S ;+ (comment "\"(&%subsumingExternalConcept ?STRING ?THING ?LANGUAGE) means that the SUMO concept ?THING subsumes the meaning of ?STRING in ?LANGUAGE, i.e. the concept ?THING is broader in meaning than ?STRING.\"") (type INSTANCE) ;+ (allowed-classes %3ALanguage) ;+ (cardinality 0 1) ;+ (subslot-of relatedExternalConcept) (create-accessor read-write)) (multislot sibling_S ;+ (comment "\"The relationship between two &%Organisms that have the same &%mother and &%father. Note that this relationship does not hold between half-brothers, half-sisters, etc.\"") (type INSTANCE) ;+ (allowed-classes Organism) ;+ (inverse-slot sibling_S) ;+ (subslot-of familyRelation_S) (create-accessor read-write)) (single-slot PastFn_S ;+ (comment "\"A &%UnaryFunction that maps a &%TimePosition to the &%TimeInterval that meets it and that begins at &%NegativeInfinity.\"") (type INSTANCE) ;+ (allowed-classes TimeInterval) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot EditionFn_S ;+ (comment "\"A &%BinaryFunction that maps a type of text (e.g. Agatha Christie's Murder_on_the_Orient_Express) and a number to the edition of the text type corresponding to the number.\"") (type SYMBOL) ;+ (allowed-parents ContentBearingObject) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot graphPart_S ;+ (comment "\"A basic relation for &%Graphs and their parts. (&%graphPart ?PART ?GRAPH) means that ?PART is a &%GraphArc or &%GraphNode of the &%Graph ?GRAPH.\"") (type INSTANCE) ;+ (allowed-classes Graph) (create-accessor read-write)) (multislot developmentalForm_S ;+ (comment "\"(&%developmentalForm ?OBJECT ?FORM) means that ?FORM is an earlier stage in the individual maturation of ?OBJECT. For example, tadpole and caterpillar are &%developmentalForms of frogs and butterflies, respectively.\"") (type INSTANCE) ;+ (allowed-classes DevelopmentalAttribute) ;+ (subslot-of attribute_S) (create-accessor read-write)) (multislot interestEarned_S ;+ (comment "\"(&%interestEarned ?Account ?Interest ?Period) means that ?Interest is the amount earned on the &%FinancialAccount ?Account, for the &%TimeInterval ?Period.\"") (type INSTANCE) ;+ (allowed-classes TimeInterval) (create-accessor read-write)) (single-slot half_S ;+ (comment "\"(&%half ?HALF ?WHOLE) means that ?HALF is one half of ?WHOLE.\"") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of part_S) (create-accessor read-write)) (multislot increasesLikelihood_S ;+ (comment "\"One of the basic &%ProbabilityRelations. (&%increasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is more likely to be true if ?FORMULA1 is true.\"") (type INSTANCE) ;+ (allowed-classes Formula) (create-accessor read-write)) (single-slot LogFn_S ;+ (comment "\"(LogFn ?NUMBER ?INT) returns the logarithm of the &%RealNumber ?NUMBER in the base denoted by the &%Integer ?INT.\"") (type INSTANCE) ;+ (allowed-classes RealNumber) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot earlier_S ;+ (comment "\"(&%earlier ?INTERVAL1 ?INTERVAL2) means that the &%TimeInterval ?INTERVAL1 ends before the &%TimeInterval ?INTERVAL2 begins.\"") (type INSTANCE) ;+ (allowed-classes TimeInterval) (create-accessor read-write)) (multislot causesSubclass_S ;+ (comment "\"The causation relation between subclasses of &%Process. (&%causesSubclass ?PROCESS1 ?PROCESS2) means that the subclass of &%Process ?PROCESS1 brings about the subclass of &%Process ?PROCESS2, e.g. (&%causes &%Killing &%Death).\"") (type SYMBOL) ;+ (allowed-parents Process) (create-accessor read-write)) (single-slot %3AinLanguage ;+ (comment "inLanguage relates a word -- a string of characters -- to the language in which it is a word.\nThe language may be natural or artificial -- e.g. the terms in an ontology are considered a language for this purpose.") (type INSTANCE) ;+ (allowed-classes %3AHumanLanguage) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot TimeIntervalFn_S ;+ (comment "\"A &%BinaryFunction that takes two &%TimePoints as arguments and returns the &%TimeInterval defined by these two &%TimePoints. Note that the first &%TimePoint must occur earlier than the second &%TimePoint.\"") (type INSTANCE) ;+ (allowed-classes TimeInterval) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot temporalPart_S ;+ (comment "\"The temporal analogue of the spatial &%part predicate. (&%temporalPart ?POS1 ?POS2) means that &%TimePosition ?POS1 is part of &%TimePosition ?POS2. Note that since &%temporalPart is a &%ReflexiveRelation every &%TimePostion is a &%temporalPart of itself.\"") (type INSTANCE) ;+ (allowed-classes TimePosition) (create-accessor read-write)) (single-slot connectsEngineeringComponents_S ;+ (comment "\"&%connectsEngineeringComponents is a &%TernaryPredicate that maps from an &%EngineeringConnection to the &%EngineeringComponents it connects. Since &%EngineeringComponents cannot be connected to themselves and there cannot be an &%EngineeringConnection without a &%connectedEngineeringComponents &%Predicate, the second and third arguments of any &%connectsEngineeringComponents relationship will always be distinct for any given first argument.\"") (type INSTANCE) ;+ (allowed-classes EngineeringComponent) ;+ (cardinality 0 1) ;+ (subslot-of connects_S) (create-accessor read-write)) (single-slot penetrates_S ;+ (comment "\"(penetrates ?OBJ1 ?OBJ2) means that ?OBJ1 is &%connected to ?OBJ2 along at least one whole dimension (length, width or depth).\"") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of traverses_S meetsSpatially_S) (create-accessor read-write)) (multislot husband_S ;+ (comment "\"(&%husband ?MAN ?WOMAN) means that ?MAN is the husband of ?WOMAN.\"") (type INSTANCE) ;+ (allowed-classes Woman) ;+ (inverse-slot wife_S) ;+ (subslot-of spouse_S) (create-accessor read-write)) (multislot relatedExternalConcept ;+ (comment "\"Used to signify a three-place relation between a concept in an external knowledge source, a concept in the SUMO, and the name of the other knowledge source.\"") (type INSTANCE) ;+ (allowed-classes %3ALanguage) (create-accessor read-write)) (single-slot not_S ;+ (comment "\"The truth-functional connective of negation. This relation definition was modified by P. Cassidy November 2003 to specify that 'not' is an instance of UnaryRelation\"") (type STRING) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot PeriodicalIssueFn_S ;+ (comment "\"A &%BinaryFunction that maps a subclass of &%Periodical and a number to all of the issues of the &%Periodical corresponding to the number.\"") (type SYMBOL) ;+ (allowed-parents Periodical) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot economyType_S ;+ (comment "\"(&%economyType ?POLITY ?TYPE) means that the &%GeopoliticalArea ?POLITY has an economic system of &%TYPE.\"") (type INSTANCE) ;+ (allowed-classes EconomicAttribute) ;+ (subslot-of attribute_S) (create-accessor read-write)) (multislot temporallyBetweenOrEqual_S ;+ (comment "\"(&%temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) means that the &%TimePoint ?POINT1 is before or equal to the &%TimePoint ?POINT2 and ?POINT2 is before or equal to the &%TimePoint ?POINT3.\"") (type INSTANCE) ;+ (allowed-classes TimePoint) (create-accessor read-write)) (single-slot immediateSubclass_S ;+ (comment "\"A &%SetOrClass ?CLASS1 is an &%immediateSubclass of another &%SetOrClass ?CLASS2 just in case ?CLASS1 is a subclass of ?CLASS2 and there is no other subclass of ?CLASS2 such that ?CLASS1 is also a subclass of it.\"") (type INSTANCE) ;+ (allowed-classes SetOrClass) ;+ (cardinality 0 1) ;+ (subslot-of subclass_S) (create-accessor read-write)) (single-slot MultiplicationFn_S ;+ (comment "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%MultiplicationFn ?NUMBER1 ?NUMBER2) is the arithmetical product of these numbers.\"") (type INSTANCE) ;+ (allowed-classes Quantity) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot partiallyFills_S ;+ (comment "\"(&%partiallyFills ?OBJ ?HOLE) means that ?OBJ &%completelyFills some part of ?HOLE. Note that if (&%partiallyFills ?OBJ1 ?HOLE) and (&%part ?OBJ1 ?OBJ2), then (&%partiallyFills ?OBJ2 ?HOLE). Note too that a partial filler need not be wholly inside a hole (it may stick out), which means that every complete filler also qualifies as (is a limit case of) a partial one.\"") (type INSTANCE) ;+ (allowed-classes Hole) ;+ (subslot-of located_S) (create-accessor read-write)) (single-slot LeastCommonMultipleFn_S ;+ (comment "\"(&%LeastCommonMultipleFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the least common multiple of ?NUMBER1 through ?NUMBER.\"") (type INSTANCE) ;+ (allowed-classes %3ARow) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot orientation_S ;+ (comment "\"A general &%Predicate for indicating how two &%Objects are oriented with respect to one another. For example, (orientation ?OBJ1 ?OBJ2 North) means that ?OBJ1 is north of ?OBJ2, and (orientation ?OBJ1 ?OBJ2 Vertical) means that ?OBJ1 is positioned vertically with respect to ?OBJ2.\"") (type INSTANCE) ;+ (allowed-classes PositionalAttribute) (create-accessor read-write)) (multislot %3AisaSubrelationOf ;+ (comment ":isaSubrelationOf points from a slot to the parent relation, if any.") (type INSTANCE) ;+ (allowed-classes %3AUBL-SLOT) ;+ (associated-facet SKIFcore_00426) (create-accessor read-write)) (single-slot financialAsset_S ;+ (comment "\"A predicate that relates an &%Agent to any item of economic value owned by the &%Agent. Examples of financial assets are cash, securities, accounts receivable, inventory, office equipment, a house, a car, and other property.\"") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of possesses_S) (create-accessor read-write)) (multislot irreflexiveOn_S ;+ (comment "\"A &%BinaryRelation is irreflexive on a &%SetOrClass only if no instance of the &%SetOrClass bears the relation to itself.\"") (type INSTANCE) ;+ (allowed-classes SetOrClass) (create-accessor read-write)) (multislot origin_S ;+ (comment "\"(&%origin ?PROCESS ?SOURCE) means that ?SOURCE indicates where the ?Process began. Note that this relation implies that ?SOURCE is present at the beginning of the process, but need not participate throughout the process. For example, the submarine is the &%origin in the following proposition: the missile was launched from a submarine.\"") (type INSTANCE) ;+ (allowed-classes Object) (create-accessor read-write)) (single-slot CeilingFn_S ;+ (comment "\"(&%CeilingFn ?NUMBER) returns the smallest &%Integer greater than or equal to the &%RealNumber ?NUMBER.\"") (type INSTANCE) ;+ (allowed-classes Integer) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot prefers_S ;+ (comment "\"(&%prefers ?AGENT ?FORMULA1 ?FORMULA2) means that &%CognitiveAgent ?AGENT prefers the state of affairs expressed by ?FORMULA1 over the state of affairs expressed by ?FORMULA2 all things being equal.\"") (type INSTANCE) ;+ (allowed-classes Formula) (create-accessor read-write)) (multislot voteFractionReceived_S ;+ (comment "\"(&%voteFractionReceived ?ELECTION ?POSITION ?CONTENDER ?FRACTION) means that in the &%Election ?ELECTION for ?POSITION, the &%Agent ?CONTENDER received ?FRACTION of the votes cast. Contenders may be either persons or political parties.\"") (type INSTANCE) ;+ (allowed-classes RealNumber) (create-accessor read-write)) (single-slot PremisesFn_S ;+ (comment "\"(&%PremisesFn ?ARGUMENT) returns the complete set of &%premises of the &%Argument ?ARGUMENT.\"") (type INSTANCE) ;+ (allowed-classes Proposition) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot %3ASUO-name ;+ (comment "The :SUO-name is the name of an instance that is used for display. This is an important element of the ontology as it permits the assignment of instances to multiple classes, a tactic forbidden by the Protege program, which requires that all frame names be unique.\n Thus, if an instance of any concept has a :SUO-name, that name is the one that will appear in \"instance\" propositions that are exported to a KIF data file.") (type STRING) ;+ (cardinality 0 1) ;+ (associated-facet KIFcore2_00373) (create-accessor read-write)) (multislot hasSkill_S ;+ (comment "\"Similar to the &%capability &%Predicate with the additional restriction that the ability be practised/ demonstrated to some measurable degree.\"") (type INSTANCE) ;+ (allowed-classes Agent) (create-accessor read-write)) (single-slot TeraFn_S ;+ (comment "\"A &%UnaryFunction that maps a &%UnitOfMeasure into a &%UnitOfMeasure that is equal to 1,000,000,000,000 units of the original &%UnitOfMeasure. For example, (&%TeraFn &%Hertz) is 1,000,000,000,000 &%Hertz.\"") (type INSTANCE) ;+ (allowed-classes UnitOfMeasure) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot disjointRelation ;+ (comment "\"This predicate relates any number of &%Relations. (&%disjointRelation @ROW) means that any two relations in @ROW have no tuples in common. As a consequence, the intersection of all of the relations in @ROW is the null set.\"") (type INSTANCE) ;+ (allowed-classes %3AUBL-SLOT) ;+ (associated-facet SKIFcore4_00381) (create-accessor read-write)) (multislot disjoint ;+ (comment "\"&%Classes are &%disjoint only if they share no instances, i.e. just in case the result of applying &%IntersectionFn to them is empty.\"") (type INSTANCE) ;+ (allowed-classes %3AUBL-CLASS %3ASetOrClass) ;+ (inverse-slot disjoint) (create-accessor read-write)) (multislot capitalCity_S ;+ (comment "\"(&%capitalCity ?CITY ?REGION) means that the &%City ?CITY is the capital of the &%GeopoliticalArea ?REGION.\"") (type INSTANCE) ;+ (allowed-classes GeopoliticalArea) ;+ (subslot-of administrativeCenter_S) (create-accessor read-write)) (multislot subPlan_S ;+ (comment "\"(&%subPlan ?PLAN1 ?PLAN2) means that ?PLAN1 is a &%Plan which is a proper part of ?PLAN2. This relation is generally used to relate a supporting &%Plan to the overall &%Plan in a particular context.\"") (type INSTANCE) ;+ (allowed-classes Plan) ;+ (subslot-of subProposition_S) (create-accessor read-write)) (multislot subsumesContentInstance_S ;+ (comment "\"A &%BinaryPredicate relating two instances of &%ContentBearingObject. (&%subsumesContentInstance ?OBJ1 ?OBJ2) means that the content expressed by ?OBJ2 is part of the content expressed by ?OBJ1. An example is the relationship between a handwritten poem and one of its stanzas. Note that this is a relation between instances, rather than &%Classes. If one wants to assert a content relationship between &%Classes, e.g. between the version of an intellectual work and a part of that work, the relation &%subsumesContentClass should be used.\"") (type INSTANCE) ;+ (allowed-classes ContentBearingObject) (create-accessor read-write)) (multislot maximumCardinality_S ;+ (comment "\"(maximumCardinality ?REL ?NUMBER) means that, for any given assignment of a first argument to ?REL, there will be at most ?NUMBER assignments to the second argument of ?REL.\"") (type INSTANCE) ;+ (allowed-classes NonnegativeInteger) (create-accessor read-write)) (multislot desires_S ;+ (comment "\"(&%desires ?AGENT ?FORMULA) means that ?AGENT wants to bring about the state of affairs expressed by ?FORMULA. Note that there is no implication that what is desired by the agent is not already true. Note too that &%desires is distinguished from &%wants only in that the former is a &%PropositionalAttitude, while &%wants is an &%ObjectAttitude.\"") (type INSTANCE) ;+ (allowed-classes Formula) ;+ (subslot-of inScopeOfInterest_S) (create-accessor read-write)) (multislot principalAmount_S ;+ (comment "\"(&%principalAmount ?ACCOUNT ?BALANCE) means that ?BALANCE is the amount originally borrowed (excluding interest).\"") (type INSTANCE) ;+ (allowed-classes CurrencyMeasure) (create-accessor read-write)) (multislot meetsTemporally_S ;+ (comment "\"(&%meetsTemporally ?INTERVAL1 ?INTERVAL2) means that the terminal point of the &%TimeInterval ?INTERVAL1 is the initial point of the &%TimeInterval ?INTERVAL2.\"") (type INSTANCE) ;+ (allowed-classes TimeInterval) (create-accessor read-write)) (multislot isBadForAgent_S ;+ (comment "\"isBadForAgent relates a situation (state, event, process) that may be undesirable or harmful to some agent to that agent to whom it is a negative thing. This relation assumes that everything that can be labeled 'bad' or 'good has that quality in respect to some Agent.\"") (type INSTANCE) ;+ (allowed-classes Agent) (create-accessor read-write)) (single-slot SecondFn_S ;+ (comment "\"A &%BinaryFunction that assigns a &%PositiveRealNumber and a subclass of &%Minutes to the &%Seconds within each &%Minute corresponding to that &%PositiveRealNumber. For example, (&%SecondFn 4 (&%MinuteFn 5 &%Hour)) is the &%Class of all fourth &%Seconds of every fifth &%Minute of every hour. For another example, (&%SecondFn 8 &%Minute) would return the eighth second of every minute. For still another example, (&%SecondFn 9 (&%MinuteFn 15 (&%HourFn 14 (&%DayFn 18 (&%MonthFn 8 (YearFn 1912)))))) denotes 9 seconds and 15 minutes after 2 PM on the 18th day of August 1912.\"") (type SYMBOL) ;+ (allowed-parents Second) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot MereologicalProductFn_S ;+ (comment "\"(&%MereologicalProductFn ?OBJ1 ?OBJ2) denotes the &%Object consisting of the parts which belong to both ?OBJ1 and ?OBJ2.\"") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot subCollection_S ;+ (comment "\"(&%subCollection ?COLL1 ?COLL2) means that the &%Collection ?COLL1 is a proper part of the &%Collection ?COLL2.\"") (type INSTANCE) ;+ (allowed-classes Collection) (create-accessor read-write)) (single-slot ExponentiationFn_S ;+ (comment "\"(&%ExponentiationFn ?NUMBER ?INT) returns the &%RealNumber ?NUMBER raised to the power of the &%Integer ?INT.\"") (type INSTANCE) ;+ (allowed-classes Quantity) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot sideOfFigure_S ;+ (comment "\"(&%sideOfFigure ?SIDE ?FIGURE) means that the &%OneDimensionalFigure ?POINT is a side of the &%GeometricFigure ?FIGURE.\"") (type INSTANCE) ;+ (allowed-classes GeometricFigure) ;+ (cardinality 0 1) ;+ (subslot-of geometricPart_S) (create-accessor read-write)) (single-slot RemainderFn_S ;+ (comment "\"(RemainderFn ?NUMBER ?DIVISOR) is the remainder of the number ?NUMBER divided by the number ?DIVISOR. The result has the same sign as ?DIVISOR.\"") (type INSTANCE) ;+ (allowed-classes Quantity) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot geopoliticalSubdivision_S ;+ (comment "\"(&%geopoliticalSubdivision ?AREA1 ?AREA2) means that ?AREA1 is any geopolitical part of ?AREA2; that is, ?AREA1 is an integral &%geographicSubregion of ?AREA2 (not a &%DependencyOrSpecialSovereigntyArea), having its own associated &%GovernmentOrganization which is subordinated to or constrained by the government of ?AREA2. Cf. &%dependentGeopoliticalArea.\"") (type INSTANCE) ;+ (allowed-classes GeopoliticalArea) ;+ (subslot-of geographicSubregion_S) (create-accessor read-write)) (single-slot %3AAXIOMS ;+ (comment "Axioms from SUMO or other sources, constraining the meaning of the slot.") (type STRING) ;+ (cardinality 0 1) ;+ (associated-facet UBLinv014_00277) (create-accessor read-write)) (multislot considers_S ;+ (comment "\"(&%considers ?AGENT ?FORMULA) means that ?AGENT considers or wonders about the truth of the proposition expressed by ?FORMULA.\"") (type INSTANCE) ;+ (allowed-classes Formula) ;+ (subslot-of inScopeOfInterest_S) (create-accessor read-write)) (multislot %3AInstanceAssertions ;+ (comment "assertions at the instance level that reference this instance.") (type INSTANCE) ;+ (allowed-classes %3AAssertion) (create-accessor read-write)) (multislot partlyLocated_S ;+ (comment "\"(&%partlyLocated ?THING ?OBJ) means that the instance of &%Physical ?THING is at least partially located at ?OBJ. For example, Istanbul is partly located in Asia and partly located in Europe. Note that &%partlyLocated is the most basic localization relation: &%located is an immediate &%subrelation of &%partlyLocated and &%exactlyLocated is an immediate &%subrelation of &%located.\"") (type INSTANCE) ;+ (allowed-classes Object) (create-accessor read-write)) (multislot lineMeasure_S ;+ (comment "\"(&%lineMeasure ?LINE ?MEASURE) means that the straight line ?LINE has the &%LengthMeasure of ?MEASURE.\"") (type INSTANCE) ;+ (allowed-classes LengthMeasure) (create-accessor read-write)) (multislot isMaintainedBy_S ;+ (comment "\"isMaintainedBy is used to assert that a particular instance of an entity can be modified in some way, and specifies the agent who has the authority or responsibility to do the modifying. In this relation, the method of modifying is unspecified. The entity maintained can be physical, such as a building maintained by its owner or manager, or an AbstractCode, maintained by a StandardsAuthority. In the general case, there may be more than one maintaining agent.\"") (type INSTANCE) ;+ (allowed-classes CognitiveAgent) (create-accessor read-write)) (multislot amountDue_S ;+ (comment "\"(&%amountDue ?ACCOUNT ?AMOUNT ?DATE) means ?DATE is the date on which the amount of Money ?AMOUNT of a particular ?ACCOUNT is due and payable\"") (type INSTANCE) ;+ (allowed-classes TimePosition) (create-accessor read-write)) (multislot stockOf_S ;+ (comment "\"(&%stockOf ?Stock ?Corporation) means that ?Stock is issued by the &%Corporation ?Corporation.\"") (type INSTANCE) ;+ (allowed-classes Corporation) (create-accessor read-write)) (multislot patientMedical_S ;+ (comment "\"The relation of receiving medical care from a recognized medical practitioner. (&%patientMedical ?PATIENT ?DOCTOR) means that ?PATIENT is the patient of ?DOCTOR. Note that argument type restriction on the second argument is &%CognitiveAgent to allow for cases where someone is the patient of an &%Organization, viz. a &%CareOrganization.\"") (type INSTANCE) ;+ (allowed-classes CognitiveAgent) (create-accessor read-write)) (multislot partition ;+ (comment "\"A &%partition of a class C is a set of mutually &%disjoint classes (a subclass partition) which covers C. Every instance of C is an instance of exactly one of the subclasses in the partition.\"") (type INSTANCE) ;+ (allowed-classes %3AUBL-CLASS %3ATHING) (create-accessor read-write)) (multislot uses_S ;+ (comment "\"(&%uses ?OBJECT AGENT) means that ?OBJECT is used by ?AGENT as an instrument in an unspecified &%Process. This &%Predicate, as its corresponding axiom indicates, is a composition of the &%CaseRoles &%agent and &%instrument.\"") (type INSTANCE) ;+ (allowed-classes Agent) (create-accessor read-write)) (multislot experiencer_S ;+ (comment "\"(&%experiencer ?PROCESS ?AGENT) means that ?AGENT experiences the &%Process ?PROCESS. For example, Yojo is the &%experiencer of seeing in the following proposition: Yojo sees the fish. Note that &%experiencer, unlike &%agent, does not entail a causal relation between its arguments.\"") (type INSTANCE) ;+ (allowed-classes Agent) (create-accessor read-write)) (single-slot LastFn_S ;+ (comment "\"(&%LastFn ?LIST) returns the last item in the &%List ?LIST. For example, (&%LastFn (&%ListFn &%Monday &%Tuesday &%Wednesday)) would return the value of &%Wednesday.\"") (type INSTANCE) ;+ (allowed-classes Entity) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot spouse_S ;+ (comment "\"The relationship of marriage between two &%Humans.\"") (type INSTANCE) ;+ (allowed-classes Human) ;+ (inverse-slot spouse_S) ;+ (subslot-of legalRelation_S) (create-accessor read-write)) (multislot rangeSubclass_S ;+ (comment "\"(&%rangeSubclass ?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are &%subclasses of ?CLASS.\"") (type SYMBOL) ;+ (allowed-parents SetOrClass) (create-accessor read-write)) (multislot tangent_S ;+ (comment "\"(&%tangent ?LINE ?CIRCLE) means that the straight line ?LINE is tangent to the &%Circle ?CIRCLE, i.e. ?LINE touches ?CIRCLE without intersecting it.\"") (type INSTANCE) ;+ (allowed-classes Circle) (create-accessor read-write)) (multislot reflexiveOn_S ;+ (comment "\"A &%BinaryRelation is reflexive on a &%SetOrClass only if every instance of the &%SetOrClass bears the relation to itself.\"") (type INSTANCE) ;+ (allowed-classes SetOrClass) (create-accessor read-write)) (multislot subsumesContentClass_S ;+ (comment "\"A &%BinaryPredicate that relates two subclasses of &%ContentBearingObject. (&%subsumesContentClass ?CLASS1 ?CLASS2) means that the content expressed by each instance of ?CLASS2 is also expressed by each instance of ?CLASS1. Examples include the relationship between a poem and one of its stanzas or between a book and one of its chapters. Note that this is a relation between subclasses of &%ContentBearingObject, rather than instances. If one wants to relate instances, the &%Predicate &%subsumesContentInstance can be used. Note that &%subsumesContentClass is needed in many cases. Consider, for example, the relation between the King James edition of the Bible and its Book of Genesis. This relation holds for every copy of this edition and not just for a single instance.\"") (type SYMBOL) ;+ (allowed-parents ContentBearingObject) (create-accessor read-write)) (single-slot PowerSetFn_S ;+ (comment "\"(&%PowerSetFn ?CLASS) maps the &%SetOrClass ?CLASS to the &%SetOrClass of all &%subclasses of ?CLASS.\"") (type SYMBOL) ;+ (allowed-parents SetOrClass) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot doubts_S ;+ (comment "\"(&%doubts ?AGENT ?FORMULA) means that ?AGENT is unsure about the truth of ?FORMULA, in particular ?AGENT does not believe that ?FORMULA is true.\"") (type INSTANCE) ;+ (allowed-classes Formula) (create-accessor read-write)) (single-slot ComplementFn_S ;+ (comment "\"The complement of a given &%SetOrClass C is the &%SetOrClass of all things that are not instances of C. In other words, an object is an instance of the complement of a &%SetOrClass C just in case it is not an instance of C.\"") (type INSTANCE) ;+ (allowed-classes SetOrClass) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot version_S ;+ (comment "\"Some &%Artifacts have a life cycle with discrete stages or versions. (&%version ARTIFACT1 ARTIFACT2) means that ARTIFACT1 is a version of ARTIFACT2. Note that this &%Predicate relates subclasses of &%Artifact and not instances.\"") (type SYMBOL) ;+ (allowed-parents Artifact) (create-accessor read-write)) (single-slot SineFn_S ;+ (comment "\"(&%SineFn ?DEGREE) is the sine of the &%PlaneAngleMeasure ?DEGREE. The sine of ?DEGREE is the ratio of the side opposite ?DEGREE to the hypotenuse in a right-angled triangle.\"") (type INSTANCE) ;+ (allowed-classes RealNumber) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot realization_S ;+ (comment "\"A subrelation of &%represents. (&%realization ?PROCESS ?PROP) means that ?PROCESS is a Process which expresses the content of ?PROP. Examples include a particular musical performance, which realizes the content of a musical score, or the reading of a poem.\"") (type INSTANCE) ;+ (allowed-classes Proposition) ;+ (subslot-of represents_S) (create-accessor read-write)) (single-slot IntersectionFn_S ;+ (comment "\"A &%BinaryFunction that maps two %SetOrClasses to the intersection of these &%SetOrClasses. An object is an instance of the intersection of two &%SetOrClasses just in case it is an instance of both of those &%SetOrClasses.\"") (type INSTANCE) ;+ (allowed-classes SetOrClass) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot hasIntendedAudience_S ;+ (comment "\"hasIntendedAudience relates a Communication, which is an abstract Proposition, to the audience to whom the author of the Communication has directed it. This is not necessarily identical to the group of agents that read or experience the communication. The intended audiences of subclasses of Communication may be more restricted. See class 'Message'.\"") (type INSTANCE) ;+ (allowed-classes AgentGroup) (create-accessor read-write)) (multislot before_S ;+ (comment "\"(&%before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline.\"") (type INSTANCE) ;+ (allowed-classes TimePoint) ;+ (subslot-of beforeOrEqual_S) (create-accessor read-write)) (single-slot PerCapitaFn_S ;+ (comment "\"(&%PerCapitaFn ?AREA ?QUANTITY) denotes the average amount of ?QUANTITY possessed by a resident of &%GeopoliticalArea ?AREA.\"") (type INSTANCE) ;+ (allowed-classes Quantity) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot LegislatureFn_S ;+ (comment "\"(&%LegislatureFn ?AREA) denotes the legislative branch of the &%GeopoliticalArea ?AREA.\"") (type INSTANCE) ;+ (allowed-classes LegislativeOrganization) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot inList_S ;+ (comment "\"The analog of &%element and &%instance for &%Lists. (&%inList ?OBJ ?LIST) means that ?OBJ is in the &%List ?LIST. For example, (&%inList &%Tuesday (&%ListFn &%Monday &%Tuesday &%Wednesday)) would be true.\"") (type INSTANCE) ;+ (allowed-classes List) (create-accessor read-write)) (single-slot MinuteFn_S ;+ (comment "\"A &%BinaryFunction that assigns a &%PositiveRealNumber and a subclass of &%Hours to the &%Minutes within each &%Hour corresponding to that &%PositiveRealNumber. For example, (&%MinuteFn 30 (&%HourFn 17 &%Day)) is the &%Class of all 5:30's in the afternoon. For another example, (&%MinuteFn 15 &%Hour) would return the class of all instances of quarter past the hour. For still another example, (&%MinuteFn 15 (&%HourFn 14 (&%DayFn 18 (&%MonthFn 8 (YearFn 1912))))) denotes 15 minutes after 2 PM on the 18th day of August 1912.\"") (type SYMBOL) ;+ (allowed-parents Minute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot teacher_S ;+ (comment "\"(&%teacher ?AGENT ?ORG) means that ?AGENT is a teacher at the &%EducationalOrganization ?ORG.\"") (type INSTANCE) ;+ (allowed-classes CognitiveAgent) ;+ (cardinality 0 1) ;+ (subslot-of member_S) (create-accessor read-write)) (single-slot SubtractionFn_S ;+ (comment "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%SubtractionFn ?NUMBER1 ?NUMBER2) is the arithmetical difference between ?NUMBER1 and ?NUMBER2, i.e. ?NUMBER1 minus ?NUMBER2. An exception occurs when ?NUMBER1 is equal to 0, in which case (&%SubtractionFn ?NUMBER1 ?NUMBER2) is the negation of ?NUMBER2.\"") (type INSTANCE) ;+ (allowed-classes Quantity) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot domain_S ;+ (comment "\"Provides a computationally and heuristically convenient mechanism for declaring the argument types of a given relation. The formula (&%domain ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be an instance of ?CLASS. Specifying argument types is very helpful in maintaining ontologies. Representation systems can use these specifications to classify terms and check integrity constraints. If the restriction on the argument type of a &%Relation is not captured by a &%SetOrClass already defined in the ontology, one can specify a &%SetOrClass compositionally with the functions &%UnionFn, &%IntersectionFn, etc.\"") (type INSTANCE) ;+ (allowed-classes SetOrClass) (create-accessor read-write)) (single-slot diameter_S ;+ (comment "\"&%BinaryPredicate that is used to state the measure of a circular &%Object from side to side. (&%diameter ?CIRCLE ?LENGTH) means that the diameter of the &%Circle ?CIRCLE has a length of ?LENGTH.\"") (type INSTANCE) ;+ (allowed-classes LengthMeasure) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot valence_S ;+ (comment "\"Specifies the number of arguments that a relation can take. If a relation does not have a fixed number of arguments, it does not have a valence and it is an instance of &%VariableArityRelation. For example, &%holds is a &%VariableArityRelation.\"") (type INSTANCE) ;+ (allowed-classes PositiveInteger) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot EndFn_S ;+ (comment "\"A &%UnaryFunction that maps a &%TimeInterval to the &%TimePoint at which the interval ends.\"") (type INSTANCE) ;+ (allowed-classes TimePoint) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot direction_S ;+ (comment "\"(&%direction ?PROC ?ATTR) means that the &%Process ?PROC is moving in the direction ?ATTR. For example, one would use this &%Predicate to represent the fact that Max is moving &%North.\"") (type INSTANCE) ;+ (allowed-classes DirectionalAttribute) (create-accessor read-write)) (multislot containsInformation_S ;+ (comment "\"A subrelation of &%represents. This predicate relates a &%ContentBearingObject to the &%Proposition that is` expressed by the &%ContentBearingObject. Examples include the relationships between a physical novel and its story and between a printed score and its musical content.\"") (type INSTANCE) ;+ (allowed-classes Proposition) ;+ (inverse-slot isTheInformationContainedIn_S) ;+ (subslot-of represents_S) (create-accessor read-write)) (single-slot RecurrentTimeIntervalFn_S ;+ (comment "\"A function that is useful for generating recurring time intervals. For example, (&%RecurrentTimeIntervalFn (&%HourFn 6 &%Day) (&%HourFn 12 &%Day)) returns the &%Class of &%TimeIntervals beginning at 6 in the morning and ending at 12 noon. For another example, (&%RecurrentTimeInterval &%Saturday &%Sunday) returns the &%Class of all weekends. For still another example,(&%RecurrentTimeInterval &%June &%August) returns the &%Class containing the academic summer period.\"") (type SYMBOL) ;+ (allowed-parents RecurrentTimeInterval) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot hasInternetLocation_S ;+ (comment "\"hasInternetLocation specifies the internet location (usually a URI), if one exists, of a computer file. Not every computer file will have an InternetLocation.\"") (type INSTANCE) ;+ (allowed-classes InternetLocation) (create-accessor read-write)) (multislot faces_S ;+ (comment "\"(&%faces ?OBJ ?DIRECTION) means that the front of ?OBJ (see &%FrontFn) is positioned towards the compass direction ?DIRECTION. More precisely, it means that if a line were extended from the center of ?DIRECTION, the line would intersect with the front of ?OBJ before it intersected with its back (see &%BackFn).\"") (type INSTANCE) ;+ (allowed-classes DirectionalAttribute) (create-accessor read-write)) (single-slot DenominatorFn_S ;+ (comment "\"(&%DenominatorFn ?NUMBER) returns the denominator of the canonical reduced form of the &%RealNumber ?NUMBER.\"") (type INSTANCE) ;+ (allowed-classes Integer) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot needs_S ;+ (comment "\"(&%needs ?AGENT ?OBJECT) means that ?OBJECT is physically required for the continued existence of ?AGENT.\"") (type INSTANCE) ;+ (allowed-classes Physical) ;+ (cardinality 0 1) ;+ (subslot-of inScopeOfInterest_S) (create-accessor read-write)) (multislot brother_S ;+ (comment "\"The general relationship of being a brother. (&%brother ?MAN ?PERSON) means that ?MAN is the brother of ?PERSON.\"") (type INSTANCE) ;+ (allowed-classes Human) ;+ (subslot-of sibling_S) (create-accessor read-write)) (single-slot bottom_S ;+ (comment "\"(&%bottom ?BOTTOM ?OBJECT) holds if ?BOTTOM is the lowest or deepest maximal superficial part of ?OBJECT.\"") (type INSTANCE) ;+ (allowed-classes SelfConnectedObject) ;+ (cardinality 0 1) ;+ (subslot-of superficialPart_S) (create-accessor read-write)) (multislot confersRight_S ;+ (comment "\"Expresses the relationship between a &%Formula, an &%Entity, and a &%CognitiveAgent when the &%Entity authorizes the &%CognitiveAgent to bring it about that the &%Formula is true.\"") (type INSTANCE) ;+ (allowed-classes CognitiveAgent) (create-accessor read-write)) (multislot occupiesPosition_S ;+ (comment "\"(&%occupiesPosition ?PERSON ?POSITION ?ORG) means that ?PERSON holds the &%Position ?POSITION at &%Organization ?ORG. For example, (&%occupiesPosition &%TomSmith &%ResearchDirector &%AcmeLaboratory) means that &%TomSmith is a research director at Acme Labs.\"") (type INSTANCE) ;+ (allowed-classes Organization) (create-accessor read-write)) (multislot isaModalAttributeOf_S ;+ (comment "\"The inverse of hasModalAttribute - it relates a NormativeAttribute to a proposition that it applies to.\"") (type INSTANCE) ;+ (allowed-classes Assertion) ;+ (inverse-slot hasModalAttribute_S) (create-accessor read-write)) (multislot %3D%3E_S ;+ (comment "\"The truth-functional connective of implication.\"") (type INSTANCE) ;+ (allowed-classes Formula) (create-accessor read-write)) (single-slot %3AhasFrequency ;+ (comment "The frequency is the fraction of the time that this term refers to the labeled concept. The sum of frequencies onthis list may exceed 1.0, because this is not the freuency with which this concepot is labeled by this term, but the inverse.") (type FLOAT) (range 0.0 1.0) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot electionForPosition_S ;+ (comment "\"(&%electionForPosition ?ELECTION ?POSITION) means that in the &%Election ?ELECTION, candidates run for election to the role(s) ?POSITION.\"") (type INSTANCE) ;+ (allowed-classes SocialRole) (create-accessor read-write)) (single-slot %3ADomain1Type ;+ (comment "Specifies whether the first domain argument is an instance of the specified class or a subclass.\n In SUMO, this signals whether the proposition describing the domains of the relation use the relation name \"domain\" or \"domainSubclass\".") (type SYMBOL) (allowed-values Instance Class) ;+ (cardinality 0 1) ;+ (associated-facet UBLinv018_00290) (create-accessor read-write)) (multislot hasPostalCode_S ;+ (comment "\"hasPostalCode is not exactly the inverse of relation postalCode because the code value is a string, not an integer.\"") (type INSTANCE) ;+ (allowed-classes PostOfficeCode) (create-accessor read-write)) (multislot subOrganization_S ;+ (comment "\"(&%subOrganization ?ORG1 ?ORG2) means that ?ORG1 is an &%Organization which is a proper part of the &%Organization ?ORG2.\"") (type INSTANCE) ;+ (allowed-classes Organization) ;+ (subslot-of subCollection_S) (create-accessor read-write)) (multislot refers_S ;+ (comment "\"(&%refers ?OBJ1 ?OBJ2) means that ?OBJ1 mentions or includes a reference to ?OBJ2. Note that &%refers is more general in meaning than &%represents, because presumably something can represent something else only if it refers to this other thing. For example, an article whose topic is a recent change in the price of oil may refer to many other things, e.g. the general state of the economy, the weather in California, the prospect of global warming, the options for alternative energy sources, the stock prices of various oil companies, etc.\"") (type INSTANCE) ;+ (allowed-classes Entity) (create-accessor read-write)) (single-slot width_S ;+ (comment "\"&%BinaryPredicate that is used to state the measure of an &%Object from side to side at its widest span.\"") (type INSTANCE) ;+ (allowed-classes LengthMeasure) ;+ (cardinality 0 1) ;+ (subslot-of length_S) (create-accessor read-write)) (single-slot AdditionFn_S ;+ (comment "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers.\"") (type INSTANCE) ;+ (allowed-classes Quantity) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot distributes_S ;+ (comment "\"A &%BinaryFunction ?FUNCTION1 is distributive over another &%BinaryFunction ?FUNCTION2 just in case (?FUNCTION1 ?INST1 (?FUNCTION2 ?INST2 ?INST3)) is equal to (?FUNCTION2 (?FUNCTION1 ?INST1 ?INST2) (?FUNCTION1 ?INST1 ?INST3)), for all ?INST1, ?INST2, and ?INST3.\"") (type INSTANCE) ;+ (allowed-classes BinaryFunction) (create-accessor read-write)) (multislot currencyType_S ;+ (comment "\"(&%currencyType ?AREA ?UNIT) means that the official currency used in the &%GeopoliticalArea ?AREA is the &%UnitOfMeasure ?UNIT.\"") (type INSTANCE) ;+ (allowed-classes UnitOfMeasure) (create-accessor read-write)) (multislot subGraph_S ;+ (comment "\"The relation between two &%Graphs when one &%Graph is a part of the other. (&%subGraph ?GRAPH1 ?GRAPH2) means that ?GRAPH1 is a part of ?GRAPH2.\"") (type INSTANCE) ;+ (allowed-classes Graph) (create-accessor read-write)) (single-slot MereologicalDifferenceFn_S ;+ (comment "\"(&%MereologicalDifferenceFn ?OBJ1 ?OBJ2) denotes the &%Object consisting of the parts which belong to ?OBJ1 and not to ?OBJ2.\"") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot GovernmentFn_S ;+ (comment "\"(&%GovernmentFn ?AREA) denotes the &%Government of the &%GeopoliticalArea ?AREA. For example, (&%GovernmentFn &%UnitedStates) denotes the Federal-level government of the United States; (&%GovernmentFn &%PuertoRico) denotes the government of the Commonwealth of Puerto Rico.\"") (type INSTANCE) ;+ (allowed-classes Government) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot hasPropositionalContent_S ;+ (comment "\"hasPropositionalContent is the relation between an AbstractText and the Proposition it represents.\"") (type INSTANCE) ;+ (allowed-classes TextualProposition) ;+ (inverse-slot hasTextualExpression_S) (create-accessor read-write)) (single-slot father_S ;+ (comment "\"The general relationship of fatherhood. (&%father ?CHILD ?FATHER) means that ?FATHER is the biological father of ?CHILD.\"") (type INSTANCE) ;+ (allowed-classes Organism) ;+ (cardinality 0 1) ;+ (subslot-of parent_S) (create-accessor read-write)) (single-slot StreetAddressFn_S ;+ (comment "\"(&%StreetAddressFn ?BUILDING ?ROAD ?CITY ?COUNTRY) returns the &%Agent, e.g. a family, an organization, a person, etc. that resides or conducts business at the corresponding &%address.\"") (type INSTANCE) ;+ (allowed-classes Agent) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot cityAddress_S ;+ (comment "\"(&%cityAddress ?CITY ?ADDRESS) means that the &%City ?CITY is part of the address ?ADDRESS.\"") (type INSTANCE) ;+ (allowed-classes Address) ;+ (cardinality 0 1) ;+ (subslot-of address_S) (create-accessor read-write)) (multislot hasLocation_S ;+ (comment "\"hasLocation is a more general location relation than SUMO 'located', which is restricted to Physical as arg1 and 'Object' as arg2. We can use this to specify the location of abstract objects in abstract spaces. This relation specifies an abstract or concrete region (not a point) as a location, and that region must contain all parts of the located object. This is not a point location.\"") (type INSTANCE) ;+ (allowed-classes Location) ;+ (inverse-slot isaLocationOf_S) (create-accessor read-write)) (single-slot MeasureFn_S ;+ (comment "\"This &%BinaryFunction maps a &%RealNumber and a &%UnitOfMeasure to that &%Number of units. It is used for expressing &%ConstantQuantities. For example, the concept of three meters is represented as (&%MeasureFn 3 &%Meter).\"") (type INSTANCE) ;+ (allowed-classes ConstantQuantity) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot larger_S ;+ (comment "\"(&%larger ?OBJ1 ?OBJ2) simply means that ?OBJ1 is larger, with respect to all &%LengthMeasures, than ?OBJ2.\"") (type INSTANCE) ;+ (allowed-classes Object) ;+ (inverse-slot smaller_S) (create-accessor read-write)) (multislot totalOrderingOn_S ;+ (comment "\"A &%BinaryRelation ?REL is a total ordering on a &%SetOrClass only if it is a partial ordering for which either (?REL ?INST1 ?INST2) or (?REL ?INST2 ?INST1) for every ?INST1 and ?INST2 in the &%SetOrClass.\"") (type INSTANCE) ;+ (allowed-classes SetOrClass) (create-accessor read-write)) (multislot currentAccountBalance_S ;+ (comment "\"(&%currentAccountBalance ?Account ?Date ?Amount) means that ?Amount is the balance of the &%FinancialAccount ?Account as of the date ?Date.\"") (type INSTANCE) ;+ (allowed-classes CurrencyMeasure) (create-accessor read-write)) (single-slot pointOfFigure_S ;+ (comment "\"(&%pointOfFigure ?POINT ?FIGURE) means that the &%GeometricPoint ?POINT is part of the &%GeometricFigure ?FIGURE.\"") (type INSTANCE) ;+ (allowed-classes GeometricFigure) ;+ (cardinality 0 1) ;+ (subslot-of geometricPart_S) (create-accessor read-write)) (single-slot interiorPart_S ;+ (comment "\"(&%interiorPart ?OBJ1 ?OBJ2) means that ?OBJ1 is part ?OBJ2 and there is no overlap between ?OBJ1 and any &%superficialPart ?OBJ2.\"") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of part_S) (create-accessor read-write)) (multislot couponInterest_S ;+ (comment "\"(&%couponInterest ?BOND ?INTEREST) means that ?INTEREST is the periodic interest payment made to bondholders during the life of the ?BOND.\"") (type INSTANCE) ;+ (allowed-classes CurrencyMeasure) (create-accessor read-write)) (single-slot properPart_S ;+ (comment "\"(&%properPart ?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 other than ?OBJ2 itself. This is a &%TransitiveRelation and &%AsymmetricRelation (hence an &%IrreflexiveRelation).\"") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of part_S) (create-accessor read-write)) (multislot material_S ;+ (comment "\"(&%material ?SUBSTANCE ?OBJECT) means that ?OBJECT is structurally made up in part of ?SUBSTANCE. This relation encompasses the concepts of 'composed of', 'made of', and 'formed of'. For example, plastic is a &%material of my computer monitor. Compare &%part and its subrelations, viz &%component and &%piece.\"") (type INSTANCE) ;+ (allowed-classes CorpuscularObject) (create-accessor read-write)) (single-slot IntegerSquareRootFn_S ;+ (comment "\"(&%IntegerSquareRootFn ?NUMBER) returns the integer square root of ?NUMBER.\"") (type INSTANCE) ;+ (allowed-classes NonnegativeInteger) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot %3ADomain4Class ;+ (comment "The class of the fifth argument") (type INSTANCE) ;+ (allowed-classes %3AUBL-CLASS) ;+ (cardinality 0 1) ;+ (associated-facet UBLinv018t_00302) (create-accessor read-write)) (single-slot InitialNodeFn_S ;+ (comment "\"A &%UnaryFunction that maps a &%GraphArc to the initial node of the &%GraphArc. Note that this is a partial function. In particular, the function is undefined for &%GraphArcs that are not part of a &%DirectedGraph.\"") (type INSTANCE) ;+ (allowed-classes GraphNode) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot agreementMember_S ;+ (comment "\"(&%agreementMember ?Agreement ?Agent) means that ?Agent is one of the participants of the &%Contract ?Agreement.\"") (type INSTANCE) ;+ (allowed-classes CognitiveAgent) (create-accessor read-write)) (single-slot TemporalCompositionFn_S ;+ (comment "\"The basic &%Function for expressing the composition of larger &%TimeIntervals out of smaller &%TimeIntervals. For example, if &%ThisSeptember is an &%instance of &%September, (&%TemporalCompositionFn &%ThisSeptember &%Day) denotes the &%Class of consecutive days that make up &%ThisSeptember. Note that one can obtain the number of instances of this &%Class by using the function &%CardinalityFn.\"") (type SYMBOL) ;+ (allowed-parents TimeInterval) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot conformsToSpecification_S ;+ (comment "\"conformsToSpecification relates a specific abstract text of a specification to the general scheme that describes how to create a specification of that type.\"") (type INSTANCE) ;+ (allowed-classes StandardSpecificationSchemeDocument) (create-accessor read-write)) (multislot hasPurposeForAgent_S ;+ (comment "\"Expresses a cognitive attitude of an agent with respect to a particular instance of Physical. More precisely, (&%hasPurposeForAgent ?THING ?FORMULA ?AGENT) means that the purpose of ?THING for ?AGENT is the proposition expressed by ?FORMULA. Very complex issues are involved here. In particular, the rules of inference of the first order predicate calculus are not truth-preserving for the second argument position of this &%Predicate.\"") (type INSTANCE) ;+ (allowed-classes CognitiveAgent) (create-accessor read-write)) (single-slot ProbabilityFn_S ;+ (comment "\"One of the basic &%ProbabilityRelations, &%ProbabilityFn is used to state the a priori probability of a state of affairs. (&%ProbabilityFn ?FORMULA) denotes the a priori probability of ?FORMULA.\"") (type INSTANCE) ;+ (allowed-classes RealNumber) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot equivalentContentClass_S ;+ (comment "\"A &%BinaryPredicate that relates two subclasses of &%ContentBearingObject. (&%equivalentContentClass ?CLASS1 ?CLASS2) means that the content expressed by each instance of ?CLASS1 is also expressed by each instance of ?CLASS2, and vice versa. An example would be the relationship between English and Russian editions of Agatha Christie's 'Murder on the Orient Express'. Note that (&%equivalentContentClass ?CLASS1 ?CLASS2) implies (&%subsumesContentClass ?CLASS1 ?CLASS2) and (&%subsumesContentClass ?CLASS2 ?CLASS1).\"") (type SYMBOL) ;+ (allowed-parents ContentBearingObject) ;+ (inverse-slot equivalentContentClass_S) ;+ (subslot-of subsumesContentClass_S) (create-accessor read-write)) (single-slot DivisionFn_S ;+ (comment "\"If ?NUMBER1 and ?NUMBER2 are &%Numbers, then (&%DivisionFn ?NUMBER1 ?NUMBER2) is the result of dividing ?NUMBER1 by ?NUMBER2. An exception occurs when ?NUMBER1 = 1, in which case (&%DivisionFn ?NUMBER1 ?NUMBER2) is the reciprocal of ?NUMBER2.\"") (type INSTANCE) ;+ (allowed-classes Quantity) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot sister_S ;+ (comment "\"The general relationship of being a sister. (&%sister ?WOMAN ?PERSON) means that ?WOMAN is the sister of ?PERSON.\"") (type INSTANCE) ;+ (allowed-classes Human) ;+ (subslot-of sibling_S) (create-accessor read-write)) (multislot ancestor_S ;+ (comment "\"The transitive closure of the &%parent predicate. (&%ancestor ?DESCENDANT ?ANCESTOR) means that ?ANCESTOR is either the &%parent of ?DESCENDANT or the &%parent of the &%parent of &%DESCENDANT or etc.\"") (type INSTANCE) ;+ (allowed-classes Organism) ;+ (subslot-of familyRelation_S) (create-accessor read-write)) (single-slot %3ADomain3Value ;+ (comment "The instance value for the fourth argument of a higher-arity slot.\nIt is an instance of :Domain3Class") (type INSTANCE) ;+ (allowed-classes Entity) ;+ (cardinality 0 1) ;+ (associated-facet SUMO152_00102) (create-accessor read-write)) (multislot isAbstractContentOf_S ;+ (comment "\"isAbstractContentOf relates some information content to a physical object which represents that content. This is the inverse of hasAbstractContent, which see. See also 'hasInformationalContent'.\"") (type INSTANCE) ;+ (allowed-classes ContentBearingObject) ;+ (inverse-slot hasAbstractContent_S) (create-accessor read-write)) (multislot %3AisInModule ;+ (comment ":IsInModule is a slot that attaches to both :UBL-SLOT and :UBL-CLASS.\nIt is used to organize the concepts in related groupings. Initially, the modules specified will be those of the SUMO ontology.\n we allow a concpet to be inmore than one module, but in order to reproduce the structure of a particular KIF file, only one module should be specified.") (type INSTANCE) ;+ (allowed-classes %3AModule) ;+ (associated-facet UBLinv018t_00322) (create-accessor read-write)) (multislot %3AargumentList ;+ (comment "The :argumentList is the list of top-level arguments (not breaking parenthesized arguments such as functions into their components)\n") (type STRING) (create-accessor read-write)) (multislot monetaryWage_S ;+ (comment "\"(&%monetaryWage ?ORG ?PERSON ?TIME ?MONEY) means that the &%Organization employs ?PERSON and pays him/her the amount of money ?MONEY per &%TimeDuration ?TIME.\"") (type INSTANCE) ;+ (allowed-classes CurrencyMeasure) (create-accessor read-write)) (single-slot contestParticipant_S ;+ (comment "\"(&%contestParticipant ?CONTEST ?AGENT) means that ?AGENT is one of the sides in the &%Contest ?CONTEST. For example, if the ?CONTEST is a football game, then ?AGENT would be one of the opposing teams. For another example, if ?CONTEST is a &%Battle, then ?AGENT would be one of the sides fighting each other.\"") (type INSTANCE) ;+ (allowed-classes Agent) ;+ (cardinality 0 1) ;+ (subslot-of agent_S) (create-accessor read-write)) (single-slot date_S ;+ (comment "\"A &%BinaryPredicate that specifies a &%TimePosition in absolute calendar time, at the resolution of one day, for a particular &%Object or &%Process.\"") (type INSTANCE) ;+ (allowed-classes Day) ;+ (cardinality 0 1) ;+ (subslot-of time_S) (create-accessor read-write)) (multislot equivalentContentInstance_S ;+ (comment "\"A &%BinaryPredicate relating two instances of &%ContentBearingObject. (&%equivalentContentInstance ?OBJ1 ?OBJ2) means that the content expressed by ?OBJ1 is identical to the content expressed by ?OBJ2. An example would be the relationship between a handwritten draft of a letter to one's lawyer and a typed copy of the same letter. Note that (&%equivalentContentInstance ?OBJ1 ?OBJ2) implies (&%subsumesContentInstance ?OBJ1 ?OBJ2) and (&%subsumesContentInstance ?OBJ2 ?OBJ2).\"") (type INSTANCE) ;+ (allowed-classes ContentBearingObject) ;+ (inverse-slot equivalentContentInstance_S) ;+ (subslot-of subsumesContentInstance_S) (create-accessor read-write)) (multislot hasAbstractName_S ;+ (comment "\"hasAbstractName relates an instance of an entity to an abstract string of linguistic characters used to reference the entity in linguistic communication. This is closely related to hasName, the value of which is a SymbolicString (a physical object) as domain 2. This is not the inverse of the SUMO relation 'names', since the SUMO relation has a physical object as domain 1. The hasAbstractName relation is not a necessary relation since not every entity is named by a AbstractString and not every AbstractString is the label for an entity.\"") (type INSTANCE) ;+ (allowed-classes AbstractString) ;+ (inverse-slot isaNameOf_S) (create-accessor read-write)) (multislot medicalPatient_S ;+ (comment "\"medicalPatient points from a person to a CareOrganization which is administering medical care to that person. This relation is implied in the axiom below CareOrganization, but was not defined in SUM 1.55 - PJC 3-05-04.\"") (type INSTANCE) ;+ (allowed-classes CareOrganization) (create-accessor read-write)) (multislot subList_S ;+ (comment "\"(&%subList ?LIST1 ?LIST2) means that ?LIST1 is a sublist of ?LIST2, i.e. every element of ?LIST1 is an element of ?LIST2 and the elements that are common to both &%Lists have the same order in both &%Lists.\"") (type INSTANCE) ;+ (allowed-classes List) (create-accessor read-write)) (single-slot arcWeight_S ;+ (comment "\"This predicate indicates the value of a &%GraphArc in a &%Graph. This could map to the length of a road in a road network or the flow rate of a pipe in a plumbing system.\"") (type INSTANCE) ;+ (allowed-classes RealNumber) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot representsInLanguage_S ;+ (comment "\"A very general predicate. (&%representsInLanguage ?THING ?ENTITY ?LANGUAGE) means that the &%LinguisticExpression ?THING stands for ?ENTITY in the &%Language ?LANGUAGE.\"") (type INSTANCE) ;+ (allowed-classes Language) (create-accessor read-write)) (multislot entails_S ;+ (comment "\"The operator of logical entailment. (&%entails ?FORMULA1 ?FORMULA2) means that ?FORMULA2 can be derived from ?FORMULA1 by means of the proof theory of SUO-KIF.\"") (type INSTANCE) ;+ (allowed-classes Formula) (create-accessor read-write)) (single-slot AbstractionFn_S ;+ (comment "\"A &%UnaryFunction that maps a &%Class into the instance of &%Attribute that specifies the condition(s) for membership in the &%Class.\"") (type INSTANCE) ;+ (allowed-classes Attribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot exhaustiveAttribute_S ;+ (comment "\"This predicate relates a &%Class to a set of &%Attributes, and it means that the elements of this set exhaust the instances of the &%Class. For example, (&%exhaustiveAttribute &%PhysicalState &%Solid &%Liquid &%Gas) means that there are only three instances of the class &%PhysicalState, viz. &%Solid, &%Liquid, and &%Gas.\"") (type INSTANCE) ;+ (allowed-classes %3ARow) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot isTheInformationalContentOf_S ;+ (comment "\"isTheInformationalContentOf is the relation between a Proposition and the MentalEntity it corresponds to. The entity can be abstract or concrete.\"") (type INSTANCE) ;+ (allowed-classes MentalEntity) ;+ (inverse-slot hasInformationalContent_S) (create-accessor read-write)) (single-slot DocumentFn_S ;+ (comment "\"(&%DocumentFn ?PROP) denotes the class of &%ContentBearingObjects that contain the information ?PROP.\"") (type SYMBOL) ;+ (allowed-parents Text) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot during_S ;+ (comment "\"(&%during ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 starts after and ends before ?INTERVAL2.\"") (type INSTANCE) ;+ (allowed-classes TimeInterval) ;+ (subslot-of temporalPart_S overlapsTemporally_S) (create-accessor read-write)) (multislot path_S ;+ (comment "\"(&%path ?MOTION ?PATH) means that ?PATH is a route along which ?MOTION occurs. For example, Highway 101 is the path in the following proposition: the car drove up Highway 101.\"") (type INSTANCE) ;+ (allowed-classes Object) (create-accessor read-write)) (multislot cooccur_S ;+ (comment "\"(&%cooccur ?THING1 ?THING2) means that the &%Object or &%Process ?THING1 occurs at the same time as, together with, or jointly with the &%Object or &%Process ?THING2. This covers the following temporal relations: is co-incident with, is concurrent with, is contemporaneous with, and is concomitant with.\"") (type INSTANCE) ;+ (allowed-classes Physical) ;+ (inverse-slot cooccur_S) (create-accessor read-write)) (single-slot %3AhasDefaultValue ;+ (comment "\"(:hasDefaultValue ?REL ?CLASS ?VAL) is used to specify that, for every instance of a particular class, the value of the relation ?REL for every instance of class ?CLASS is ?VAL, unless it is overridden by an explicit assignment of the value. In Protege, such overrides can be accomplished by simply changing the value of the instance. For the SKIF files, we need an explicit override relation so that the condition for using the default can be described logically rather than programmatically. The override can be accomplished by using :hasDefaultValue with the subclass as argument, or, if one wants an override that cannot itself be overridden, the relation used is ':hasClassValue'.\"") (type INSTANCE) ;+ (allowed-classes Entity) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot TangentFn_S ;+ (comment "\"(&%TangentFn ?DEGREE) is the tangent of the &%PlaneAngleMeasure ?DEGREE. The tangent of ?DEGREE is the ratio of the side opposite ?DEGREE to the side next to ?DEGREE in a right-angled triangle.\"") (type INSTANCE) ;+ (allowed-classes RealNumber) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot depth_S ;+ (comment "\"A &%TernaryPredicate that is used to state the &%distance between the &%top of an &%Object and another point that is above the &%top of the &%Object (often this other point will be sea level). Note that this &%Predicate can be used to specify, for example, the depth of marine life or submarines, for example.\"") (type INSTANCE) ;+ (allowed-classes LengthMeasure) ;+ (cardinality 0 1) ;+ (subslot-of distance_S) (create-accessor read-write)) (single-slot piece_S ;+ (comment "\"A specialized common sense notion of part for arbitrary parts of &%Substances. Quasi-synonyms are: chunk, hunk, bit, etc. Compare &%component, the other subrelation of &%part.\"") (type INSTANCE) ;+ (allowed-classes Substance) ;+ (cardinality 0 1) ;+ (subslot-of part_S) (create-accessor read-write)) (multislot independentProbability_S ;+ (comment "\"One of the basic &%ProbabilityRelations. (&%independentProbability ?FORMULA1 ?FORMULA2) means that the probabilities of ?FORMULA1 and ?FORMULA2 being true are independent.\"") (type INSTANCE) ;+ (allowed-classes Formula) ;+ (inverse-slot independentProbability_S) (create-accessor read-write)) (single-slot RoundFn_S ;+ (comment "\"(&%RoundFn ?NUMBER) is the &%Integer closest to ?NUMBER on the number line. If ?NUMBER is halfway between two &%Integers (for example 3.5), it denotes the larger &%Integer.\"") (type INSTANCE) ;+ (allowed-classes Quantity) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot top_S ;+ (comment "\"(&%top ?TOP ?OBJECT) means that ?TOP is the highest maximal superficial part of ?OBJECT.\"") (type INSTANCE) ;+ (allowed-classes SelfConnectedObject) ;+ (cardinality 0 1) ;+ (subslot-of superficialPart_S) (create-accessor read-write)) (multislot causes_S ;+ (comment "\"The causation relation between instances of &%Process. (&%causes ?PROCESS1 ?PROCESS2) means that the instance of &%Process ?PROCESS1 brings about the instance of &%Process ?PROCESS2, e.g. (&%causes &%Killing &%Death).\"") (type INSTANCE) ;+ (allowed-classes Process) (create-accessor read-write)) (single-slot PropertyFn_S ;+ (comment "\"A &%UnaryFunction that maps an &%Agent to the &%Set of &%Property owned by the &%Agent.\"") (type INSTANCE) ;+ (allowed-classes Set) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot DensityFn_S ;+ (comment "\"&%DensityFn maps an instance of &%MassMeasure and an instance of &%VolumeMeasure to the density represented by this proportion of mass and volume. For example, (&%DensityFn (&%MeasureFn 3 &%Gram) (&%MeasureFn 1 &%Liter)) represents the density of 3 grams per liter.\"") (type INSTANCE) ;+ (allowed-classes FunctionQuantity) ;+ (cardinality 0 1) ;+ (subslot-of PerFn_S) (create-accessor read-write)) (multislot confersObligation_S ;+ (comment "\"Expresses the relationship between a a &%Formula, an &%Entity, and a &%CognitiveAgent when the &%Entity obligates the &%CognitiveAgent to bring it about that the &%Formula is true.\"") (type INSTANCE) ;+ (allowed-classes CognitiveAgent) (create-accessor read-write)) (single-slot meetsSpatially_S ;+ (comment "\"(&%meetsSpatially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 are &%connected but that neither ?OBJ1 nor ?OBJ2 &%overlapsSpatially the other.\"") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of connected_S) (create-accessor read-write)) (single-slot ReciprocalFn_S ;+ (comment "\"(ReciprocalFn ?NUMBER) is the reciprocal element of ?NUMBER with respect to the multiplication operator (&%MultiplicationFn), i.e. 1/?NUMBER. Not all numbers have a reciprocal element. For example the number 0 does not. If a number ?NUMBER has a reciprocal ?RECIP, then the product of ?NUMBER and ?RECIP will be 1, e.g. 3*1/3 = 1. The reciprocal of an element is &%equal to applying the &%ExponentiationFn function to the element to the power -1.\"") (type INSTANCE) ;+ (allowed-classes Quantity) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot MicroFn_S ;+ (comment "\"A &%UnaryFunction that maps a &%UnitOfMeasure into a &%UnitOfMeasure that is equal to .000001 units of the original &%UnitOfMeasure. For example, (&%MicroFn &%Meter) is .000001 &%Meters.\"") (type INSTANCE) ;+ (allowed-classes UnitOfMeasure) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot %3ADomain3Class ;+ (comment "The fourth argument of a quaternary or higher-arity slot. Thisis the class of which the value is an instance.") (type INSTANCE) ;+ (allowed-classes %3AUBL-CLASS) ;+ (cardinality 0 1) ;+ (associated-facet UBLcore_00000) (create-accessor read-write)) (single-slot %3AblockLineNumber ;+ (comment "The :blockLineNumber of a comment or unrecognized predicate is its location within the block where it occurs in a SKIF input file.") (type INTEGER) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot %3AinputFile ;+ (comment ":inputFile is the name of the file from which a particular module was derived.") (type STRING) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot true_S ;+ (comment "\"The &%BinaryPredicate that relates a &%Sentence to its &%TruthValue.\"") (type INSTANCE) ;+ (allowed-classes TruthValue) ;+ (cardinality 0 1) ;+ (subslot-of property_S) (create-accessor read-write)) (single-slot monetaryValue_S ;+ (comment "\"A &%BinaryPredicate that associates an &%Object with its value expressed as an instance of &%CurrencyMeasure.\"") (type INSTANCE) ;+ (allowed-classes CurrencyMeasure) ;+ (cardinality 0 1) ;+ (subslot-of measure_S) (create-accessor read-write)) (single-slot FutureFn_S ;+ (comment "\"A &%UnaryFunction that maps a &%TimePosition to the &%TimeInterval which it meets and which ends at &%PositiveInfinity.\"") (type INSTANCE) ;+ (allowed-classes TimeInterval) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ImmediateFutureFn_S ;+ (comment "\"A &%UnaryFunction that maps a &%TimePosition to a short, indeterminate &%TimeInterval that immediately follows the &%TimePosition.\"") (type INSTANCE) ;+ (allowed-classes TimeInterval) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot length_S ;+ (comment "\"&%BinaryPredicate that is used to state the measure of an &%Object from one point to another point along its surface. Note that the difference between the predicates &%length and &%distance is that the &%length is used to state the &%LengthMeasure of one of the dimensions of a single object, while &%distance is used to state the &%LengthMeasure that separates two distinct objects\"") (type INSTANCE) ;+ (allowed-classes LengthMeasure) ;+ (cardinality 0 1) ;+ (subslot-of measure_S) (create-accessor read-write)) (single-slot ExecutiveBranchFn_S ;+ (comment "\"(&%ExecutiveBranchFn ?ORG) denotes the executive branch of ?ORG, with all its officials and agencies, considered as a whole.\"") (type INSTANCE) ;+ (allowed-classes Organization) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot %3AuncInstList ;+ (comment "The insatance(s) created from an instance block, saved for convenience in later procesing of unclassified instance propositions.") (type INSTANCE) ;+ (allowed-classes Entity) (create-accessor read-write)) (multislot loss_S ;+ (comment "\"The amount by which the cost of an investment or business operation exceeds its return, i.e. the negative quantity left after subtracting for all expenses.\"") (type INSTANCE) ;+ (allowed-classes CurrencyMeasure) (create-accessor read-write)) (single-slot SquareRootFn_S ;+ (comment "\"(SquareRootFn ?NUMBER) is the principal square root of ?NUMBER.\"") (type INSTANCE) ;+ (allowed-classes Number) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot time_S ;+ (comment "\"This relation holds between an instance of &%Physical and an instance of &%TimePosition just in case the temporal lifespan of the former includes the latter. The constants &%located and &%time are the basic spatial and temporal predicates, respectively.\"") (type INSTANCE) ;+ (allowed-classes TimePosition) (create-accessor read-write)) (multislot decreasesLikelihood_S ;+ (comment "\"One of the basic &%ProbabilityRelations. (&%decreasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is less likely to be true if ?FORMULA1 is true.\"") (type INSTANCE) ;+ (allowed-classes Formula) (create-accessor read-write)) (multislot subclass_S ;+ (comment "\"(&%subclass ?CLASS1 ?CLASS2) means that ?CLASS1 is a subclass of ?CLASS2, i.e. every instance of ?CLASS1 is also an instance of ?CLASS2. A class may have multiple superclasses and subclasses.\"") (type INSTANCE) ;+ (allowed-classes SetOrClass) (create-accessor read-write)) (multislot %3AhasRestrictedVal ;+ (comment ":hasRestrictedVal is the companion slot to :isRestrictedTo, with args 1 and 2 reversed, so that it is displayed in the class window for arg2.") (type SYMBOL) ;+ (allowed-parents Entity) (create-accessor read-write)) (multislot patient_S ;+ (comment "\"(&%patient ?PROCESS ?ENTITY) means that ?ENTITY is a participant in ?PROCESS that may be moved, said, experienced, etc. For example, the direct objects in the sentences 'The cat swallowed the canary' and 'Billy likes the beer' would be examples of &%patients. Note that the &%patient of a &%Process may or may not undergo structural change as a result of the &%Process. The &%CaseRole of &%patient is used when one wants to specify as broadly as possible the object of a &%Process.\"") (type INSTANCE) ;+ (allowed-classes Entity) (create-accessor read-write)) (single-slot most_S ;+ (comment "\"(&%most ?MOST ?WHOLE) means that ?MOST is a &%part of ?WHOLE that is greater than &%half of ?WHOLE.\"") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of part_S) (create-accessor read-write)) (single-slot %3ADomain4Type ;+ (comment "The type of the fifth argument, class or instance.\n Specifies whether the first domain argument is an instance of the specified class or a subclass.\n In SUMO, this signals whether the proposition describing the domains of the relation use the relation name \"domain\" or \"domainSubclass\".") (type SYMBOL) (allowed-values Class Instance) ;+ (cardinality 0 1) ;+ (associated-facet UBLinv018t_00306) (create-accessor read-write)) (multislot hasExpertise_S ;+ (comment "\"(&%hasExpertise ?PERSON ?FIELD) means that ?PERSON has studied the &%FieldOfStudy ?FIELD and is regarded as an expert.\"") (type INSTANCE) ;+ (allowed-classes FieldOfStudy) (create-accessor read-write)) (single-slot component_S ;+ (comment "\"A specialized common sense notion of part for heterogeneous parts of complexes. (&%component ?COMPONENT ?WHOLE) means that ?COMPONENT is a component of ?WHOLE. Examples of component include the doors and walls of a house, the states or provinces of a country, or the limbs and organs of an animal. Compare &%piece, which is also a subrelation of &%part.\"") (type INSTANCE) ;+ (allowed-classes CorpuscularObject) ;+ (cardinality 0 1) ;+ (subslot-of part_S) (create-accessor read-write)) (single-slot RealNumberFn_S ;+ (comment "\"(RealNumberFn ?NUMBER) returns the part of ?NUMBER that is a &%RealNumber.\"") (type INSTANCE) ;+ (allowed-classes RealNumber) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot periodicPayment_S ;+ (comment "\"(&%periodicPayment ?Account ?Amount ?Period) holds if ?Amount is the amount that must be made from the &%FinancialAccount ?Account after every period of duration ?Period.\"") (type INSTANCE) ;+ (allowed-classes TimeDuration) (create-accessor read-write)) (single-slot %3ADomain2Class ;+ (comment "The third argument of a higher-arity relation, after usual domain and range.") (type INSTANCE) ;+ (allowed-classes %3AUBL-CLASS) ;+ (cardinality 0 1) ;+ (associated-facet SUMO148_00000) (create-accessor read-write)) (single-slot %3AsynonymousTerm ;+ (comment "A string serving as a synonym for the class label.\n The value of the relation :synonymousTerm is a string of characters used as a label for the concept which is represented by the class which has that :Synonym pointed to by the :hasSynonym slot.\n Technically, :synonymousTerm is a slot of the class :Synonym. Instances of the class :Syonym are the values of the relation :SYNONYMS, which is an own slot of the class :SYN-CLASS.\n") (type STRING) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot hasModalAttribute_S ;+ (comment "\"This is a relation analogous to the SUMO &%modalObligation, but applying to abstract assertions rather than physical Formulas as in SUMO. A &%BinaryRelation that is used to state the normative force of a &%Proposition. (&%hasModalAttribute ?Assertion ?PROP) means that the &%Proposition expressed by ?Assertion has the &%NormativeAttribute ?PROP. For example, (&%hasModalAttribute (&%exists (?ACT ?OBJ) (&%and (&%instance ?ACT &%Giving) (&%agent ?ACT John) (&%patient ?ACT ?OBJ) (&%destination ?ACT Tom))) &%Obligatory) means that John is obligated to give Tom something.\"") (type INSTANCE) ;+ (allowed-classes NormativeAttribute) ;+ (inverse-slot isaModalAttributeOf_S) (create-accessor read-write)) (single-slot %3AisaSynonymOf ;+ (comment "The reverse pointer from an instance of :Synonym to the concept of which it is a synonym.") (type INSTANCE) ;+ (allowed-classes %3AUBL-CLASS %3AUBL-SLOT) ;+ (cardinality 0 1) ;+ (inverse-slot %3ASYNONYMS) (create-accessor read-write)) (multislot hasNecessaryPart_S ;+ (comment "\"(hasNecessaryPart ?CLASS1 ?CLASS2) means that every instance of ?CLASS1 has a part which is an instance of ?CLASS2. Since this is an InheritableClassRelation, then it is true of every instance of every subclass of ?CLASS1 that each such instance also has a part which is an instance of ?CLASS2. See hasOptionalPart for an alternative part relation.\"") (type SYMBOL) ;+ (allowed-parents Entity) (create-accessor read-write)) (multislot hasCreationTime_S ;+ (comment "\"hasCreationTime specifies a time position when an entity came into existence. The entity must be physical.\"") (type INSTANCE) ;+ (allowed-classes TimePoint) (create-accessor read-write)) (multislot maturityDate_S ;+ (comment "\"The date on which the principal amount of the account becomes due and payable.\"") (type INSTANCE) ;+ (allowed-classes Day) (create-accessor read-write)) (multislot inScopeOfInterest_S ;+ (comment "\"A very general &%Predicate. (&%inScopeOfInterest ?AGENT ?ENTITY) means that ?ENTITY is within the scope of interest of ?AGENT. Note that the interest indicated can be either positive or negative, i.e. the ?AGENT can have an interest in avoiding or promoting ?ENTITY.\"") (type INSTANCE) ;+ (allowed-classes Entity) (create-accessor read-write)) (single-slot telephoneNumber_S ;+ (comment "\"(&%telephoneNumber ?NUMBER ?AGENT) means that ?NUMBER is a telephone number at which ?AGENT can be regularly contacted.\"") (type INSTANCE) ;+ (allowed-classes Agent) ;+ (cardinality 0 1) ;+ (subslot-of uniqueIdentifier_S) (create-accessor read-write)) (multislot part_S ;+ (comment "\"The basic mereological relation. All other mereological relations are defined in terms of this one. (&%part ?PART ?WHOLE) simply means that the &%Object ?PART is part of the &%Object ?WHOLE. Note that, since &%part is a &%ReflexiveRelation, every &%Object is a part of itself.\"") (type INSTANCE) ;+ (allowed-classes Object) (create-accessor read-write)) (multislot premise_S ;+ (comment "\"(&%premise ?ARGUMENT ?PROPOSITION) means that the &%Proposition ?PROPOSITION is an explicit assumption of the &%Argument ?ARGUMENT.\"") (type INSTANCE) ;+ (allowed-classes Proposition) (create-accessor read-write)) (single-slot PathWeightFn_S ;+ (comment "\"A &%UnaryFunction that maps a &%GraphPath to the sum of the &%arcWeights on the &%GraphArcs in the &%GraphPath.\"") (type INSTANCE) ;+ (allowed-classes RealNumber) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot knows_S ;+ (comment "\"The epistemic predicate of knowing. (&%knows ?AGENT ?FORMULA) means that ?AGENT knows the proposition expressed by ?FORMULA. Note that &%knows entails conscious awareness, so this &%Predicate cannot be used to express tacit or subconscious or unconscious knowledge.\"") (type INSTANCE) ;+ (allowed-classes Formula) ;+ (subslot-of inScopeOfInterest_S) (create-accessor read-write)) (single-slot ListConcatenateFn_S ;+ (comment "\"A &%Function that returns the concatenation of the two &%Lists that are given as arguments. For example, the value of (&%ListConcatenateFn (&%ListFn &%Monday &%Tuesday) (&%ListFn &%Wednesday &%Thursday)) would be (&%ListFn &%Monday &%Tuesday &%Wednesday &%Thursday).\"") (type INSTANCE) ;+ (allowed-classes List) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot minimumCardinality_S ;+ (comment "\"(minimumCardinality ?REL ?NUMBER) means that, for any given assignment of a first argument to ?REL, there will be at least ?NUMBER assignments to the second argument of ?REL.\"") (type INSTANCE) ;+ (allowed-classes NonnegativeInteger) (create-accessor read-write)) (single-slot manner_S ;+ (comment "\"(&%manner ?PROCESS ?MANNER) means that the &%Process ?PROCESS is qualified by the &%Attribute ?MANNER. The &%Attributes of &%Processes are usually denoted by adverbs and include things like the speed of the wind, the style of a dance, or the intensity of a sports competition.\"") (type INSTANCE) ;+ (allowed-classes Attribute) ;+ (cardinality 0 1) ;+ (subslot-of property_S) (create-accessor read-write)) (multislot overlapsTemporally_S ;+ (comment "\"(&%overlapsTemporally ?INTERVAL1 ?INTERVAL2) means that the &%TimeIntervals ?INTERVAL1 and ?INTERVAL2 have a &%TimeInterval as a common part.\"") (type INSTANCE) ;+ (allowed-classes TimeInterval) ;+ (inverse-slot overlapsTemporally_S) (create-accessor read-write)) (single-slot GeneralizedUnionFn_S ;+ (comment "\"A &%UnaryFunction that takes a &%SetOrClass of &%Classes as its single argument and returns a &%SetOrClass which is the merge of all of the &%Classes in the original &%SetOrClass, i.e. the &%SetOrClass containing just those instances which are instances of an instance of the original &%SetOrClass.\"") (type INSTANCE) ;+ (allowed-classes SetOrClass) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot %3AisRestrictedTo ;+ (comment ":isRestrictedTo allows one to specify that a relation’s values may be restricted when that relation is applied to some subclass of the original domain 1. This can help to make the relation more clear, and may limit the range of necessary inferences. Such restrictions are realized in Protege by modifying the allowed class of a value of a relation at the level of some particular class which is a subclass of the higher-level class on which the relation is defined. This provision in Protege distinguishes between the top-level definition of a slot and its application at lower levels.\n A companion predicate :hasRestrictedVal assertws the same thjing, but has the first class as argument 1, allowing viewing of the relation in ") (type SYMBOL) ;+ (allowed-parents Entity) ;+ (associated-facet SKIFcore_00400) (create-accessor read-write)) (single-slot DescendantsFn_S ;+ (comment "\"(&%DescendantsFn ?PERSON) denotes all and only the descendants of ?PERSON, i.e. the &%Group consisting of ?OFFSPRING who satisfy the following formula: (&%ancestor ?OFFSPRING ?PERSON).\"") (type INSTANCE) ;+ (allowed-classes FamilyGroup) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot wears_S ;+ (comment "\"(&%wears ?AGENT ?CLOTHING) means that ?AGENT is wearing the item of &%Clothing ?CLOTHING.\"") (type INSTANCE) ;+ (allowed-classes Clothing) (create-accessor read-write)) (multislot holdsDuring_S ;+ (comment "\"(&%holdsDuring ?TIME ?FORMULA) means that the proposition denoted by ?FORMULA is true in the time frame ?TIME. Note that this implies that ?FORMULA is true at every &%TimePoint which is a &%temporalPart of ?TIME.\"") (type INSTANCE) ;+ (allowed-classes Formula) (create-accessor read-write)) (multislot %3C%3D%3E_S ;+ (comment "\"The truth-functional connective of bi-implication.\"") (type INSTANCE) ;+ (allowed-classes Formula) (create-accessor read-write)) (single-slot angleOfFigure_S ;+ (comment "\"(&%angleOfFigure ?ANGLE ?FIGURE) means that the &%TwoDimensionalAngle ?ANGLE is part of the &%GeometricFigure ?FIGURE.\"") (type INSTANCE) ;+ (allowed-classes GeometricFigure) ;+ (cardinality 0 1) ;+ (subslot-of geometricPart_S) (create-accessor read-write)) (multislot hasTextualExpression_S ;+ (comment "\"hasTextualExpression is the relation between a Proposition and the AbstractText that represents it.\"") (type INSTANCE) ;+ (allowed-classes AbstractText) ;+ (inverse-slot hasPropositionalContent_S) (create-accessor read-write)) (single-slot MegaFn_S ;+ (comment "\"A &%UnaryFunction that maps a &%UnitOfMeasure into a &%UnitOfMeasure that is equal to 1,000,000 units of the original &%UnitOfMeasure. For example, (&%MegaFn &%Hertz) is 1,000,000 &%Hertz.\"") (type INSTANCE) ;+ (allowed-classes UnitOfMeasure) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot traverses_S ;+ (comment "\"(&%traverses ?OBJ1 ?OBJ2) means that ?OBJ1 crosses or extends across ?OBJ2. Note that &%crosses and &%penetrates are subrelations of &%traverses.\"") (type INSTANCE) ;+ (allowed-classes Object) (create-accessor read-write)) (multislot angularMeasure_S ;+ (comment "\"(&%angularMeasure ?ANGLE ?MEASURE) means that the two-dimensional geometric angle ?ANGLE has the &%PlaneAngleMeasure of ?MEASURE.\"") (type INSTANCE) ;+ (allowed-classes PlaneAngleMeasure) (create-accessor read-write)) (multislot exists_S ;+ (comment "\"The existential quantifier of predicate logic.\"") (type INSTANCE) ;+ (allowed-classes Formula) (create-accessor read-write)) (multislot modalAttribute_S ;+ (comment "\"A &%BinaryRelation that is used to state the normative force of a &%Proposition. (&%modalAttribute ?FORMULA ?PROP) means that the &%Proposition expressed by ?FORMULA has the &%NormativeAttribute ?PROP. For example, (&%modalAttribute (&%exists (?ACT ?OBJ) (&%and (&%instance ?ACT &%Giving) (&%agent ?ACT John) (&%patient ?ACT ?OBJ) (&%destination ?ACT Tom))) &%Obligatory) means that John is obligated to give Tom something.\"") (type INSTANCE) ;+ (allowed-classes NormativeAttribute) ;+ (subslot-of property_S) (create-accessor read-write)) (multislot frequency_S ;+ (comment "\"(frequency ?PROC ?TIME) means that the &%Process type of ?PROC recurs after every interval of ?TIME.\"") (type INSTANCE) ;+ (allowed-classes TimeDuration) (create-accessor read-write)) (multislot copy_S ;+ (comment "\"relates an &%Object to an exact copy of the &%Object, where an exact copy is indistinguishable from the original with regard to every property except (possibly) spatial and/or temporal location.\"") (type INSTANCE) ;+ (allowed-classes Object) ;+ (inverse-slot copy_S) (create-accessor read-write)) (single-slot exhaustiveDecomposition_S ;+ (comment "\"An &%exhaustiveDecomposition of a &%Class C is a set of subclasses of C such that every subclass of C either is an element of the set or is a subclass of an element of the set. Note: this does not necessarily mean that the elements of the set are disjoint (see &%partition - a &%partition is a disjoint exhaustive decomposition.)\"") (type INSTANCE) ;+ (allowed-classes %3ARow) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot closedOn_S ;+ (comment "\"A &%BinaryFunction is closed on a &%SetOrClass if it is defined for all instances of the &%SetOrClass and its value is always an instance of the &%SetOrClass.\"") (type INSTANCE) ;+ (allowed-classes SetOrClass) (create-accessor read-write)) (single-slot ListLengthFn_S ;+ (comment "\"A &%Function that takes a &%List as its sole argument and returns the number of items in the &%List. For example, (&%ListLengthFn (&%ListFn &%Monday &%Tuesday &%Wednesday)) would return the value 3.\"") (type INSTANCE) ;+ (allowed-classes NonnegativeInteger) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot student_S ;+ (comment "\"(&%student ?AGENT ?ORG) means that ?AGENT is enrolled in the &%EducationalOrganization ?ORG.\"") (type INSTANCE) ;+ (allowed-classes CognitiveAgent) ;+ (cardinality 0 1) ;+ (subslot-of member_S) (create-accessor read-write)) (multislot barometricPressure_S ;+ (comment "\"(&%barometricPressure ?AREA ?PRESSURE) means that the atmospheric pressure measured at ?AREA is ?PRESSURE. Barometric pressure is typically expressed in units of &%InchMercury or &%MmMercury. For example, standard sea level pressure is 29.92 inches (760 mm) of mercury: (&%barometricPressure &%SeaLevel (&%MeasureFn 29.92 &%InchMercury)).\"") (type INSTANCE) ;+ (allowed-classes PressureMeasure) ;+ (subslot-of measure_S) (create-accessor read-write)) (single-slot leader_S ;+ (comment "\"(&%leader ?ORGANIZATION ?PERSON) means that the leader of ?ORGANIZATION is ?PERSON.\"") (type INSTANCE) ;+ (allowed-classes Agent) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot instance_S ;+ (comment "\"An object is an &%instance of a &%SetOrClass if it is included in that &%SetOrClass. An individual may be an instance of many classes, some of which may be subclasses of others. Thus, there is no assumption in the meaning of &%instance about specificity or uniqueness.\"") (type INSTANCE) ;+ (allowed-classes SetOrClass) (create-accessor read-write)) (single-slot postalCode_S ;+ (comment "\"(&%postalCode ?NUMBER ?ADDRESS) means that the the postal code, e.g. zip code, ?NUMBER is part of the address ?ADDRESS.\"") (type INSTANCE) ;+ (allowed-classes Address) ;+ (cardinality 0 1) ;+ (subslot-of uniqueIdentifier_S) (create-accessor read-write)) (single-slot PredecessorFn_S ;+ (comment "\"A &%UnaryFunction that maps an &%Integer to its predecessor, e.g. the predecessor of 5 is 4.\"") (type INSTANCE) ;+ (allowed-classes Integer) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot MonthFn_S ;+ (comment "\"A &%BinaryFunction that maps a subclass of &%Month and a subclass of &%Year to the class containing the &%Months corresponding to thos &%Years. For example (&%MonthFn &%January (&%YearFn 1912)) is the class containing the eighth &%Month, i.e. August, of the &%Year 1912. For another example, (&%MonthFn &%August &%Year) is equal to &%August, the class of all months of August. Note that this function returns a &%Class as a value. The reason for this is that the related functions, viz. DayFn, HourFn, MinuteFn, and SecondFn, are used to generate both specific &%TimeIntervals and recurrent intervals, and the only way to do this is to make the domains and ranges of these functions classes rather than individuals.\"") (type SYMBOL) ;+ (allowed-parents Month) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot wife_S ;+ (comment "\"(&%wife ?WOMAN ?MAN) means that ?WOMAN is the wife of ?MAN.\"") (type INSTANCE) ;+ (allowed-classes Man) ;+ (inverse-slot husband_S) ;+ (subslot-of spouse_S) (create-accessor read-write)) (single-slot %3ADomain2Value ;+ (comment "The instance value for the third argument of a higher-arity relation. It is an instance of :Domain2Class.") (type INSTANCE) ;+ (allowed-classes Entity) ;+ (cardinality 0 1) ;+ (associated-facet SUMO152_00100) (create-accessor read-write)) (multislot quantityInEvent_S ;+ (comment "\"(quantityInEvent ?PROC ?QUANT ?OBJ) means that the number of &%Objects that are instances of ?OBJ that participate in an event ?PROC in the role of &%patient is ?QUANT.\"") (type SYMBOL) ;+ (allowed-parents Object) (create-accessor read-write)) (multislot capacity_S ;+ (comment "\"(&%capacity ?OBJ ?QUANTITY) means that ?OBJ can contain something that has the &%measure of ?QUANTITY. This predicate denotes maximal capacity, i.e. ?OBJ can hold no more than ?QUANTITY. Note, however, that this does not mean that &%capacity is a &%SingleValuedRelation, since an object may have various maximal capacities across different dimensions, e.g. a particular box may have a &%capacity of 3 pounds and a &%capacity of 1 liter.\"") (type INSTANCE) ;+ (allowed-classes ConstantQuantity) (create-accessor read-write)) (multislot believes_S ;+ (comment "\"The epistemic predicate of belief. (&%believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA.\"") (type INSTANCE) ;+ (allowed-classes Formula) ;+ (subslot-of inScopeOfInterest_S) (create-accessor read-write)) (multislot connects_S ;+ (comment "\"The relationship between three things, when one of the three things connects the other two. More formally, (&%connects ?OBJ1 ?OBJ2 ?OBJ3) means that (&%connected ?OBJ1 ?OBJ2) and (&%connected ?OBJ1 ?OBJ3) and not (&%connected ?OBJ2 ?OBJ3).\"") (type INSTANCE) ;+ (allowed-classes SelfConnectedObject) ;+ (inverse-slot connects_S) (create-accessor read-write)) (multislot geometricPart_S ;+ (comment "\"(&%geometricPart ?PART ?WHOLE) means that the &%GeometricFigure ?PART is part of the &%GeometricFigure ?WHOLE.\"") (type INSTANCE) ;+ (allowed-classes GeometricFigure) (create-accessor read-write)) (single-slot transactionAmount_S ;+ (comment "\"(&%transactionAmount ?Transaction ?Amount) means that ?Amount is an instance of &%CurrencyMeasure being exhanged in a &%FinancialTransaction ?Transaction.\"") (type INSTANCE) ;+ (allowed-classes CurrencyMeasure) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot isTheInformationContainedIn_S ;+ (comment "\"isTheInformationContainedIn is the relation between a Proposition and the ContentBearingObject that represents it.\"") (type INSTANCE) ;+ (allowed-classes ContentBearingObject) ;+ (inverse-slot containsInformation_S) (create-accessor read-write)) (single-slot %3ADomain2Type ;+ (comment "Specifies whether the first domain argument is an instance of the specified class or a subclass.\n In SUMO, this signals whether the proposition describing the domains of the relation use the relation name \"domain\" or \"domainSubclass\".") (type SYMBOL) (allowed-values Instance Class) ;+ (cardinality 0 1) ;+ (associated-facet UBLinv018_00288) (create-accessor read-write)) (multislot holdsObligation_S ;+ (comment "\"Expresses a relationship between a &%Formula and a &%CognitiveAgent whereby the &%CognitiveAgent has the obligation to bring it about that the &%Formula is true.\"") (type INSTANCE) ;+ (allowed-classes CognitiveAgent) (create-accessor read-write)) (single-slot BeginNodeFn_S ;+ (comment "\"A &%UnaryFunction that maps a &%GraphPath to the &%GraphNode that is the beginning of the &%GraphPath. Note that, unlike &%InitialNodeFn (which relates a &%GraphArc to a &%GraphNode), &%BeginNodeFn is a total function - every &%GraphPath has a beginning.\"") (type INSTANCE) ;+ (allowed-classes GraphNode) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot TerminalNodeFn_S ;+ (comment "\"A &%UnaryFunction that maps a &%GraphArc to the terminal node of the &%GraphArc. Note that this is a partial function. In particular, the function is undefined for &%GraphArcs that are not part of a &%DirectedGraph.\"") (type INSTANCE) ;+ (allowed-classes GraphNode) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot orbits_S ;+ (comment "\"(&%orbits ?SATELLITE ?FOCUS) means that the &%Object ?SATELLITE revolves around the &%AstronomicalBody ?FOCUS.\"") (type INSTANCE) ;+ (allowed-classes AstronomicalBody) (create-accessor read-write)) (single-slot SuccessorFn_S ;+ (comment "\"A &%UnaryFunction that maps an &%Integer to its successor, e.g. the successor of 5 is 6.\"") (type INSTANCE) ;+ (allowed-classes Integer) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot hasVersionNumber_S ;+ (comment "\"hasVersionNumber associates a number with the name of a conceptual work and the abstract text of the work. Typically there will besome physical embodiment (representation) of the conceptual work which bears the number. A VersionNumberString may contain letters as well as numbers, but if it is not a real number, at this point (samin011) the time sequence of versions cannot be related to the string.\"") (type INSTANCE) ;+ (allowed-classes VersionNumberString) (create-accessor read-write)) (single-slot dislikes_S ;+ (comment "\"(&%dislikes ?AGENT ?OBJECT) means that ?AGENT has a feeling of antipathy to ?OBJECT, i.e. ?AGENT believes that ?OBJECT will thwart one of his/her goals. Note that there is no implication that what is hated by an agent is not already possessed by the agent.\"") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of inScopeOfInterest_S) (create-accessor read-write)) (single-slot GreatestCommonDivisorFn_S ;+ (comment "\"(&%GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the greatest common divisor of ?NUMBER1 through ?NUMBER.\"") (type INSTANCE) ;+ (allowed-classes %3ARow) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot instrument_S ;+ (comment "\"(instrument ?EVENT ?TOOL) means that ?TOOL is used by an agent in bringing about ?EVENT and that ?TOOL is not changed by ?EVENT. For example, the key is an &%instrument in the following proposition: The key opened the door. Note that &%instrument and &%resource cannot be satisfied by the same ordered pair.\"") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of patient_S) (create-accessor read-write)) (single-slot RelativeComplementFn_S ;+ (comment "\"A &%BinaryFunction that maps two &%SetOrClasses to the difference between these &%SetOrClasses. More precisely, (&%RelativeComplementFn ?CLASS1 ?CLASS2) denotes the instances of ?CLASS1 that are not also instances of ?CLASS2.\"") (type INSTANCE) ;+ (allowed-classes SetOrClass) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot fills_S ;+ (comment "\"Holes can be filled. (&%fills ?OBJ ?HOLE) means that the &%Object ?OBJ fills the &%Hole ?HOLE. Note that &%fills here means perfectly filled.\"") (type INSTANCE) ;+ (allowed-classes Hole) ;+ (subslot-of completelyFills_S properlyFills_S) (create-accessor read-write)) (multislot inhabits_S ;+ (comment "\"A very basic notion of living within something else. (&%inhabits ?ORGANISM ?OBJECT) means that ?OBJECT is the residence, nest, home, etc. of ?ORGANISM.\"") (type INSTANCE) ;+ (allowed-classes Object) (create-accessor read-write)) (multislot citizen_S ;+ (comment "\"(&%citizen ?PERSON ?NATION) means that the &%Human ?PERSON is a citizen of &%Nation ?NATION.\"") (type INSTANCE) ;+ (allowed-classes Nation) (create-accessor read-write)) (multislot publishes_S ;+ (comment "\"(&%publishes ?ORG ?TEXT) means that ?ORG publishes ?TEXT. For example, Bantam Books publishes Agatha Christie's Murder_on_the_Orient_Express.\"") (type SYMBOL) ;+ (allowed-parents Text) (create-accessor read-write)) (multislot range_S ;+ (comment "\"Gives the range of a function. In other words, (&%range ?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are &%instances of ?CLASS.\"") (type INSTANCE) ;+ (allowed-classes SetOrClass) (create-accessor read-write)) (single-slot %3AhasClassValue ;+ (comment "\"(:hasClassValue ?REL ?CLASS ?VAL) is used to specify that every instance ?INST of class ?CLASS will have the same instance ?VAL related to ?INST by the relation ?REL. This explicit assignment of a value can override a default assignment using the relation :hasDefaultValue. Note that attempting to assign a value to one class and a different value to a subclass will result in a logical contradiction. The parent class value must be set by :hasDefaultValue in order for hasClassValue to overide the default without contradiction.\"") (type INSTANCE) ;+ (allowed-classes Entity) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot distance_S ;+ (comment "\"(&%distance ?OBJ1 ?OBJ2 ?QUANT) means that the shortest distance between the two objects ?OBJ1 and ?OBJ2 is ?QUANT. Note that the difference between the predicates &%length and &%distance is that the &%length is used to state the &%LengthMeasure of one of the dimensions of a single object, while &%distance is used to state the &%LengthMeasure that separates two distinct objects.\"") (type INSTANCE) ;+ (allowed-classes LengthMeasure) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot FirstFn_S ;+ (comment "\"(&%FirstFn ?LIST) returns the first item in the &%List ?LIST. For example, (&%FirstFn (&%ListFn &%Monday &%Tuesday &%Wednesday)) would return the value of &%Monday.\"") (type INSTANCE) ;+ (allowed-classes Entity) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot surface_S ;+ (comment "\"(&%surface ?OBJ1 ?OBJ2) means that ?OBJ1 is a maximally connected &%superficialPart of ?OBJ2. Note that some &%SelfConnectedObjects have more than one surface, e.g. a hollow object like a tennis ball has both an inner and an outer surface.\"") (type INSTANCE) ;+ (allowed-classes SelfConnectedObject) ;+ (subslot-of superficialPart_S) (create-accessor read-write)) (single-slot MinFn_S ;+ (comment "\"(&%MinFn ?NUMBER1 ?NUMBER2) is the smallest of ?NUMBER1 and ?NUMBER2. In cases where ?NUMBER1 is equal to ?NUMBER2, &%MinFn returns one of its arguments.\"") (type INSTANCE) ;+ (allowed-classes Quantity) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot DayFn_S ;+ (comment "\"A &%BinaryFunction that assigns a &%PositiveRealNumber and a subclass of &%Months to the &%Days within each &%Month corresponding to that &%PositiveRealNumber. For example, (&%DayFn 16 &%August) is the &%Class of all sixteenth days of August. For another example, (&%DayFn 9 &%Month) would return the class of all ninth days of any month. For still another example, (&%DayFn 18 (&%MonthFn 8 (YearFn 1912))) denotes the 18th day of August 1912.\"") (type SYMBOL) ;+ (allowed-parents RecurringDay) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot exactlyLocated_S ;+ (comment "\"The actual, minimal location of an Object. This is a subrelation of the more general &%Predicate &%located.\"") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of located_S) (create-accessor read-write)) (multislot subProposition_S ;+ (comment "\"(&%subProposition ?PROP1 ?PROP2) means that ?PROP1 is a &%Proposition which is a proper part of the &%Proposition ?PROP2. In other words, &%subProposition is the analogue of &%properPart for chunks of abstract content.\"") (type INSTANCE) ;+ (allowed-classes Proposition) (create-accessor read-write)) (single-slot hopes_S ;+ (comment "\"(&%hopes ?AGENT ?FORMULA) means that ?AGENT hopes that the proposition ?FORMULA will be true, i.e. he/she believes that it will come to pass in the future and that it will be desirable for ?AGENT.\"") (type INSTANCE) ;+ (allowed-classes Formula) ;+ (cardinality 0 1) ;+ (subslot-of expects_S) (create-accessor read-write)) (multislot properlyFills_S ;+ (comment "\"(&%properlyFills ?OBJ ?HOLE) means that ?HOLE is properly (though perhaps incompletely) filled by ?OBJ, i.e. some part of ?HOLE is perfectly filled by ?OBJ. Note that &%properlyFills is the dual of &%completelyFills, and is so related to &%partiallyFills that ?OBJ &%properlyFills ?HOLE just in case ?OBJ &%partiallyFills every part of ?HOLE. (Thus, every perfect filler is both complete and proper in this sense).\"") (type INSTANCE) ;+ (allowed-classes Hole) ;+ (subslot-of partiallyFills_S) (create-accessor read-write)) (multislot beforeOrEqual_S ;+ (comment "\"(&%beforeOrEqual ?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline.\"") (type INSTANCE) ;+ (allowed-classes TimePoint) (create-accessor read-write)) (single-slot %3ALOAD-SEQUENCE ;+ (comment "LOAD-SEQUENCE is a convenience slot which specifies the sequence in which a logically related block of predicates (or an axiom) was loaded from the input KIF-format file. The sole function is to allow recreation of the original sequence of statements for the convenience of the ontologist. A value of 0 is default for newly created concepts.") (type INTEGER) (range 0 %3FVARIABLE) (default 0) ;+ (cardinality 1 1) ;+ (associated-facet UBLinv019_00333) (create-accessor read-write)) (multislot measure_S ;+ (comment "\"A very general &%Predicate for asserting that a particular &%Object is measured by a particular &%ConstantQuantity. In general, the second argument of this &%Predicate will be an instance of the &%Function &%MeasureFn.\"") (type INSTANCE) ;+ (allowed-classes PhysicalQuantity) (create-accessor read-write)) (single-slot age_S ;+ (comment "\"Simply relates an &%Object to a &%ConstantQuantity specifying the age of the &%Object.\"") (type INSTANCE) ;+ (allowed-classes TimeDuration) ;+ (cardinality 0 1) ;+ (subslot-of measure_S) (create-accessor read-write)) (single-slot represents_S ;+ (comment "\"A very general semiotics &%Predicate. (&%represents ?THING ?ENTITY) means that ?THING in some way indicates, expresses, connotes, pictures, describes, etc. ?ENTITY. The &%Predicates &%containsInformation and &%realization are subrelations of &%represents. Note that &%represents is a subrelation of &%refers, since something can represent something else only if it refers to this other thing. See the documentation string for &%names.\"") (type INSTANCE) ;+ (allowed-classes Entity) ;+ (cardinality 0 1) ;+ (subslot-of refers_S) (create-accessor read-write)) (single-slot AccountFn_S ;+ (comment "\"A function that takes a financial instrument and returns a FinancialAccount which is repesented by that instrument. This function is mentioned but not defined in SUM 1.56 or MILO -PJC 3-5-04.\"") (type INSTANCE) ;+ (allowed-classes FinancialAccount) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot isReferencedBy_S ;+ (comment "\"isReferencedBy relates any entity to an AbstractInformationalEntity (such as an Abstract Text) that represents the entity in some way. This is the inverse of relation 'hasReferent'. Thus a physical cat may be represented by the AbstractString 'c-a-t'.\"") (type INSTANCE) ;+ (allowed-classes AbstractInformationalEntity) ;+ (inverse-slot hasReferent_S) (create-accessor read-write)) (multislot lessThan_S ;+ (comment "\"(&%lessThan ?NUMBER1 ?NUMBER2) is true just in case the &%Quantity ?NUMBER1 is less than the &%Quantity ?NUMBER2.\"") (type INSTANCE) ;+ (allowed-classes Quantity) ;+ (inverse-slot greaterThan_S) (create-accessor read-write)) (single-slot WhereFn_S ;+ (comment "\"Maps an &%Object and a &%TimePoint at which the &%Object exists to the &%Region where the &%Object existed at that &%TimePoint.\"") (type INSTANCE) ;+ (allowed-classes Region) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot overlapsSpatially_S ;+ (comment "\"(&%overlapsSpatially ?OBJ1 ?OBJ2) means that the &%Objects ?OBJ1 and ?OBJ2 have some parts in common. This is a reflexive and symmetric (but not transitive) relation.\"") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of connected_S) (create-accessor read-write)) (multislot hasInformationalContent_S ;+ (comment "\"hasInformationalContent is the relation between a Proposition and the corresponding mental entity.\"") (type INSTANCE) ;+ (allowed-classes AbstractInformationalEntity Proposition) ;+ (inverse-slot isTheInformationalContentOf_S) (create-accessor read-write)) (multislot hasPurpose_S ;+ (comment "\"This &%Predicate expresses the concept of a conventional goal, i.e. a goal with a neutralized agent's intention. Accordingly, (&%hasPurpose ?THING ?FORMULA) means that the instance of &%Physical ?THING has, as its purpose, the &%Proposition expressed by ?FORMULA. Note that there is an important difference in meaning between the &%Predicates &%hasPurpose and &%result. Although the second argument of the latter can satisfy the second argument of the former, a conventional goal is an expected and desired outcome, while a result may be neither expected nor desired. For example, a machine process may have outcomes but no goals, aimless wandering may have an outcome but no goal; a learning process may have goals with no outcomes, and so on.\"") (type INSTANCE) ;+ (allowed-classes Formula) (create-accessor read-write)) (multislot createdBy_S ;+ (comment "\"createdBy is used to assert that a particular instance of an entity was created in an action which has a particular agent as its main actor. In this relation, the event itself is unspecified.\"") (type INSTANCE) ;+ (allowed-classes CognitiveAgent) (create-accessor read-write)) (multislot conjugate_S ;+ (comment "\"(&%conjugate ?COMPOUND1 ?COMPOUND2) means that ?COMPOUND1 and ?COMPOUND2 are identical &%CompoundSubstances except that one has one more &%Proton than the other.\"") (type INSTANCE) ;+ (allowed-classes CompoundSubstance) ;+ (inverse-slot conjugate_S) (create-accessor read-write)) (multislot destination_S ;+ (comment "\"(destination ?PROCESS ?GOAL) means that ?GOAL is the target or goal of the Process ?PROCESS. For example, Danbury would be the destination in the following proposition: Bob went to Danbury. Note that this is a very general &%CaseRole and, in particular, that it covers the concepts of 'recipient' and 'beneficiary'. Thus, John would be the &%destination in the following proposition: Tom gave a book to John.\"") (type INSTANCE) ;+ (allowed-classes Entity) (create-accessor read-write)) (multislot issuedBy_S ;+ (comment "\"(&%issuedBy ?Instrument ?Agent) means that a &%FinancialInstrument ?Instrument is produced and offered by ?Agent.\"") (type INSTANCE) ;+ (allowed-classes CognitiveAgent) (create-accessor read-write)) (single-slot synonymousExternalConcept_S ;+ (comment "\"(&%synonymousExternalConcept ?STRING ?THING ?LANGUAGE) means that the SUMO concept ?THING has the same meaning as ?STRING in ?LANGUAGE.\"") (type INSTANCE) ;+ (allowed-classes %3ALanguage) ;+ (cardinality 0 1) ;+ (subslot-of relatedExternalConcept) (create-accessor read-write)) (multislot legalRelation_S ;+ (comment "\"(&%legalRelation ?AGENT1 ?AGENT2) means there is a relationship involving legal obligations between ?AGENT1 and ?AGENT2. Some examples include marriage, adoption, etc.\"") (type INSTANCE) ;+ (allowed-classes CognitiveAgent) ;+ (inverse-slot legalRelation_S) (create-accessor read-write)) (single-slot daughter_S ;+ (comment "\"The general relationship of daughterhood. (&%daughter ?CHILD ?PARENT) means that ?CHILD is the biological daughter of ?PARENT.\"") (type INSTANCE) ;+ (allowed-classes Human) ;+ (cardinality 0 1) ;+ (subslot-of parent_S) (create-accessor read-write)) (single-slot overlapsPartially_S ;+ (comment "\"(&%overlapsPartially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 have part(s) in common, but neither ?OBJ1 nor ?OBJ2 is a &%part of the other.\"") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of overlapsSpatially_S) (create-accessor read-write)) (multislot connectedEngineeringComponents_S ;+ (comment "\"This is the most general connection relation between &%EngineeringComponents. If (&%connectedEngineeringComponents ?COMP1 ?COMP2), then neither ?COMP1 nor ?COMP2 can be an &%engineeringSubcomponent of the other. The relation &%connectedEngineeringComponents is a &%SymmetricRelation; there is no information in the direction of connection between two components. It is also an &%IrreflexiveRelation; no &%EngineeringComponent bears this relation to itself. Note that this relation does not associate a name or type with the connection.\"") (type INSTANCE) ;+ (allowed-classes EngineeringComponent) ;+ (inverse-slot connectedEngineeringComponents_S) ;+ (subslot-of connected_S) (create-accessor read-write)) (multislot inverse_S ;+ (comment "\"The inverse of a &%BinaryRelation is a relation in which all the tuples of the original relation are reversed. In other words, one &%BinaryRelation is the inverse of another if they are equivalent when their arguments are swapped.\"") (type INSTANCE) ;+ (allowed-classes BinaryRelation) ;+ (inverse-slot inverse_S) (create-accessor read-write)) (multislot between_S ;