disjointRelation |
appearance as argument number 1 |
![]() |
(documentation disjointRelation ChineseLanguage "这个术语把两种 Relation 连接。 (disjointRelation ?REL1 ?REL2) 的意思是指这两种关系没有共同的元组。") | chinese_format.kif 1502-1503 | |
(documentation disjointRelation EnglishLanguage "This predicate relates two Relations. (disjointRelation ?REL1 ?REL2) means that the two relations have no tuples in common.") | Merge.kif 413-415 | |
(domain disjointRelation 1 Relation) | Merge.kif 410-410 | 不相交关系 的 1 数量 是 关系 的 instance |
(domain disjointRelation 2 Relation) | Merge.kif 411-411 | 不相交关系 的 2 数量 是 关系 的 instance |
(instance disjointRelation BinaryPredicate) | Merge.kif 407-407 | 不相交关系 是 二元谓语 的 instance |
(instance disjointRelation IrreflexiveRelation) | Merge.kif 408-408 | 不相交关系 是 非自反关系 的 instance |
(instance disjointRelation PartialValuedRelation) | Merge.kif 409-409 | 不相交关系 是 部分值关系 的 instance |
(relatedInternalConcept disjointRelation disjoint) | Merge.kif 412-412 | 不相交关系 和 不相交 是 内部相关 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage disjointRelation "%1 和 %2 %n 是 disjoint 关系") | chinese_format.kif 289-289 | |
(format EnglishLanguage disjointRelation "%1 and %2 are %n disjoint") | english_format.kif 294-294 | |
(termFormat ChineseLanguage disjointRelation "不相交关系") | chinese_format.kif 290-290 | |
(termFormat ChineseLanguage disjointRelation "不相交的关系") | domainEnglishFormat.kif 19851-19851 | |
(termFormat ChineseTraditionalLanguage disjointRelation "不相交的關係") | domainEnglishFormat.kif 19850-19850 | |
(termFormat EnglishLanguage disjointRelation "disjoint relation") | domainEnglishFormat.kif 19849-19849 |
antecedent |
![]() |
(=> (and (instance ?REL1 Predicate) (instance ?REL2 Predicate) (disjointRelation ?REL1 ?REL2) (?REL1 @ROW2)) (not (?REL2 @ROW2))) |
Merge.kif 445-451 |
consequent |
![]() |
(=> (and (domain ?REL1 ?NUMBER ?CLASS1) (domain ?REL2 ?NUMBER ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 417-422 | |
(=> (and (domainSubclass ?REL1 ?NUMBER ?CLASS1) (domainSubclass ?REL2 ?NUMBER ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 424-429 | |
(=> (and (range ?REL1 ?CLASS1) (range ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 431-436 | |
(=> (and (rangeSubclass ?REL1 ?CLASS1) (rangeSubclass ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 438-443 |
appearance as argument number 0 |
![]() |
![]() |
![]() |