| 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 4040-4042 | |
| (subclass ContractCarrier TransportationCompany) | Transportation.kif 4039-4039 | Contract carrier is a subclass of transportation company |
| appearance as argument number 2 |
|
|
| (disjoint CommonCarrier ContractCarrier) | Transportation.kif 4044-4044 | Common carrier is disjoint from contract carrier |
| (termFormat ChineseLanguage ContractCarrier "合同承运人") | domainEnglishFormat.kif 17020-17020 | Common carrier is disjoint from contract carrier |
| (termFormat ChineseTraditionalLanguage ContractCarrier "合同承運人") | domainEnglishFormat.kif 17019-17019 | Common carrier is disjoint from contract carrier |
| (termFormat EnglishLanguage ContractCarrier "contract carrier") | domainEnglishFormat.kif 17018-17018 | Common carrier is disjoint from contract carrier |
|
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