disjoint |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1500-1501 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 397-399 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 63-64 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 72-74 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 395-395 | 不相交 的 1 数量 是 类 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 396-396 | 不相交 的 2 数量 是 类 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 393-393 | 不相交 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 394-394 | 不相交 是 对称关系 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 285-285 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 290-290 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 165-165 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 75-75 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1985-1985 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 117-117 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 109-109 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 182-182 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 370-370 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 59-59 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 185-185 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 172-172 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 166-166 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 569-569 | 不相交的分拆 和 不相交 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 414-414 | 不相交关系 和 不相交 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 286-286 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19848-19848 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19847-19847 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19846-19846 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 115-115 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 167-167 |
antecedent |
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 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 401-407 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2968-2973 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2957-2966 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 974-974 | 在线以上 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8792-8792 | 下午 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 360-360 | AltKey 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 362-362 | AltKey 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 361-361 | AltKey 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1313-1313 | AltKeyHoldDown 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1312-1312 | AltKeyHoldDown 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8233-8233 | 无氧运动装置 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19107-19107 | 上午 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6937-6937 | 公寓楼 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 295-295 | ArrowKey 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14678-14678 | 文章 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 172-172 | 火炮 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5954-5954 | 沥青 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14023-14023 | 天文体 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12348-12348 | 连接 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1656-1656 | AudioInput 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1657-1657 | AudioInput 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1655-1655 | AudioInput 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10164-10164 | 自主过程 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15737-15737 | 谷仓 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 740-740 | 棒球偷 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 739-739 | 棒球偷 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 748-748 | 棒球罢工 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 696-696 | 棒球步行 和 % 2 是 disjoint |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |