| (documentation instance 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 |
|
| (documentation immediateInstance 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 |
|
| (documentation inverse 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 |
|
| (documentation subclass 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 |
|
| (documentation immediateSubclass 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 |
|
| (documentation subrelation 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 |
|
| (documentation domain 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 ?INT'th element of each tuple in the relation ?REL must be an instance of ?CLASS. Specifying argument types is very helpful in maintaining ontologies. Representation systems can use these specifications to classify terms and check integrity constraints. If the restriction on the argument type of a Relation is not captured by a Class already defined in the ontology, one can specify a Class compositionally with the functions UnionFn, IntersectionFn, etc.") |
Merge.kif 205-213 |
|
| (documentation domainSubclass EnglishLanguage "A Predicate that is used to specify argument type restrictions of Predicates. The formula (domainSubclass ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be a subclass of ?CLASS.") |
Merge.kif 227-230 |
|
| (documentation range 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 302-304 |
|
| (documentation rangeSubclass EnglishLanguage "(rangeSubclass ?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are subclasses of ?CLASS.") |
Merge.kif 329-330 |
|
| (documentation valence 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 356-359 |
|
| (documentation documentation 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 366-370 |
|
| (documentation format EnglishLanguage "A relation that specifies how to present an expression in a natural language format.") |
Merge.kif 376-377 |
|
| (documentation termFormat EnglishLanguage "A relation that specifies how to present a term in a natural language format.") |
Merge.kif 383-384 |
|
| (documentation disjoint 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 390-392 |
|
| (documentation disjointRelation EnglishLanguage "This predicate relates two Relations. (disjointRelation ?REL1 ?REL2) means that the two relations have no tuples in common.") |
Merge.kif 408-410 |
|
| (documentation contraryAttribute 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 452-455 |
|
| (documentation exhaustiveAttribute 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 484-488 |
|
| (documentation exhaustiveDecomposition 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 545-549 |
|
| (documentation disjointDecomposition EnglishLanguage "A disjointDecomposition of a Class C is a set of subclasses of C that are mutually disjoint.") |
Merge.kif 564-565 |
|
| (documentation partition 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 578-581 |
|
| (documentation relatedInternalConcept 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 612-616 |
|
| (documentation relatedExternalConcept 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 624-626 |
|
| (documentation synonymousExternalConcept EnglishLanguage "(synonymousExternalConcept ?STRING ?THING ?LANGUAGE) means that the SUMO concept ?THING has the same meaning as ?STRING in ?LANGUAGE.") |
Merge.kif 638-640 |
|
| (documentation subsumingExternalConcept 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 645-648 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
