Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| disjoint |
| appearance as argument number 1 |
|
| (instance disjoint BinaryPredicate) | Merge.kif 385-385 | disjoint is an instance of binary predicate |
| (instance disjoint SymmetricRelation) | Merge.kif 386-386 | disjoint is an instance of symmetric relation |
| (domain disjoint 1 Class) | Merge.kif 387-387 | The number 1 argument of disjoint is an instance of class |
| (domain disjoint 2 Class) | Merge.kif 388-388 | The number 2 argument of disjoint is an instance of class |
| (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 389-391 | The number 2 argument of disjoint is an instance of class |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept disjointRelation disjoint) | Merge.kif 406-406 | disjoint relation is internally related to disjoint |
| (relatedInternalConcept disjointDecomposition disjoint) | Merge.kif 561-561 | disjoint decomposition is internally related to disjoint |
| (termFormat EnglishLanguage disjoint "disjoint") | domainEnglishFormat.kif 19848-19848 | disjoint decomposition is internally related to disjoint |
| (termFormat ChineseTraditionalLanguage disjoint "不相交的") | domainEnglishFormat.kif 19849-19849 | disjoint decomposition is internally related to disjoint |
| (termFormat ChineseLanguage disjoint "不相交的") | domainEnglishFormat.kif 19850-19850 | disjoint decomposition is internally related to disjoint |
| (format EnglishLanguage disjoint "%1 is %n disjoint from %2") | english_format.kif 290-290 | disjoint decomposition is internally related to disjoint |
| antecedent |
|
|
| (=> (disjoint ?CLASS1 ?CLASS2) (not (exists (?INST) (and (instance ?INST ?CLASS1) (instance ?INST ?CLASS2))))) |
Merge.kif 393-399 | If X is disjoint from Y, then there doesn't exist Z such that Z is an instance of X and Z is an instance of Y |
| (=> (and (domain ?REL1 ?NUMBER ?CLASS1) (domain ?REL2 ?NUMBER ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 411-416 | If the number X argument of Y is an instance of Z, the number X argument of W is an instance of V, and Z is disjoint from V, then Y and W are disjoint |
| (=> (and (domainSubclass ?REL1 ?NUMBER ?CLASS1) (domainSubclass ?REL2 ?NUMBER ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 418-423 | If the number X argument of Y is a subclass of Z, the number X argument of W is a subclass of V, and Z is disjoint from V, then Y and W are disjoint |
| (=> (and (range ?REL1 ?CLASS1) (range ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 425-430 | 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 (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 |
|
|
| (=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM1 ?ITEM2) (=> (and (inList ?ITEM1 (ListFn @ROW)) (inList ?ITEM2 (ListFn @ROW)) (not (equal ?ITEM1 ?ITEM2))) (disjoint ?ITEM1 ?ITEM2)))) |
Merge.kif 3068-3077 | If X is disjointly decomposed into @ROW, then For all Classes Z and W: if Z is a member of (@ROW), W is a member of (@ROW), and equal Z and W, then Z is disjoint from W |
| (=> (disjointDecomposition ?CLASS ?ROW1 ?ROW2 ?ROW3) (and (disjoint ?ROW1 ?ROW2) (disjoint ?ROW2 ?ROW3) (disjoint ?ROW3 ?ROW1))) |
Merge.kif 3079-3084 | If X is disjointly decomposed into Y, Z, and W, then Y is disjoint from Z, Z is disjoint from W, and W is disjoint from Y |
| appearance as argument number 0 |
|
|
|