TreeView Knowledge Base Browser - TransportationCompany

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

TransportationCompany

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

appearance as argument number 2

(subclass Airline TransportationCompany)	Transportation.kif 4435-4435	Airline is a subclass of transportation company
(subclass CommonCarrier TransportationCompany)	Transportation.kif 4346-4346	Common carrier is a subclass of transportation company
(subclass ContractCarrier TransportationCompany)	Transportation.kif 4351-4351	Contract carrier is a subclass of transportation company
(subclass RailroadCompany TransportationCompany)	Transportation.kif 4358-4358	Railroad company is a subclass of transportation company
(termFormat ChineseLanguage TransportationCompany "运输公司")	domainEnglishFormat.kif 58971-58971	Railroad company is a subclass of transportation company
(termFormat ChineseTraditionalLanguage TransportationCompany "運輸公司")	domainEnglishFormat.kif 58970-58970	Railroad company is a subclass of transportation company
(termFormat EnglishLanguage TransportationCompany "transportation company")	domainEnglishFormat.kif 58969-58969	Railroad company is a subclass of transportation company

appearance as argument number 3

(domain providesDestination 1 TransportationCompany)

Transportation.kif 4534-4534

The number 1 argument of provides destination is an instance of transportation company

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	If deep sea coastal and great lakes water transportation is an attribute of a cognitive agent and the cognitive agent is an instance of transportation company, then there exist a service and an object such that the service is an instance of Water Transportation Service and the cognitive agent provides a service during the service and the service is located at the object and the object is an instance of water area and the cognitive agent is located at north america
(=> (instance ?C TransportationCompany) (exists (?S) (and (instance ?S CommercialService) (agent ?S ?C) (instance ?S Transportation))))	Mid-level-ontology.kif 8336-8342	If an agent is an instance of transportation company, then there exists a process such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of transportation

consequent

(=>
    (and
        (attribute ?ORG ?ATT)
        (instance ?ATT DeepSeaCoastalAndGreatLakesWaterTransportation))
    (instance ?ORG TransportationCompany))

naics.kif 8114-8118

If an attribute is an attribute of an object and the attribute is an instance of deep sea coastal and great lakes water transportation,
then the object is an instance of transportation company

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners