Train - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Train EnglishLanguage "Train is the subclass of TransportationDevice whose instances are linked sequences of RollingStock.")	Transportation.kif 2189-2191
(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 2188-2188	Train is a subclass of collection
(subclass Train PoweredVehicle)	Transportation.kif 2187-2187	Train is a subclass of powered vehicle
(subclass Train RailVehicle)	Transportation.kif 2186-2186	Train is a subclass of rail vehicle

appearance as argument number 2

(termFormat ChineseLanguage Train "火车")	domainEnglishFormat.kif 58785-58785
(termFormat ChineseTraditionalLanguage Train "火車")	domainEnglishFormat.kif 58784-58784
(termFormat EnglishLanguage Train "train")	domainEnglishFormat.kif 58783-58783

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 2193-2202

If an object is an instance of train,
then there exist another object and a third object such that the other object is a part of the object and the third object is a part of the object and the other object is an instance of rolling stock and the third object is an instance of rolling stock and equal the other object and the third object

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 4362-4370	If an agent is an instance of railroad company, then there exist a process and an object such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of transportation and the object is an instrument for the process and the object is an instance of train
(=> (instance ?R RailwayTerminal) (trafficableForTrafficType ?R Train))	Transportation.kif 2232-2234	If an object is an instance of railway terminal, then train is a trafficable for traffic type of the object

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

KB Term:			Term intersection

English Word: