No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 308-308 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 307-307 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 306-306 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11169-11169 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11168-11168 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11167-11167 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11170-11170 |
|