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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CommonCarrier
CommonCarrier

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


(disjoint CommonCarrier ContractCarrier) Transportation.kif 4075-4075
(documentation CommonCarrier EnglishLanguage "CommonCarrier is the subclass of TransportationCompany whose instances must offer services to all customers. Contrast with ContractCarrier.") Transportation.kif 4066-4068
(subclass CommonCarrier TransportationCompany) Transportation.kif 4065-4065

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage CommonCarrier "共同载体") domainEnglishFormat.kif 15977-15977
(termFormat ChineseTraditionalLanguage CommonCarrier "共同載體") domainEnglishFormat.kif 15976-15976
(termFormat EnglishLanguage CommonCarrier "common carrier") domainEnglishFormat.kif 15975-15975


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners