No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 220-220 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 219-219 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 218-218 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9012-9012 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9011-9011 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9010-9010 |
|