| appearance as argument number 1 |
|
| (documentation ContractCarrier EnglishLanguage "ContractCarrier is the subclass of TransportationCompany whose instances offer services to only one customer, under contract. Contrast with CommonCarrier.") | Transportation.kif 4071-4073 | |
| (subclass ContractCarrier TransportationCompany) | Transportation.kif 4070-4070 |
| appearance as argument number 2 |
|
|
| (disjoint CommonCarrier ContractCarrier) | Transportation.kif 4075-4075 | |
| (termFormat ChineseLanguage ContractCarrier "合同承运人") | domainEnglishFormat.kif 17015-17015 | |
| (termFormat ChineseTraditionalLanguage ContractCarrier "合同承運人") | domainEnglishFormat.kif 17014-17014 | |
| (termFormat EnglishLanguage ContractCarrier "contract carrier") | domainEnglishFormat.kif 17013-17013 |
|
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