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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wagon

Sigma KEE - Wagon
Wagon

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 1838-1840
(externalImage Wagon "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Australian_cart.jpg") pictureList.kif 59-59
(subclass Wagon LandVehicle) Transportation.kif 1836-1836
(subclass Wagon UnpoweredVehicle) Transportation.kif 1837-1837

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


(industryProductType TruckTrailerManufacturing Wagon) Economy.kif 1823-1823
(subclass StageCoach Wagon) Transportation.kif 1856-1856
(subclass TruckTrailer Wagon) Transportation.kif 1831-1831
(termFormat ChineseLanguage Wagon "车皮") domainEnglishFormat.kif 62039-62039
(termFormat ChineseTraditionalLanguage Wagon "車皮") domainEnglishFormat.kif 62038-62038
(termFormat EnglishLanguage Wagon "wagon") domainEnglishFormat.kif 62037-62037

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 1842-1854


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