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 48280-48280 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48279-48279 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48278-48278 |
|