No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3297-3297 |
ClassIIIRailroad est une sous-classe de RailroadCompany |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3291-3291 |
ClassIIRailroad est une sous-classe de RailroadCompany |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3285-3285 |
ClassIRailroad est une sous-classe de RailroadCompany |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48640-48640 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48639-48639 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48638-48638 |
|