No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 688-688 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 690-690 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 417-417 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 18-18 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2134-2134 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 369-369 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 895-895 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 63-63 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 439-439 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 461-461 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 52-52 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5154-5154 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 689-689 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5153-5153 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5152-5152 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 53-53 |
|