; Mon Jul 28 02:15:10 EDT 2003 ; ;+ (version "1.8") ;+ (build "Build 1074") (defclass %3ACLIPS_TOP_LEVEL_SLOT_CLASS (is-a USER) (role concrete) (single-slot SineFn ;+ (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)) (single-slot PositionCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000449):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot distance ;+ (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 Physical) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot PastFn ;+ (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 equivalenceRelationOn ;+ (comment "A &%BinaryRelation is an &%equivalenceRelationOn a &%SetOrClass only if the relation is &%reflexiveOn the &%SetOrClass and it is both a &%TransitiveRelation and a &%SymmetricRelation.") (type INSTANCE) ;+ (allowed-classes SetOrClass) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot usageType ;+ (comment "usageType describes the context in which a word is used as a label for a particular concept.") (type SYMBOL) (allowed-values preferred slang technical deprecated) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot PredecessorFn ;+ (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 DurationMeasure ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000445):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot CargoTypeCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000118):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ToFollowActionCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000482):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot path ;+ (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 Region) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot exhaustiveDecomposition ;+ (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 Class) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot FromEventCode (type STRING) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot identityElement ;+ (comment "An object ?ID is the identity element for BinaryFunction ?FUNCTION just in case, for every instance ?INST, applying ?FUNCTION to ?INST and ?ID results in ?INST.") (type INSTANCE) ;+ (allowed-classes Entity) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot AccountName ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000409):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot properPart ;+ (comment "(&%properPart ?OBJ1 ?OBJ2) means that\n?OBJ1 is a part of ?OBJ2 other than ?OBJ2 itself. This is a\n&%TransitiveRelation and &%AsymmetricRelation (hence an\n&%IrreflexiveRelation).\n") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of part) (create-accessor read-write)) (single-slot StreetAddr ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000151):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot length ;+ (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) (create-accessor read-write)) (single-slot MinimumAmount ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000077):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ExchangeMarketID ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000214):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot causes ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot distributes ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot SellersItemIdentification ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000292):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot meetsSpatially ;+ (comment "(&%meetsSpatially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 are &%connected but that neither ?OBJ1 nor ?OBJ2 &%overlapsSpatially the other.\n\n(connected ?OBJ1 ?OBJ2) means that ?OBJ1 &%meetsSpatially ?OBJ2 or that ?OBJ1 &%overlapsSpatially ?OBJ2.") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of connected) (create-accessor read-write)) (single-slot wife ;+ (comment "(&%wife ?WOMAN ?MAN) means that ?WOMAN is the wife of ?MAN.\n") (type INSTANCE) ;+ (allowed-classes Man) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot PathWeightFn ;+ (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)) (single-slot TaxCurrencyCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL700007):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot WealthFn ;+ (comment "A &%UnaryFunction that maps an &%Agent to a &%CurrencyMeasure specifying the value of the property owned by the &%Agent. Note that this &%Function is generally used in conjunction with the &%Function &%PropertyFn, e.g. (&%WealthFn (&%PropertyFn BillGates)) would return the monetary value of the sum of Bill Gates' holdings.") (type INSTANCE) ;+ (allowed-classes CurrencyMeasure) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot PicoFn ;+ (comment "A &%UnaryFunction that maps a &%UnitOfMeasure into a &%UnitOfMeasure that is equal to .000000000001 units of the original &%UnitOfMeasure. For example, (&%PicoFn &%Ampere) is .000000000001 &%Amperes.") (type INSTANCE) ;+ (allowed-classes UnitOfMeasure) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot MinimalCutSetFn ;+ (comment "A &%UnaryFunction that assigns a &%Graph the &%Class of &%GraphPaths which comprise cutsets for the &%Graph and which have the least number of &%GraphArcs.") (type INSTANCE) ;+ (allowed-classes GraphPath) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ContainedPackage ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000011):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot RealNumberFn ;+ (comment "(RealNumberFn ?NUMBER) returns the part of ?NUMBER that is a &%RealNumber.") (type INSTANCE) ;+ (allowed-classes RealNumber) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot sibling ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot geometricDistance ;+ (comment "(&%geometricDistance ?POINT1 ?POINT2 ?LENGTH) means that ?LENGTH is the distance between the two &%GeometricPoints ?POINT1 and ?POINT2.\n") (type INSTANCE) ;+ (allowed-classes GeometricPoint) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot temporallyBetweenOrEqual ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ShippingContact ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000556):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot child-of (type STRING) (create-accessor read-write)) (single-slot inverse ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot consistent ;+ (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.\n") (type INSTANCE) ;+ (allowed-classes Proposition) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot transactionAmount (type INSTANCE) ;+ (allowed-classes CurrencyMeasure) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot HandlingUnitReceiptLine ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000470):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot cooccur ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot RiskResponsibilityCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000184):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot MinimalWeightedPathFn ;+ (comment "This &%BinaryFunction assigns two &%GraphNodes to the &%GraphPath with the smallest sum of weighted arcs between the two &%GraphNodes.") (type INSTANCE) ;+ (allowed-classes GraphPath) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot independentProbability ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ItemDesignator ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000388):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot TemporalCompositionFn ;+ (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)) (single-slot greaterThan ;+ (comment "(&%greaterThan ?NUMBER1 ?NUMBER2) is true just in case the &%Quantity ?NUMBER1 is greater than the &%Quantity ?NUMBER2.") (type INSTANCE) ;+ (allowed-classes Quantity) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot conditionalProbability ;+ (comment "One of the basic &%ProbabilityRelations. &%conditionalProbability is used to state the numeric value of a conditional probability. (&%conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER) means that the probability of ?FORMULA2 being true given that ?FORMULA1 is true is ?NUMBER.") (type INSTANCE) ;+ (allowed-classes Formula) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot EditionFn ;+ (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)) (single-slot ComplementFn ;+ (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)) (single-slot HandlingTypeCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000016):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot RelativeComplementFn ;+ (comment "A &%BinaryFunction that maps two &%SetOrClasses to the difference between these &%SetOrClasses. More precisely, the relative complement of one class C1 relative to another C2 consists of the instances of C1 that are instances of the &%ComplementFn of C2.") (type INSTANCE) ;+ (allowed-classes SetOrClass) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot LineitemCountQuantity ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL700009):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot CompanyRegistrationID ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000402):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot attribute ;+ (comment "(&%attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a &%Attribute of ?OBJECT. For example, (&%attribute &%MyLittleRedWagon &%Red).") (type INSTANCE) ;+ (allowed-classes Attribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot subsumesContentClass ;+ (comment "NOTE: Domain1 is a class\nA &%BinaryPredicate that relates two subclasses of &%ContentBearingObject. (&%subsumesContentClass ?CLASS1 ?CLASS2) means that the content expressed by each instance of ?CLASS2 is\nalso expressed by each instance of ?CLASS1. Examples include the\nrelationship between a poem and one of its stanzas or between a book and\none 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.\n") (type SYMBOL) ;+ (allowed-parents ContentBearingObject) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot RejectedQuantity ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000246):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot meetsTemporally ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot RegistrationAddress ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000405):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ReferencedOrder (type INSTANCE) ;+ (allowed-classes Order) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot OrderLineID ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000189):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot TechnicalName ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000264):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot EndDateTime ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000444):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot true ;+ (comment "The &%BinaryPredicate that relates a &%Sentence to its &%TruthValue.\n\nThis &%Predicate holds between an instance of &%Entity and an instance of &%Attribute. (property ?ENTITY ?ATTR) means that ?ENTITY has the &%Attribute ?ATTR.") (type INSTANCE) ;+ (allowed-classes Attribute) ;+ (cardinality 0 1) ;+ (subslot-of property) (create-accessor read-write)) (single-slot ToFollowQuantity ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000238):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot TransportContract ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000025):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot successorAttribute ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot arcWeight ;+ (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)) (single-slot ReciprocalFn ;+ (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 cat%3AReferencedReceiptAdvice ;+ (comment "UBL-element Jul 26-03 (UBL-ID=):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot SecondaryHazards ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000266):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot element ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot GrossVolumeMeasure ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000022):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot cat%3AInvoiceLine ;+ (comment "UBL-element Jul 26-03 (UBL-ID=):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) (cardinality 1 ?VARIABLE) (create-accessor read-write)) (single-slot InvoiceQuantity ;+ (comment "Quantity of unitCode(s). See unitCode slot.") (type INTEGER) ;+ (cardinality 1 1) (create-accessor read-write)) (single-slot NanoFn ;+ (comment "A &%UnaryFunction that maps a &%UnitOfMeasure into a &%UnitOfMeasure that is equal to .000000001 units of the original &%UnitOfMeasure. For example, (&%MicroFn &%SecondDuration) is .000000001 &%SecondDurations.") (type INSTANCE) ;+ (allowed-classes UnitOfMeasure) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot MinuteFn ;+ (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 prefers ;+ (comment "(&%prefers ?AGENT ?FORMULA1 ?FORMULA2) means that &%CognitiveAgent ?AGENT prefers the state of affairs expressed by ?FORMULA1over the state of affairs expressed by ?FORMULA2 all things being equal.") (type INSTANCE) ;+ (allowed-classes Formula) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot hasPurposeForAgent ;+ (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 Formula) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot cat%3AExchangeRate ;+ (comment "UBL-element Jul 26-03 (UBL-ID=):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot RefrigerationStatusIndicator ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000649):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot PremisesFn ;+ (comment "(&%PremisesFn ?ARGUMENT) returns the complete set of &%premises of the &%Argument ?ARGUMENT.\n") (type INSTANCE) ;+ (allowed-classes Proposition) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot subOrganization ;+ (comment "(&%subOrganization ?ORG1 ?ORG2) means that ?ORG1 is an &%Organization which is a proper part of the &%Organization ?ORG2.\n") (type INSTANCE) ;+ (allowed-classes Organization) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot RatePercentNumeric (type INSTANCE) ;+ (allowed-classes Percent) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot OrderContact ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000557):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ImaginaryPartFn ;+ (comment "(&%ImaginaryPartFn ?NUMBER) returns the part of ?NUMBER that has the square root of -1 as its factor.") (type INSTANCE) ;+ (allowed-classes ImaginaryNumber) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ForeignExchangeContract ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000218):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot SubtractionFn ;+ (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)) (single-slot between ;+ (comment "(between ?OBJ1 ?OBJ2 ?OBJ3) means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3. Note that this implies that ?OBJ2 is directly between ?OBJ1 and ?OBJ3, i.e. the projections of ?OBJ1 and ?OBJ3 overlap with ?OBJ2.") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot PlacardNotation ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000254):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot MagnitudeFn ;+ (comment "The magnitude of a &%ConstantQuantity is the numeric value for the quantity. In other words, &%MagnitudeFn converts a &%ConstantQuantity with an associated &%UnitOfMeasure into an ordinary &%RealNumber. For example, the magnitude of the &%ConstantQuantity 2 &%Kilometers is the &%RealNumber 2. Note that the magnitude of a quantity in a given unit times that unit is equal to the original quantity.") (type INSTANCE) ;+ (allowed-classes RealNumber) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot StatusCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000664):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot PaidAmount ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000423):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot SourceCurrencyBaseAmount ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000211):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot 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 Entity) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot possesses ;+ (comment "&%Relation that holds between an &%Agent and an &%Object when the &%Agent has ownership of the &%Object.") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot grounding (type INSTANCE) ;+ (allowed-classes Grounding) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot LatitudeDirectionCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000340):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ShortQuantity ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000244):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot equivalentContentInstance ;+ (comment "A &%BinaryPredicate relating two\ninstances of &%ContentBearingObject. (&%equivalentContentInstance\n?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\n(&%subsumesContentInstance ?OBJ2 ?OBJ2).\n") (type INSTANCE) ;+ (allowed-classes ContentBearingObject) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot taxTotal (type INSTANCE) ;+ (allowed-classes TaxTotal) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot CustomerCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000099):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot subset ;+ (comment "(subset ?SET1 ?SET2) is true just in case the &%elements of the &%Set ?SET1 are also &%elements of the &%Set ?SET2.\n\n(&%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 Set) ;+ (cardinality 0 1) ;+ (subslot-of subclass) (create-accessor read-write)) (single-slot FrontFn ;+ (comment "A &%Function that maps an &%Object to the side that generally receives the most attention or that typically faces the direction in which the &%Object moves. Note that this is a partial function, since some &%Objects do not have sides, e.g. apples and spheres. Note too that the &%range of this &%Function is indefinite in much the way that &%ImmediateFutureFn and &%ImmediatePastFn are indefinite.\nAlthough this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases.\n") (type INSTANCE) ;+ (allowed-classes SelfConnectedObject) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot husband ;+ (comment "(&%husband ?MAN ?WOMAN) means that ?MAN is the husband of ?WOMAN.\n") (type INSTANCE) ;+ (allowed-classes Woman) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot son ;+ (comment "The general relationship of being a son.\n(&%son ?CHILD ?PARENT) means that ?CHILD is the biological son of ?PARENT.\n\nThe general relationship of parenthood. (&%parent ?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD.") (type INSTANCE) ;+ (allowed-classes Organism) ;+ (cardinality 0 1) ;+ (subslot-of parent) (create-accessor read-write)) (single-slot increasesLikelihood ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ExpiryDate ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000100):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot conclusion ;+ (comment "(&%conclusion ?ARGUMENT ?PROPOSITION) means that\nthe &%Proposition ?PROPOSITION is the conclusion explicitly drawn from the\n&%Argument ?ARGUMENT. Note that it may or may not be the case that ?ARGUMENT &%entails ?PROPOSITION.\n") (type INSTANCE) ;+ (allowed-classes Proposition) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot range ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot IssueNumberCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000102):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot inLanguage ;+ (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 HumanLanguage) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot OriginCountry ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000297):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot PackQuantity ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000288):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot JurisdictionAddress ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000622):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot SellersID ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000379):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot grasps ;+ (comment "The state of grasping an &%Object. (&%grasps ?ANIMAL ?OBJ) means that the &%Animal ?ANIMAL is intentionally holding on to the &%Object ?OBJ.\n\n(&%meetsSpatially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 are &%connected but that neither ?OBJ1 nor ?OBJ2 &%overlapsSpatially the other.\n\n(connected ?OBJ1 ?OBJ2) means that ?OBJ1 &%meetsSpatially ?OBJ2 or that ?OBJ1 &%overlapsSpatially ?OBJ2.") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of meetsSpatially) (create-accessor read-write)) (single-slot buyerTransaction (type INSTANCE) ;+ (allowed-classes Buying) ;+ (cardinality 1 1) (create-accessor read-write)) (single-slot TofollowQuantity ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000191):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot TaxScheme ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000406):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot EmergencyProceduresCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000261):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot PricingCurrencyCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL700008):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot HouseName ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000036):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot HandlingCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000017):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot hasMeasure ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000305):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot lineMeasure ;+ (comment "(&%lineMeasure ?LINE ?MEASURE) means that the straight line ?LINE has the &%LengthMeasure of ?MEASURE.\n") (type INSTANCE) ;+ (allowed-classes LengthMeasure) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot lineExtensionTotalAmount (type FLOAT) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot AlternativeOrderLine ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000393):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot needs ;+ (comment "(&%needs ?AGENT ?OBJECT) means that ?OBJECT is physically required for the continued existence of ?AGENT.") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot patient ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot LongitudeMinutesMeasure ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000342):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot CurrencyCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000053):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot hasSkill ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot CatalogueItemIdentification ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000295):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ServiceLevelCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000362):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot context (type INSTANCE) ;+ (allowed-classes Context) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot TaxTypeCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000624):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot RequestedDeliveryDate ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000177):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ExponentiationFn ;+ (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 lineExtensionTotalAmountCurrency (type SYMBOL) ;+ (allowed-parents CurrencyMeasure) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot MaximumTransportTemperatureMeasure ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000272):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot TransportModeCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000591):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot LatitudeDegreesMeasure ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000338):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ImmediatePastFn ;+ (comment "A &%UnaryFunction that maps a &%TimePosition to a short, indeterminate &%TimeInterval that immediately precedes the &%TimePosition.") (type INSTANCE) ;+ (allowed-classes TimeInterval) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot PayerFinancialAccount ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000431):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot copy ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot LineID ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000188):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot knows ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot StandardItemIdentification ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000294):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot lineExtensionAmountCurrency (type SYMBOL) ;+ (allowed-parents CurrencyMeasure) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot DayFn ;+ (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 Day) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot subrelation ;+ (comment "A &%Relation R is a &%subrelation &%Relation R' if R is a &%subclass R'. This implies that every tuple of R is also a tuple of R'. Again, if R holds for some arguments arg_1, arg_2, ... arg_n, then R' holds for the same arguments. Thus, a &%Relation and its subrelation must have the same valence. In CycL, &%subrelation is called #$genlPreds.") (type INSTANCE) ;+ (allowed-classes Relation) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot HouseNumber ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000037):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ToFollowReason ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000239):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot located ;+ (comment "(&%located ?PHYS ?OBJ) means that ?PHYS is &%partlyLocated\nat ?OBJ, and there is no &%part or &%subProcess of ?PHYS that is not &%located at ?OBJ.\n") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot TofollowReason ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000192):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot instrument ;+ (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\nand &%resource cannot be satisfied by the same ordered pair.\n\n(&%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 Object) ;+ (cardinality 0 1) ;+ (subslot-of patient) (create-accessor read-write)) (single-slot TaxAmount (type FLOAT) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot %3ADomain2Class ;+ (comment "The third argument of a higher-arity relation, after usual domain and range.") (type SYMBOL) ;+ (allowed-parents Entity) ;+ (cardinality 0 1) ;+ (associated-facet SUMO148_00000) (create-accessor read-write)) (single-slot OrderLine ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000171):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot inhabits ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot inScopeOfInterest ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot home ;+ (comment "The relation between a &%Human and a home of the &%Human.\n\nA 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 StationaryArtifact) ;+ (cardinality 0 1) ;+ (subslot-of inhabits) (create-accessor read-write)) (single-slot valence ;+ (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 GigaFn ;+ (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 trichotomizingOn ;+ (comment "A &%BinaryRelation ?REL is trichotomizing on a &%SetOrClass only if, for all instances ?INST1 and ?INST2 of the &%SetOrClass, at least one of the following holds: (?REL ?INST1 ?INST2),(?REL ?INST2 ?INST1) or (equal ?INST1 ?INST2).") (type INSTANCE) ;+ (allowed-classes SetOrClass) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot cat%3ATaxTotal ;+ (comment "UBL-element Jul 26-03 (UBL-ID=):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) (create-accessor read-write)) (single-slot value (type FLOAT) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot manner ;+ (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\nspeed of the wind, the style of a dance, or the intensity of a sports competition.\n") (type INSTANCE) ;+ (allowed-classes Attribute) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot lineItem (type INSTANCE) ;+ (allowed-classes LineItem) (cardinality 1 ?VARIABLE) (create-accessor read-write)) (single-slot AccountCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000091):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot PriceAmount ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000072):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot superficialPart ;+ (comment "(&%superficialPart ?OBJ1 ?OBJ2)\nmeans that ?OBJ1 is a part of ?OBJ2 that has no interior parts of its own\n(or, intuitively, that only overlaps those parts of ?OBJ2 that are\nexternally connected with the mereological complement of ?OBJ2). This too\nis a transitive relation closed under &%MereologicalSumFn and\n&%MereologicalProductFn.\n") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of part) (create-accessor read-write)) (single-slot ReferencedOrderLine ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000279):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot Information ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000650):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot Code ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000142):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot RejectReasonCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000247):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot subText ;+ (comment "subText relates a Text (abstract or physical) to one of its proper parts. This can be used as a necessary\nrelation when some text always has a specific proper part -- a Title for a Book, for example.") (type INSTANCE) ;+ (allowed-classes TransactionAmount) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot SettlementDiscountRateNumeric ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000438):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot SettlementPeriod (type INSTANCE) ;+ (allowed-classes TimeDuration) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot temporallyBetween ;+ (comment "(&%temporallyBetween ?POINT1 ?POINT2 ?POINT3) means that the &%TimePoint ?POINT2 is between the &%TimePoints ?POINT1 and ?POINT3, i.e. ?POINT1 is before ?POINT2 and ?POINT2 is before ?POINT3.") (type INSTANCE) ;+ (allowed-classes TimePoint) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot PhysicalAttribute ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000087):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot disjointDecomposition ;+ (comment "A &%disjointDecomposition of a &%Class C is a set of subclasses of C that are mutually &%disjoint.") (type INSTANCE) ;+ (allowed-classes Class) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot cat%3APaymentTerms ;+ (comment "UBL-element Jul 26-03 (UBL-ID=):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot names ;+ (comment "(&%names ?STRING ?ENTITY) means that the thing ?ENTITY\nhas 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.\n\n(&%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) ;+ (cardinality 0 1) ;+ (subslot-of refers) (create-accessor read-write)) (single-slot BuyersOrderID ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000484):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot BuyersID ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000059):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot engineeringSubcomponent ;+ (comment "(&%engineeringSubcomponent ?SUB ?SUPER) means that the &%EngineeringComponent ?SUB is structurally a &%properPart ?SUPER. This relation is an &%AsymmetricRelation, since two &%EngineeringComponents cannot be subcomponents of each other.") (type INSTANCE) ;+ (allowed-classes EngineeringComponent) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ConditionID ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000545):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ItemMeasurement ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000088):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ImmediateFutureFn ;+ (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 top ;+ (comment "(&%top ?TOP ?OBJECT) means that ?TOP is the highest maximal\nsuperficial part of ?OBJECT.\n") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of superficialPart) (create-accessor read-write)) (single-slot SpeedFn (type INSTANCE) ;+ (allowed-classes TimeDuration) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot cat%3AReferencedDespatchAdvice ;+ (comment "UBL-element Jul 26-03 (UBL-ID=):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 1 1) (create-accessor read-write)) (single-slot %3D%3E ;+ (comment "The truth-functional connective of implication.") (type INSTANCE) ;+ (allowed-classes Formula) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot priceAmountCurrency (type SYMBOL) ;+ (allowed-parents CurrencyMeasure) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot IssuerPartyTypeCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000662):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot HourFn ;+ (comment "A &%BinaryFunction that assigns a &%PositiveRealNumber and a subclass of &%Days to the &%Hours within each &%Day corresponding to that &%PositiveRealNumber. For example, (&%HourFn 12 &%Thursday) is the &%Class of all instances of noon Thursday. For another example, (&%HourFn 24 &%Day) would return the class of all instances of midnight. For still another example, (&%HourFn 14 (&%DayFn 18 (&%MonthFn 8 (YearFn 1912)))) denotes 2 PM on the 18th day of August 1912.") (type SYMBOL) ;+ (allowed-parents Hour) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot time ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot IssueDate (type INSTANCE) ;+ (allowed-classes TimePosition) ;+ (cardinality 1 1) (create-accessor read-write)) (single-slot TimeIntervalFn ;+ (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)) (single-slot initialList ;+ (comment "(&%initialList ?LIST1 ?LIST2) means that ?LIST1 is a &%subList of ?LIST2 and (&%ListOrderFn ?LIST1 ?NUMBER) returns the same\nvalue as (&%ListOrderFn ?LIST2 ?NUMBER) for all of the values of ?NUMBER over which (&%ListOrderFn ?LIST1 ?NUMBER) is defined.\n\n(&%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) ;+ (cardinality 0 1) ;+ (subslot-of subList) (create-accessor read-write)) (single-slot equivalentContentClass ;+ (comment "A &%BinaryPredicate that relates two\nsubclasses of &%ContentBearingObject. (&%equivalentContentClass ?CLASS1\n?CLASS2) means that the content expressed by each instance of ?CLASS1 is\nalso 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\n(&%equivalentContentClass ?CLASS1 ?CLASS2) implies (&%subsumesContentClass\n?CLASS1 ?CLASS2) and (&%subsumesContentClass ?CLASS2 ?CLASS1).\n\nNOTE: Domain1 is a class\nA &%BinaryPredicate that relates two subclasses of &%ContentBearingObject. (&%subsumesContentClass ?CLASS1 ?CLASS2) means that the content expressed by each instance of ?CLASS2 is\nalso expressed by each instance of ?CLASS1. Examples include the\nrelationship between a poem and one of its stanzas or between a book and\none 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.\n") (type SYMBOL) ;+ (allowed-parents ContentBearingObject) ;+ (cardinality 0 1) ;+ (subslot-of subsumesContentClass) (create-accessor read-write)) (single-slot ReferencedDespatchLine ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000251):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot PrimaryAccountNumberID ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000097):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot DeliveryRequirement ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000024):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot MinFn ;+ (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 cat%3APaymentMeans ;+ (comment "UBL-element Jul 26-03 (UBL-ID=):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot StageID ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000590):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot OrderedPackage ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000376):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot destination ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot EndDateTimeDate ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000586):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot holdsObligation ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot MinimumTransportTemperatureMeasure ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000273):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ProviderTypeCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000644):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot lineExtensionAmount (type FLOAT) ;+ (cardinality 1 1) (create-accessor read-write)) (single-slot lessThan ;+ (comment "(&%lessThan ?NUMBER1 ?NUMBER2) is true just in case the &%Quantity ?NUMBER1 is less than the &%Quantity ?NUMBER2.") (type INSTANCE) ;+ (allowed-classes Quantity) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ChipIndicator ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000104):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot sister ;+ (comment "The general relationship of being a sister. (&%sister ?WOMAN ?PERSON) means that ?WOMAN is the sister of ?PERSON.\n") (type INSTANCE) ;+ (allowed-classes Human) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot completelyFills ;+ (comment "(&%completelyFills ?OBJ ?HOLE)\nmeans that some &%part of the &%Object ?OBJ fills the &%Hole ?HOLE.\nNote that if (&%completelyFills ?OBJ1 ?HOLE) and (&%part\n?OBJ1 ?OBJ2), then (&%completelyFills ?OBJ2 ?HOLE).\n") (type INSTANCE) ;+ (allowed-classes Hole) ;+ (cardinality 0 1) ;+ (subslot-of partiallyFills) (create-accessor read-write)) (single-slot product (type INSTANCE) ;+ (allowed-classes ProductObject) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot monetaryValue ;+ (comment "A &%BinaryPredicate that associates an &%Object with its value expressed as an instance of &%CurrencyMeasure.") (type INSTANCE) ;+ (allowed-classes CurrencyMeasure) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot UndgCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000257):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot PaymentDueDate ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000428):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot side ;+ (comment "(&%side ?SIDE ?OBJECT) means that ?SIDE is a side of the object,\nas opposed to the &%top or &%bottom.\n") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of superficialPart) (create-accessor read-write)) (single-slot BeginFn ;+ (comment "A &%UnaryFunction that maps a &%TimeInterval to the &%TimePoint at which the interval begins.") (type INSTANCE) ;+ (allowed-classes TimePoint) ;+ (cardinality 0 1) (create-accessor read-write)) (multislot morphological_form (type STRING) (create-accessor read-write)) (single-slot holds ;+ (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 List) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot parent ;+ (comment "The general relationship of parenthood. (&%parent ?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD.") (type INSTANCE) ;+ (allowed-classes Organism) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot MereologicalDifferenceFn ;+ (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 geographicSubregion ;+ (comment "(&%geographicSubregion ?PART ?WHOLE) means that the &%GeographicArea ?PART is part of the &%GeographicArea ?WHOLE.\n") (type INSTANCE) ;+ (allowed-classes GeographicArea) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot TransportEmergencyCardCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000269):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot MaximalWeightedPathFn ;+ (comment "This &%BinaryFunction assigns two &%GraphNodes to the &%GraphPath with the largest sum of weighted arcs between the two &%GraphNodes.") (type INSTANCE) ;+ (allowed-classes GraphPath) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot partlyLocated ;+ (comment "The predicate of partial localization. For example, Istanbul is partly located in Asia. Note that this is the most basic localization relation: &%located and &%exactlyLocated are both subrelations of &%partlyLocated.") (type INSTANCE) ;+ (allowed-classes Region) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot subProcess ;+ (comment "(&%subProcess ?SUBPROC ?PROC) means that ?SUBPROC is a subprocess of ?PROC. A subprocess is here understood as a temporally distinguished part (proper or not) of a &%Process.") (type INSTANCE) ;+ (allowed-classes Process) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot MereologicalProductFn ;+ (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)) (single-slot ReceivedDate ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000424):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot MedicalFirstAidGuideCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000262):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot contactLanguage ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000207):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot temporalPart ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot date ;+ (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) (create-accessor read-write)) (single-slot pointOfIntersection ;+ (comment "(&%pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) means that the two straight lines ?FIGURE1 and ?FIGURE2 meet at the point ?POINT.\n") (type INSTANCE) ;+ (allowed-classes OneDimensionalFigure) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot containsInformation ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot KappaFn ;+ (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 entails ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot MultiplierReasonCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000051):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot PartyName ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000092):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot smaller ;+ (comment "(&%smaller ?OBJ1 ?OBJ2) simply means that ?OBJ1 is smaller, with respect to all &%LengthMeasures, than ?OBJ2.") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot frequency ;+ (comment "(frequency ?PROC ?TIME) means that the &%Process type of ?PROC recurs after every interval of ?TIME.") (type INSTANCE) ;+ (allowed-classes TimeDuration) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot CalculationRateNumeric ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000215):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot DescriptionID ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000450):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot effectiveDate ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000216):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot TaxAmountCurrency (type SYMBOL) ;+ (allowed-parents CurrencyMeasure) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot PayeeFinancialAccount ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000432):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot cat%3ASellerParty ;+ (comment "UBL-element Jul 26-03 (UBL-ID=):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 1 1) (create-accessor read-write)) (single-slot exactlyLocated ;+ (comment "The actual, minimal location of an\nObject. This is a subrelation of the more general &%Predicate\n&%located.\n\n\n(&%located ?PHYS ?OBJ) means that ?PHYS is &%partlyLocated\nat ?OBJ, and there is no &%part or &%subProcess of ?PHYS that is not &%located at ?OBJ.\n") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of located) (create-accessor read-write)) (single-slot TimezoneOffsetMeasure ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000046):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot CompanyTaxID ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000401):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ExtensionFn ;+ (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 Class) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot geopoliticalSubdivision ;+ (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\n&%GovernmentOrganization which is subordinated to or constrained by the government of ?AREA2. Cf. &%dependentGeopoliticalArea.\n") (type INSTANCE) ;+ (allowed-classes GeopoliticalArea) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot orientation ;+ (comment "A general &%Predicate for indicating how two &%Objects are oriented with respect to one another. For example,\n(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.\n") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot SuccessorFn ;+ (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)) (single-slot measure ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot OwnerPartyTypeCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000645):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ReturnableMaterialIndicator ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000010):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ListOrderFn ;+ (comment "(&%ListOrderFn ?LIST ?NUMBER) denotes the item that is in the ?NUMBER position in the &%List ?LIST. For example, (&%ListOrderFn (&%ListFn &%Monday &%Tuesday &%Wednesday) 2) would return the value &%Tuesday.") (type INSTANCE) ;+ (allowed-classes Entity) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot PostalZone ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000041):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot PrincipalHostFn ;+ (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)) (single-slot hasCategoryTotal ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000626):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot LossRisk ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000185):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot LatitudeMinutesMeasure ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000339):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot lessThanOrEqualTo ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot CosineFn ;+ (comment "(&%CosineFn ?DEGREE) returns the cosine of the &%PlaneAngleMeasure ?DEGREE. The cosine of ?DEGREE is the ratio of the side next to ?DEGREE to the hypotenuse in a right-angled triangle.") (type INSTANCE) ;+ (allowed-classes RealNumber) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot TransportMeansTypeCode ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000592):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot bottom ;+ (comment "(&%bottom ?BOTTOM ?OBJECT) holds if ?BOTTOM is the\nlowest or deepest maximal superficial part of ?OBJECT.\n") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of superficialPart) (create-accessor read-write)) (single-slot CityName ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000040):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot GovernmentFn ;+ (comment "(&%GovernmentFn ?AREA) denotes the\n&%Government of the &%GeopoliticalArea ?AREA. For example, (&%GovernmentFn &%UnitedStates) denotes the Federal-level government of\nthe United States; (&%GovernmentFn &%PuertoRico) denotes the government of the Commonwealth of Puerto Rico.\n") (type INSTANCE) ;+ (allowed-classes Government) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot BeginNodeFn ;+ (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 Condition ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000663):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot PeriodicalIssueFn ;+ (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)) (single-slot daughter ;+ (comment "The general relationship of daughterhood. (&%daughter ?CHILD ?PARENT) means that ?CHILD is the biological daughter of ?PARENT.\n\nThe general relationship of parenthood. (&%parent ?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD.") (type INSTANCE) ;+ (allowed-classes Organism) ;+ (cardinality 0 1) ;+ (subslot-of parent) (create-accessor read-write)) (single-slot TransportEquipmentMeasurement ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000651):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot desires ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot DeliverToAddress ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000168):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot before ;+ (comment "(&%before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline.") (type INSTANCE) ;+ (allowed-classes TimePoint) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot TerminalNodeFn ;+ (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)) (single-slot BuyerContact ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000095):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot member ;+ (comment "A specialized common sense notion of part for uniform parts of &%Collections. For example, each sheep in a flock of\nsheep would have the relationship of member to the flock.\n") (type INSTANCE) ;+ (allowed-classes Collection) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot MeasureFn ;+ (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)) (single-slot DeliverySchedule ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000170):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot MinimumMeasure ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000307):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot authors ;+ (comment "(&%authors ?AGENT ?TEXT) means that ?AGENT is creatively responsible for ?TEXT. For example, Agatha Christie is author of Murder_on_the_Orient_Express.") (type INSTANCE) ;+ (allowed-classes Text) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot relatedInternalConcept ;+ (comment "Means that the two arguments are related concepts within the SUMO, i.e. there is a significant similarity of meaning between them. To indicate a meaning relation between a SUMO concept and a concept from another source, use the Predicate &%relatedExternalConcept.") (type INSTANCE) ;+ (allowed-classes Entity) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot ShipmentStage ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000026):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot cat%3ALegalTotals ;+ (comment "UBL-element Jul 26-03 (UBL-ID=):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 1 1) (create-accessor read-write)) (single-slot interiorPart ;+ (comment "(&%interiorPart ?OBJ1 ?OBJ2) means\nthat ?OBJ1 is part ?OBJ2 and there is no overlap between ?OBJ1 and any &%superficialPart ?OBJ2.\n") (type INSTANCE) ;+ (allowed-classes Object) ;+ (cardinality 0 1) ;+ (subslot-of part) (create-accessor read-write)) (single-slot commonName ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000331):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot uniqueIdentifier ;+ (comment "The class of &%names that uniquely identify an instance of &%Entity. Some examples of &%uniqueIdentifiers are the keys\nof tables in database applications and the ISBN (International Standard Book Number).\n\n(&%names ?STRING ?ENTITY) means that the thing ?ENTITY\nhas 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.\n\n(&%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) ;+ (cardinality 0 1) ;+ (subslot-of names) (create-accessor read-write)) (single-slot TransportEquipment ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000027):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot material ;+ (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) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot MaximumBackorderQuantity ;+ (comment "UBL-element Jul 26-03 (UBL-ID=UBL000064):\n") (type INSTANCE) ;+ (allowed-classes UBLattribute) ;+ (cardinality 0 1) (create-accessor read-write)) (single-slot TeraFn ;+ (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)) (single-slot width ;+ (comment "&%BinaryPredicate that is used to state the measure of an &%Object from side to side at its widest span.\n\n&%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 length) (create-accessor read-write)) (single-slot ListConcatenateFn ;+ (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)) (s