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 3227-3228
(subclass RailroadCompany TransportationCompany) Transportation.kif 3226-3226

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


(subclass ClassIIIRailroad RailroadCompany) Transportation.kif 3252-3252
(subclass ClassIIRailroad RailroadCompany) Transportation.kif 3246-3246
(subclass ClassIRailroad RailroadCompany) Transportation.kif 3240-3240
(termFormat ChineseLanguage RailroadCompany "铁路公司") domainEnglishFormat.kif 48621-48621
(termFormat ChineseTraditionalLanguage RailroadCompany "鐵路公司") domainEnglishFormat.kif 48620-48620
(termFormat EnglishLanguage RailroadCompany "railroad company") domainEnglishFormat.kif 48619-48619

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 3230-3238


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