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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wagon

Sigma KEE - Wagon
Wagon(wagon)
cart

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


(documentation Wagon EnglishLanguage "A Landcraft that is not self-propelled, but must be pulled by either an Animal or a self-propelled Vehicle to move along the ground.") Transportation.kif 1856-1858
(externalImage Wagon "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Australian_cart.jpg") pictureList.kif 59-59
(subclass Wagon LandVehicle) Transportation.kif 1854-1854 Wagon is a subclass of land vehicle
(subclass Wagon UnpoweredVehicle) Transportation.kif 1855-1855 Wagon is a subclass of unpowered vehicle

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


(industryProductType TruckTrailerManufacturing Wagon) Economy.kif 1830-1830 Wagon is an industry product type of truck trailer manufacturing
(subclass StageCoach Wagon) Transportation.kif 1874-1874 Stage coach is a subclass of wagon
(subclass TruckTrailer Wagon) Transportation.kif 1849-1849 Truck trailer is a subclass of wagon
(termFormat ChineseLanguage Wagon "车皮") domainEnglishFormat.kif 62022-62022
(termFormat ChineseTraditionalLanguage Wagon "車皮") domainEnglishFormat.kif 62021-62021
(termFormat EnglishLanguage Wagon "wagon") domainEnglishFormat.kif 62020-62020

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


(=>
    (and
        (instance ?W Wagon)
        (instance ?T Transportation)
        (instrument ?T ?W))
    (exists (?P)
        (and
            (instance ?T Pulling)
            (agent ?T ?P)
            (patient ?T ?W)
            (or
                (instance ?P DomesticAnimal)
                (instance ?P Vehicle)))))
Transportation.kif 1860-1872


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