No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 696-696 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 698-698 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 421-421 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 104-104 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2138-2138 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 373-373 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 909-909 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 144-144 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 443-443 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 472-472 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22876-22876 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 697-697 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22875-22875 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22874-22874 |
|