piece |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1576-1577 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 954-956 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 150-152 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 175-177 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 951-951 | 块 的 1 数量 是 物质 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 952-952 | 块 的 2 数量 是 物质 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 950-950 | 块 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 949-949 | 块 是 部分 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 169-169 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 170-170 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 104-104 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 223-223 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1933-1933 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 56-56 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 66-66 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 209-209 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 261-261 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 123-123 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 105-105 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 415-415 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 170-170 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45798-45798 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45797-45797 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45796-45796 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 65-65 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 425-435 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1200-1205 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1060-1065 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4905-4909 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4899-4903 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4911-4915 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1053-1058 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 958-963 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 437-445 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3199-3211 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 411-418 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7380-7392 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7352-7363 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4905-4909 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4899-4903 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5897-5912 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 37-39 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4340-4353 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1190-1198 |