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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Train

appearance as argument number 1

(documentation Train EnglishLanguage "Train is the subclass of TransportationDevice whose instances are linked sequences of RollingStock.") Transportation.kif 2058-2060
(externalImage Train " WCML_freight_train.jpg") pictureList.kif 194-194
(externalImage Train " transportation/ train/ Train_12.png") pictureList.kif 791-791
(subclass Train Collection) Transportation.kif 2057-2057
(subclass Train PoweredVehicle) Transportation.kif 2056-2056
(subclass Train RailVehicle) Transportation.kif 2055-2055

appearance as argument number 2

(termFormat ChineseLanguage Train "火车") domainEnglishFormat.kif 58745-58745
(termFormat ChineseTraditionalLanguage Train "火車") domainEnglishFormat.kif 58744-58744
(termFormat EnglishLanguage Train "train") domainEnglishFormat.kif 58743-58743


    (instance ?TRAIN Train)
    (exists (?X ?Y)
            (part ?X ?TRAIN)
            (part ?Y ?TRAIN)
            (instance ?X RollingStock)
            (instance ?Y RollingStock)
                (equal ?X ?Y)))))
Transportation.kif 2062-2071


    (instance ?COMPANY RailroadCompany)
    (exists (?SERVICE ?TRAIN)
            (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