No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48-48 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47-47 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46-46 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5280-5280 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5279-5279 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5278-5278 |
|