Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - TransportationCompany
TransportationCompany(transportation company)line, transportation_company, trucking_company

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8336-8338
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8335-8335 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 4439-4439 Airline is a subclass of transportation company
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4350-4350 Common carrier is a subclass of transportation company
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4355-4355 Contract carrier is a subclass of transportation company
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4362-4362 Railroad company is a subclass of transportation company
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58972-58972 Railroad company is a subclass of transportation company
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58971-58971 Railroad company is a subclass of transportation company
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58970-58970 Railroad company is a subclass of transportation company

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 4538-4538 The number 1 argument of provides destination is an instance of transportation company

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 8120-8130
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8340-8346