No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1265-1265 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1264-1264 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1263-1263 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29419-29419 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29418-29418 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29417-29417 |
|