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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Train
Train(train)
commuter, commuter_train, freight_train, railroad_train, rattler, rolling_stock, train

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


(documentation Train EnglishLanguage "Train is the subclass of TransportationDevice whose instances are linked sequences of RollingStock.") Transportation.kif 2040-2042
(externalImage Train "http://upload.wikimedia.org/wikipedia/commons/1/19/ WCML_freight_train.jpg") pictureList.kif 194-194
(externalImage Train "http://www.adampease.org/Articulate/SUMOpictures/pictures/ transportation/ train/ Train_12.png") pictureList.kif 791-791
(subclass Train Collection) Transportation.kif 2039-2039 Train is a subclass of collection
(subclass Train PoweredVehicle) Transportation.kif 2038-2038 Train is a subclass of powered vehicle
(subclass Train RailVehicle) Transportation.kif 2037-2037 Train is a subclass of rail vehicle

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


(termFormat ChineseLanguage Train "火车") domainEnglishFormat.kif 58686-58686
(termFormat ChineseTraditionalLanguage Train "火車") domainEnglishFormat.kif 58685-58685
(termFormat EnglishLanguage Train "train") domainEnglishFormat.kif 58684-58684

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 2044-2053

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 3201-3209


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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