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 3217-3217
(documentation CommonCarrier EnglishLanguage "CommonCarrier is the subclass of TransportationCompany whose instances must offer services to all customers. Contrast with ContractCarrier.") Transportation.kif 3208-3210
(subclass CommonCarrier TransportationCompany) Transportation.kif 3207-3207

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


(termFormat ChineseLanguage CommonCarrier "共同载体") domainEnglishFormat.kif 15966-15966
(termFormat ChineseTraditionalLanguage CommonCarrier "共同載體") domainEnglishFormat.kif 15965-15965
(termFormat EnglishLanguage CommonCarrier "common carrier") domainEnglishFormat.kif 15964-15964


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