TransportationCompany
|
|
appearance as argument number 1 |
(documentation TransportationCompany EnglishLanguage "A Business whose services include Transportation, e.g. a RailroadCompany, an airline, a cruise ship line, etc.") | Mid-level-ontology.kif 7174-7176 | |
(subclass TransportationCompany Business) | Mid-level-ontology.kif 7173-7173 | TransportationCompany ist eine teilkategorie von Business |
appearance as argument number 2 |
(subclass Airline TransportationCompany) | Transportation.kif 3296-3296 | Airline ist eine teilkategorie von TransportationCompany |
(subclass CommonCarrier TransportationCompany) | Transportation.kif 3207-3207 | CommonCarrier ist eine teilkategorie von TransportationCompany |
(subclass ContractCarrier TransportationCompany) | Transportation.kif 3212-3212 | ContractCarrier ist eine teilkategorie von TransportationCompany |
(subclass RailroadCompany TransportationCompany) | Transportation.kif 3219-3219 | RailroadCompany ist eine teilkategorie von TransportationCompany |
(termFormat ChineseLanguage TransportationCompany "运输公司") | domainEnglishFormat.kif 58988-58988 | |
(termFormat ChineseTraditionalLanguage TransportationCompany "運輸公司") | domainEnglishFormat.kif 58987-58987 | |
(termFormat EnglishLanguage TransportationCompany "transportation company") | domainEnglishFormat.kif 58986-58986 |
appearance as argument number 3 |
(domain providesDestination 1 TransportationCompany) | Transportation.kif 3395-3395 | Die Zahl 1 Argument von providesDestination ist ein fall von TransportationCompany %n{nicht} |
antecedent |
consequent |
(=> (and (attribute ?ORG ?ATT) (instance ?ATT DeepSeaCoastalAndGreatLakesWaterTransportation)) (instance ?ORG TransportationCompany)) |
naics.kif 8114-8118 |
|