Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - TransportationCompany
TransportationCompany(transportation company)line, transportation_company, trucking_company

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 7175-7177
(subclass TransportationCompany Business) Mid-level-ontology.kif 7174-7174 Transportation company is a subclass of business

appearance as argument number 2

(subclass Airline TransportationCompany) Transportation.kif 3296-3296 Airline is a subclass of transportation company
(subclass CommonCarrier TransportationCompany) Transportation.kif 3207-3207 Common carrier is a subclass of transportation company
(subclass ContractCarrier TransportationCompany) Transportation.kif 3212-3212 Contract carrier is a subclass of transportation company
(subclass RailroadCompany TransportationCompany) Transportation.kif 3219-3219 Railroad company is a subclass of transportation company
(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 The number 1 argument of provides destination is an instance of transportation company


        (attribute ?X DeepSeaCoastalAndGreatLakesWaterTransportation)
        (instance ?X TransportationCompany))
    (exists (?SERVICE ?PLACE)
            (instance ?SERVICE WaterTransportationService)
            (serviceProvider ?SERVICE ?X)
            (eventLocated ?SERVICE ?PLACE)
            (instance ?PLACE WaterArea)
            (located ?X NorthAmerica))))
naics.kif 8120-8130
    (instance ?C TransportationCompany)
    (exists (?S)
            (instance ?S CommercialService)
            (agent ?S ?C)
            (instance ?S Transportation))))
Mid-level-ontology.kif 7179-7185