Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Train

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

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


(subclass Train RailVehicle) Transportation.kif 2207-2207 Train is a subclass of rail vehicle
(subclass Train PoweredVehicle) Transportation.kif 2208-2208 Train is a subclass of powered vehicle
(subclass Train CollectionOfObjects) Transportation.kif 2209-2209 Train is a subclass of collection
(documentation Train EnglishLanguage "Train is the subclass of TransportationDevice whose instances are linked sequences of RollingStock.") Transportation.kif 2210-2212 Train is a subclass of collection
(externalImage Train "http://upload.wikimedia.org/wikipedia/commons/1/19/ WCML_freight_train.jpg") pictureList.kif 194-194 Train is a subclass of collection
(externalImage Train "http://articulatesoftware.com/SUMOpictures/transportation/ train/ Train_12.png") pictureList.kif 791-791 Train is a subclass of collection

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


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

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 2214-2223 If X is an instance of train, then All of the following hold: (1) there exist Y (2) Z such that Y is a part of X (3) Z is a part of X (4) Y is an instance of rolling stock (5) Z is an instance of rolling stock (6) equal Y (7) Z

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


(=>
    (instance ?R RailwayTerminal)
    (trafficableForTrafficType ?R Train))		 Transportation.kif 2253-2255 If X is an instance of railway terminal, then train is a trafficable for traffic type of X
(=>
    (instance ?COMPANY RailroadCompany)
    (exists (?SERVICE ?TRAIN)
        (and
            (instance ?SERVICE CommercialService)
            (agent ?SERVICE ?COMPANY)
            (instance ?SERVICE Transportation)
            (instrument ?SERVICE ?TRAIN)
            (instance ?TRAIN Train))))		 Transportation.kif 4906-4914 If X is an instance of railroad company, then there exist Y, Z such that Y is an instance of commercial service, X is an agent of Y, Y is an instance of transportation, Z is an instrument for Y, and Z 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners