| CommonCarrier | |
| appearance as argument number 1 |
|
|
| (disjoint CommonCarrier ContractCarrier) | Transportation.kif 3398-3398 | CommonCarrier と ContractCarrier は disjoint では %n |
| (documentation CommonCarrier EnglishLanguage "CommonCarrier is the subclass of TransportationCompany whose instances must offer services to all customers. Contrast with ContractCarrier.") | Transportation.kif 3389-3391 | |
| (subclass CommonCarrier TransportationCompany) | Transportation.kif 3388-3388 | CommonCarrier は TransportationCompany の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CommonCarrier "共同载体") | domainEnglishFormat.kif 15966-15966 | |
| (termFormat ChineseTraditionalLanguage CommonCarrier "共同載體") | domainEnglishFormat.kif 15965-15965 | |
| (termFormat EnglishLanguage CommonCarrier "common carrier") | domainEnglishFormat.kif 15964-15964 |
|
|
|