| appearance as argument number 1 |
|
| (instance range BinaryPredicate) | Merge.kif 298-298 | range is an instance of binary predicate |
| (instance range AsymmetricRelation) | Merge.kif 299-299 | range is an instance of asymmetric relation |
| (domain range 1 Function) | Merge.kif 300-300 | The number 1 argument of range is an instance of function |
| (domain range 2 Class) | Merge.kif 301-301 | The number 2 argument of range is an instance of class |
| (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 | The number 2 argument of range is an instance of class |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage range "range") | domainEnglishFormat.kif 48753-48753 | |
| (termFormat ChineseTraditionalLanguage range "範圍") | domainEnglishFormat.kif 48754-48754 | |
| (termFormat ChineseLanguage range "范围") | domainEnglishFormat.kif 48755-48755 | |
| (format EnglishLanguage range "the range of %1 is %n an instance of %2") | english_format.kif 318-318 |
| antecedent |
|
|
| (=> (and (range ?FUNCTION ?CLASS) (equal (AssignmentFn ?FUNCTION @ROW) ?VALUE)) (instance ?VALUE ?CLASS)) |
Merge.kif 306-310 | If the range of X is an instance of Y and equal X(@ROW) and W, then W is an instance of Y |
| (=> (and (subrelation ?REL1 ?REL2) (range ?REL2 ?CLASS1)) (range ?REL1 ?CLASS1)) |
Merge.kif 312-316 | If X is a subrelation of Y and the range of Y is an instance of Z, then the range of X is an instance of Z |
| (=> (and (range ?REL ?CLASS1) (range ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1))) |
Merge.kif 318-324 | If the range of X is an instance of Y and the range of X is an instance of Z, then Y is a subclass of Z or Z is a subclass of Y |
| (=> (and (range ?REL1 ?CLASS1) (range ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 426-431 | If the range of X is an instance of Y, the range of Z is an instance of W, and Y is disjoint from W, then X and Z are disjoint |
| (=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 3431-3435 | If X is an instance of sequence function and the range of X is an instance of Y, then Y is a subclass of integer |
| consequent |
|
|
| (=> (and (subrelation ?REL1 ?REL2) (range ?REL2 ?CLASS1)) (range ?REL1 ?CLASS1)) |
Merge.kif 312-316 | If X is a subrelation of Y and the range of Y is an instance of Z, then the range of X is an instance of Z |
| appearance as argument number 0 |
|
|
|
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 is open source software produced by Articulate Software and its partners