disjointRelation |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1502-1503 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 415-417 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 65-67 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 75-77 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 412-412 | 不相交关系 的 1 数量 是 关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 413-413 | 不相交关系 的 2 数量 是 关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 409-409 | 不相交关系 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 410-410 | 不相交关系 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 411-411 | 不相交关系 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 414-414 | 不相交关系 和 不相交 是 内部相关 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 289-289 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 294-294 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 167-167 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 77-77 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1987-1987 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 119-119 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 111-111 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 183-183 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 376-376 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 117-117 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 187-187 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 174-174 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 170-170 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 290-290 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19860-19860 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19859-19859 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19858-19858 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 117-117 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 447-453 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 419-424 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 426-431 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 433-438 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 440-445 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24170-24170 | 祖先组织 和 子机构 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1018-1018 | 容纳 和 部分 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4200-4200 | 横过 和 相连 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2600-2600 | 降低可能性 和 独立发生机率 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4013-4013 | 剥夺了规范 和 赋予规范 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7439-7439 | 不赞成 和 渴望 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7423-7423 | 不喜欢 和 想要 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2598-2598 | 提高可能性 和 降低可能性 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2599-2599 | 提高可能性 和 独立发生机率 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1734-1734 | 形式 和 属于 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9574-9574 | 接触 和 重叠 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23358-23358 | 相互陌生的人 和 相识熟人 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1679-1679 | referee 和 扮演 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2514-2514 | 资源 和 工具 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2513-2513 | 资源 和 结果 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2515-2515 | 结果 和 工具 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23373-23373 | 伴侣 和 国内的合作伙伴 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14393-14393 | 停留 和 家 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23343-23343 | 陌生人 和 熟人 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 684-684 | 子属性 和 后续属性 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 643-643 | 纳入外部的概念 和 包含外部的概念 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 641-641 | 和外部意义相同的概念 和 纳入外部的概念 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 642-642 | 和外部意义相同的概念 和 包含外部的概念 是 disjoint 关系 |