No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 773-773 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 773-773 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 466-466 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 176-176 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2170-2170 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 418-418 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 1000-1000 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 214-214 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 488-488 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 535-535 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 349-349 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36593-36593 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 774-774 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36592-36592 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36591-36591 |
|