No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 500-500 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 505-505 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 293-293 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 46-46 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2070-2070 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 245-245 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 650-650 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 88-88 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 314-314 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 321-321 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 80-80 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16170-16170 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 501-501 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16169-16169 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16168-16168 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 109-109 |
|