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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RailroadCompany
RailroadCompany(railroad company)railroad, railroad_line, railway, railway_line, railway_system

appearance as argument number 1
-------------------------


(documentation RailroadCompany EnglishLanguage "Any TransportationCompany whose services include Transportation by Train.") Transportation.kif 3220-3221
(subclass RailroadCompany TransportationCompany) Transportation.kif 3219-3219 Railroad company is a subclass of transportation company

appearance as argument number 2
-------------------------


(subclass ClassIIIRailroad RailroadCompany) Transportation.kif 3245-3245 ClassIII railroad is a subclass of railroad company
(subclass ClassIIRailroad RailroadCompany) Transportation.kif 3239-3239 ClassII railroad is a subclass of railroad company
(subclass ClassIRailroad RailroadCompany) Transportation.kif 3233-3233 ClassI railroad is a subclass of railroad company
(termFormat ChineseLanguage RailroadCompany "铁路公司") domainEnglishFormat.kif 48638-48638
(termFormat ChineseTraditionalLanguage RailroadCompany "鐵路公司") domainEnglishFormat.kif 48637-48637
(termFormat EnglishLanguage RailroadCompany "railroad company") domainEnglishFormat.kif 48636-48636

antecedent
-------------------------


(=>
    (instance ?COMPANY RailroadCompany)
    (exists (?SERVICE ?TRAIN)
        (and
            (instance ?SERVICE CommercialService)
            (agent ?SERVICE ?COMPANY)
            (instance ?SERVICE Transportation)
            (instrument ?SERVICE ?TRAIN)
            (instance ?TRAIN Train))))
Transportation.kif 3223-3231


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



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