TransportationCompany - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6818-6820
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6817-6817	Transportation company is a subclass of Business

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3274-3274	Airline is a subclass of transportation company
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3185-3185	Common carrier is a subclass of transportation company
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3190-3190	Contract carrier is a subclass of transportation company
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3197-3197	Railroad company is a subclass of transportation company
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58972-58972
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58971-58971
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58970-58970

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Transportation.kif 3373-3373

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 6822-6828