No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 794-794 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 799-799 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 478-478 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 800-800 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 430-430 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 500-500 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 795-795 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46358-46358 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46357-46357 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46356-46356 |
|