Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| rangeSubclass |
| appearance as argument number 1 |
|
| (instance rangeSubclass BinaryPredicate) | Merge.kif 325-325 | range subclass is an instance of binary predicate |
| (domain rangeSubclass 1 Function) | Merge.kif 326-326 | The number 1 argument of range subclass is an instance of function |
| (domainSubclass rangeSubclass 2 Class) | Merge.kif 327-327 | The number 2 argument of range subclass is a subclass of class |
| (documentation rangeSubclass EnglishLanguage "(rangeSubclass ?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are subclasses of ?CLASS.") | Merge.kif 328-329 | The number 2 argument of range subclass is a subclass of class |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage rangeSubclass "range subclass") | domainEnglishFormat.kif 48759-48759 | |
| (termFormat ChineseTraditionalLanguage rangeSubclass "範圍子類") | domainEnglishFormat.kif 48760-48760 | |
| (termFormat ChineseLanguage rangeSubclass "范围子类") | domainEnglishFormat.kif 48761-48761 | |
| (format EnglishLanguage rangeSubclass "the values returned by %1 are %n subclasses of %2") | english_format.kif 334-334 |
| antecedent |
|
|
| (=> (and (rangeSubclass ?FUNCTION ?CLASS) (equal (AssignmentFn ?FUNCTION @ROW) ?VALUE)) (subclass ?VALUE ?CLASS)) |
Merge.kif 331-335 | If the values returned by X are subclasses of Y and equal X(@ROW) and W, then W is a subclass of Y |
| (=> (and (subrelation ?REL1 ?REL2) (rangeSubclass ?REL2 ?CLASS1)) (rangeSubclass ?REL1 ?CLASS1)) |
Merge.kif 337-341 | If X is a subrelation of Y and the values returned by Y are subclasses of Z, then the values returned by X are subclasses of Z |
| (=> (and (rangeSubclass ?REL ?CLASS1) (rangeSubclass ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1))) |
Merge.kif 343-349 | If the values returned by X are subclasses of Y and the values returned by X are subclasses of Z, then Y is a subclass of Z or Z is a subclass of Y |
| (=> (and (rangeSubclass ?REL1 ?CLASS1) (rangeSubclass ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 432-437 | If the values returned by X are subclasses of Y, the values returned by Z are subclasses of W, and Y is disjoint from W, then X and Z are disjoint |
| consequent |
|
|
| (=> (and (subrelation ?REL1 ?REL2) (rangeSubclass ?REL2 ?CLASS1)) (rangeSubclass ?REL1 ?CLASS1)) |
Merge.kif 337-341 | If X is a subrelation of Y and the values returned by Y are subclasses of Z, then the values returned by X are subclasses of Z |
| appearance as argument number 0 |
|
|
|