| 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 3265-3267 | |
| (subclass ContractCarrier TransportationCompany) | Transportation.kif 3264-3264 | Contract carrier is a subclass of transportation company |
| appearance as argument number 2 |
|
|
| (disjoint CommonCarrier ContractCarrier) | Transportation.kif 3269-3269 | Common carrier is disjoint from contract carrier |
| (termFormat ChineseLanguage ContractCarrier "合同承运人") | domainEnglishFormat.kif 17004-17004 | |
| (termFormat ChineseTraditionalLanguage ContractCarrier "合同承運人") | domainEnglishFormat.kif 17003-17003 | |
| (termFormat EnglishLanguage ContractCarrier "contract carrier") | domainEnglishFormat.kif 17002-17002 |
|
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