links |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2347-2348 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5877-5878 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1022-1023 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5873-5873 | 域 鏈接, 1 and GraphNode |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5874-5874 | 域 鏈接, 2 and GraphNode |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5875-5875 | 域 鏈接, 3 and GraphArc |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5872-5872 | 例 鏈接 and TernaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 747-747 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 749-749 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 451-451 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 165-165 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2159-2159 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 403-403 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 464-464 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 963-963 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 204-204 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 473-473 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 516-516 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 329-329 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 748-748 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34559-34559 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34558-34558 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34557-34557 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 330-330 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5790-5799 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5862-5864 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5880-5882 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2870-2876 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5630-5650 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5847-5850 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5652-5666 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5777-5788 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5857-5860 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5837-5840 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5880-5882 |