No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3734-3734 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3733-3733 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3732-3732 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33479-33479 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33478-33478 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 411-411 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33477-33477 |
|