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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Wagon
Wagon(wagon)
cart, 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 1812-1814
(externalImage Wagon "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Australian_cart.jpg") pictureList.kif 59-59 "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Australian_cart.jpg" is a URL depicting wagon
(subclass Wagon LandVehicle) Transportation.kif 1810-1810 Wagon is a subclass of land vehicle
(subclass Wagon UnpoweredVehicle) Transportation.kif 1811-1811 Wagon is a subclass of unpowered vehicle

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


(industryProductType TruckTrailerManufacturing Wagon) Economy.kif 1823-1823 Wagon is an industry product type of truck trailer manufacturing
(subclass StageCoach Wagon) Transportation.kif 1830-1830 Stage coach is a subclass of wagon
(subclass TruckTrailer Wagon) Transportation.kif 1805-1805 Truck trailer is a subclass of wagon
(termFormat EnglishLanguage Wagon "wagon") domainEnglishFormat.kif 10767-10767 "wagon" is the printable form of wagon in english language

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 1816-1828


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners