| CommonCarrier(common carrier) | | carrier, common_carrier |
| appearance as argument number 1 |
|
|
| (disjoint CommonCarrier ContractCarrier) | Transportation.kif 4117-4117 | Common carrier is disjoint from contract carrier |
| (documentation CommonCarrier EnglishLanguage "CommonCarrier is the subclass of TransportationCompany whose instances must offer services to all customers. Contrast with ContractCarrier.") | Transportation.kif 4108-4110 | Common carrier is disjoint from contract carrier |
| (subclass CommonCarrier TransportationCompany) | Transportation.kif 4107-4107 | Common carrier is a subclass of transportation company |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CommonCarrier "共同载体") | domainEnglishFormat.kif 15977-15977 | |
| (termFormat ChineseTraditionalLanguage CommonCarrier "共同載體") | domainEnglishFormat.kif 15976-15976 | |
| (termFormat EnglishLanguage CommonCarrier "common carrier") | domainEnglishFormat.kif 15975-15975 |
|
|
|