No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3348-3348 |
Airline e' uma sub-classe de TransportationCompany |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3259-3259 |
CommonCarrier e' uma sub-classe de TransportationCompany |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3264-3264 |
ContractCarrier e' uma sub-classe de TransportationCompany |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3271-3271 |
RailroadCompany e' uma sub-classe de TransportationCompany |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58990-58990 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58989-58989 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58988-58988 |
|