| 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 |
