No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 236-236 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 235-235 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 234-234 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9354-9354 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9353-9353 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9352-9352 |
|