TreeView 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 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	Train is a subclass of collection
(subclass Train PoweredVehicle)	Transportation.kif 2048-2048	Train is a subclass of powered vehicle
(subclass Train RailVehicle)	Transportation.kif 2047-2047	Train is a subclass of rail vehicle

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

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 the other object is not equal to 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 3275-3283

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

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

KB Term:			Term intersection

English Word: