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 7202-7204 | |
(subclass TransportationCompany Business) | Mid-level-ontology.kif 7201-7201 |
appearance as argument number 2 |
(subclass Airline TransportationCompany) | Transportation.kif 3477-3477 | |
(subclass CommonCarrier TransportationCompany) | Transportation.kif 3388-3388 | |
(subclass ContractCarrier TransportationCompany) | Transportation.kif 3393-3393 | |
(subclass RailroadCompany TransportationCompany) | Transportation.kif 3400-3400 | |
(termFormat ChineseLanguage TransportationCompany "运输公司") | domainEnglishFormat.kif 58990-58990 | |
(termFormat ChineseTraditionalLanguage TransportationCompany "運輸公司") | domainEnglishFormat.kif 58989-58989 | |
(termFormat EnglishLanguage TransportationCompany "transportation company") | domainEnglishFormat.kif 58988-58988 |
appearance as argument number 3 |
(domain providesDestination 1 TransportationCompany) | Transportation.kif 3576-3576 |
antecedent |
(=> (and (attribute ?X DeepSeaCoastalAndGreatLakesWaterTransportation) (instance ?X TransportationCompany)) (exists (?SERVICE ?PLACE) (and (instance ?SERVICE WaterTransportationService) (serviceProvider ?SERVICE ?X) (eventLocated ?SERVICE ?PLACE) (instance ?PLACE WaterArea) (located ?X NorthAmerica)))) |
naics.kif 8120-8130 | |
(=> (instance ?C TransportationCompany) (exists (?S) (and (instance ?S CommercialService) (agent ?S ?C) (instance ?S Transportation)))) |
Mid-level-ontology.kif 7206-7212 |
consequent |
(=> (and (attribute ?ORG ?ATT) (instance ?ATT DeepSeaCoastalAndGreatLakesWaterTransportation)) (instance ?ORG TransportationCompany)) |
naics.kif 8114-8118 |