No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3296-3296 |
Airline is a subclass of transportation company |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3207-3207 |
Common carrier is a subclass of transportation company |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3212-3212 |
Contract carrier is a subclass of transportation company |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3219-3219 |
Railroad company is a subclass of transportation company |
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 |
|