No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3245-3245 |
ClassIII railroad is a subclass of railroad company |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3239-3239 |
ClassII railroad is a subclass of railroad company |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3233-3233 |
ClassI railroad is a subclass of railroad company |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48638-48638 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48637-48637 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48636-48636 |
|