No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4454-4454 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4453-4453 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4452-4452 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65929-65929 |
|