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