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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RailroadCompany

Sigma KEE - RailroadCompany
RailroadCompany

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

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


(subclass ClassIIIRailroad RailroadCompany) Transportation.kif 3245-3245
(subclass ClassIIRailroad RailroadCompany) Transportation.kif 3239-3239
(subclass ClassIRailroad RailroadCompany) Transportation.kif 3233-3233
(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 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