No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4282-4282 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4281-4281 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4280-4280 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48278-48278 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48277-48277 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48276-48276 |
|