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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Train

Sigma KEE - Train
Train

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


(documentation Train EnglishLanguage "Train is the subclass of TransportationDevice whose instances are linked sequences of RollingStock.") Transportation.kif 2050-2052
(externalImage Train "http://articulatesoftware.com/SUMOpictures/transportation/ train/ Train_12.png") pictureList.kif 791-791
(externalImage Train "http://upload.wikimedia.org/wikipedia/commons/1/19/ WCML_freight_train.jpg") pictureList.kif 194-194
(subclass Train Collection) Transportation.kif 2049-2049
(subclass Train PoweredVehicle) Transportation.kif 2048-2048
(subclass Train RailVehicle) Transportation.kif 2047-2047

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


(termFormat ChineseLanguage Train "火车") domainEnglishFormat.kif 58780-58780
(termFormat ChineseTraditionalLanguage Train "火車") domainEnglishFormat.kif 58779-58779
(termFormat EnglishLanguage Train "train") domainEnglishFormat.kif 58778-58778

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


(=>
    (instance ?TRAIN Train)
    (exists (?X ?Y)
        (and
            (part ?X ?TRAIN)
            (part ?Y ?TRAIN)
            (instance ?X RollingStock)
            (instance ?Y RollingStock)
            (not
                (equal ?X ?Y)))))
Transportation.kif 2054-2063

consequent
-------------------------


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


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