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


KB Term:  Term intersection
English Word: 

  ContractCarrier

 Sigma KEE - ContractCarrier
ContractCarrier(contract carrier)

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


(subclass ContractCarrier TransportationCompany) Transportation.kif 4895-4895 Contract carrier is a subclass of transportation company
(documentation ContractCarrier EnglishLanguage "ContractCarrier is the subclass of TransportationCompany whose instances offer services to only one customer, under contract. Contrast with CommonCarrier.") Transportation.kif 4896-4898 Contract carrier is a subclass of transportation company

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


(disjoint CommonCarrier ContractCarrier) Transportation.kif 4900-4900 Common carrier is disjoint from contract carrier
(termFormat EnglishLanguage ContractCarrier "contract carrier") domainEnglishFormat.kif 17004-17004 Common carrier is disjoint from contract carrier
(termFormat ChineseTraditionalLanguage ContractCarrier "合同承運人") domainEnglishFormat.kif 17005-17005 Common carrier is disjoint from contract carrier
(termFormat ChineseLanguage ContractCarrier "合同承运人") domainEnglishFormat.kif 17006-17006 Common carrier is disjoint from contract carrier


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners