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 RailroadCompany est une sous-classe de TransportationCompany

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


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