appearance as argument number 0

s__documentation(s__instance, s__EnglishLanguage, "An object is an instance of a Class if it is included in that Class_ 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_")	Merge.kif 84-87
s__documentation(s__immediateInstance, s__EnglishLanguage, "An object is an immediateInstance of a Class if it is an instance of the Class and it is not an instance of a proper subclass of Class_")	Merge.kif 94-96
s__documentation(s__inverse, s__EnglishLanguage, "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_")	Merge.kif 113-116
s__documentation(s__subclass, s__EnglishLanguage, "(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_")	Merge.kif 133-135
s__documentation(s__immediateSubclass, s__EnglishLanguage, "A Class ?CLASS1 is an immediateSubclass of another Class ?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_")	Merge.kif 149-152
s__documentation(s__subrelation, s__EnglishLanguage, "(subrelation ?REL1 ?REL2) means that every tuple of ?REL1 is also a tuple of ?REL2_ In other words, if the Relation ?REL1 holds for some arguments arg_1, arg_2, ___ arg_n, then the Relation ?REL2 holds for the same arguments_ A consequence of this is that a Relation and its subrelations must have the same valence_")	Merge.kif 167-172
s__documentation(s__domain, s__EnglishLanguage, "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 ?INTth 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 Class already defined in the ontology, one can specify a Class compositionally with the functions UnionFn, IntersectionFn, etc_")	Merge.kif 205-213
s__documentation(s__domainSubclass, s__EnglishLanguage, "A Predicate that is used to specify argument type restrictions of Predicates_ The formula (domainSubclass ?REL ?INT ?CLASS) means that the ?INTth element of each tuple in the relation ?REL must be a subclass of ?CLASS_")	Merge.kif 227-230
s__documentation(s__range, s__EnglishLanguage, "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_")	Merge.kif 301-303
s__documentation(s__rangeSubclass, s__EnglishLanguage, "(rangeSubclass ?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are subclasses of ?CLASS_")	Merge.kif 328-329
s__documentation(s__valence, s__EnglishLanguage, "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_")	Merge.kif 355-358
s__documentation(s__documentation, s__EnglishLanguage, "A relation between objects in the domain of discourse and strings of natural language text stated in a particular HumanLanguage_ The domain of documentation is not constants (names), but the objects themselves_ This means that one does not quote the names when associating them with their documentation_")	Merge.kif 365-369
s__documentation(s__format, s__EnglishLanguage, "A relation that specifies how to present an expression in a natural language format_")	Merge.kif 375-376
s__documentation(s__termFormat, s__EnglishLanguage, "A relation that specifies how to present a term in a natural language format_")	Merge.kif 382-383
s__documentation(s__disjoint, s__EnglishLanguage, "Classes are disjoint only if they share no instances, i_e_ just in case the result of applying IntersectionFn to them is empty_")	Merge.kif 389-391
s__documentation(s__disjointRelation, s__EnglishLanguage, "This predicate relates two Relations_ (disjointRelation ?REL1 ?REL2) means that the two relations have no tuples in common_")	Merge.kif 407-409
s__documentation(s__contraryAttribute, s__EnglishLanguage, "A contraryAttribute is a set of Attributes such that something can not simultaneously have more than one of these Attributes_ For example, (contraryAttribute Pliable Rigid) means that nothing can be both Pliable and Rigid_")	Merge.kif 451-454
s__documentation(s__exhaustiveAttribute, s__EnglishLanguage, "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 Fluid Liquid Gas Plasma) means that there are only five instances of the class PhysicalState, viz_ Solid, Fluid, Liquid, Gas and Plasma_")	Merge.kif 483-487
s__documentation(s__exhaustiveDecomposition, s__EnglishLanguage, "An exhaustiveDecomposition of a Class C is a set of subclasses of C such that every instance of C is an instance of one of the subclasses in 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)_")	Merge.kif 544-548
s__documentation(s__disjointDecomposition, s__EnglishLanguage, "A disjointDecomposition of a Class C is a set of subclasses of C that are mutually disjoint_")	Merge.kif 563-564
s__documentation(s__partition, s__EnglishLanguage, "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_")	Merge.kif 577-580
s__documentation(s__relatedInternalConcept, s__EnglishLanguage, "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_")	Merge.kif 611-615
s__documentation(s__relatedExternalConcept, s__EnglishLanguage, "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_")	Merge.kif 623-625
s__documentation(s__synonymousExternalConcept, s__EnglishLanguage, "(synonymousExternalConcept ?STRING ?THING ?LANGUAGE) means that the SUMO concept ?THING has the same meaning as ?STRING in ?LANGUAGE_")	Merge.kif 637-639
s__documentation(s__subsumingExternalConcept, s__EnglishLanguage, "(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_")	Merge.kif 644-647
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners