| CommonCarrier(common carrier) | | carrier, common_carrier |
| appearance as argument number 1 |
|
|
| (disjoint CommonCarrier ContractCarrier) | Transportation.kif 4354-4354 | 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 4345-4347 | Common carrier is disjoint from contract carrier |
| (subclass CommonCarrier TransportationCompany) | Transportation.kif 4344-4344 | Common carrier is a subclass of transportation company |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CommonCarrier "共同载体") | domainEnglishFormat.kif 15981-15981 | |
| (termFormat ChineseTraditionalLanguage CommonCarrier "共同載體") | domainEnglishFormat.kif 15980-15980 | |
| (termFormat EnglishLanguage CommonCarrier "common carrier") | domainEnglishFormat.kif 15979-15979 |
|
|
|