No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 706-706 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 708-708 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 426-426 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 161-161 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2143-2143 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 378-378 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 919-919 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 200-200 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 448-448 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 477-477 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33683-33683 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 707-707 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33682-33682 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33681-33681 |
|