No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 647-647 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 650-650 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 390-390 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 198-198 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2120-2120 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 342-342 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 845-845 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 236-236 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 412-412 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 433-433 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 648-648 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39695-39695 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39694-39694 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39693-39693 |
|