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 | O argumento numero 1 de piece e' uma instancia de Substancia |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 952-952 | O argumento numero 2 de piece e' uma instancia de Substancia |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 950-950 | piece e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 949-949 | piece e' uma sub-relacao de part |
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 |
|