No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3296-3296 |
Airline e' uma sub-classe de TransportationCompany |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3207-3207 |
CommonCarrier e' uma sub-classe de TransportationCompany |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3212-3212 |
ContractCarrier e' uma sub-classe de TransportationCompany |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3219-3219 |
RailroadCompany e' uma sub-classe de TransportationCompany |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58988-58988 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58987-58987 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58986-58986 |
|