Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| disjointRelation |
| appearance as argument number 1 |
|
| (instance disjointRelation BinaryPredicate) | Merge.kif 401-401 | disjoint relation is an instance of binary predicate |
| (instance disjointRelation IrreflexiveRelation) | Merge.kif 402-402 | disjoint relation is an instance of irreflexive relation |
| (instance disjointRelation PartialValuedRelation) | Merge.kif 403-403 | disjoint relation is an instance of partial valued relation |
| (domain disjointRelation 1 Relation) | Merge.kif 404-404 | The number 1 argument of disjoint relation is an instance of relation |
| (domain disjointRelation 2 Relation) | Merge.kif 405-405 | The number 2 argument of disjoint relation is an instance of relation |
| (relatedInternalConcept disjointRelation disjoint) | Merge.kif 406-406 | disjoint relation is internally related to disjoint |
| (documentation disjointRelation EnglishLanguage "This predicate relates two Relations. (disjointRelation ?REL1 ?REL2) means that the two relations have no tuples in common.") | Merge.kif 407-409 | disjoint relation is internally related to disjoint |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage disjointRelation "disjoint relation") | domainEnglishFormat.kif 19860-19860 | |
| (termFormat ChineseTraditionalLanguage disjointRelation "不相交的關係") | domainEnglishFormat.kif 19861-19861 | |
| (termFormat ChineseLanguage disjointRelation "不相交的关系") | domainEnglishFormat.kif 19862-19862 | |
| (format EnglishLanguage disjointRelation "%1 and %2 are %n disjoint") | english_format.kif 294-294 |
| antecedent |
|
|
| (=> (and (instance ?REL1 Predicate) (instance ?REL2 Predicate) (disjointRelation ?REL1 ?REL2) (?REL1 @ROW2)) (not (?REL2 @ROW2))) |
Merge.kif 439-445 | If X is an instance of predicate, Y is an instance of predicate, X and Y are disjoint, and X @ROW2, then Y @ROW2 |
| consequent |
|
|
| (=> (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 |
| appearance as argument number 0 |
|
|
|