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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1848-1850
(externalImage Wagon "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Australian_cart.jpg") pictureList.kif 59-59
(subclass Wagon LandVehicle) Transportation.kif 1846-1846 WagonLandVehiclesubclass では %n
(subclass Wagon UnpoweredVehicle) Transportation.kif 1847-1847 WagonUnpoweredVehiclesubclass では %n

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


(industryProductType TruckTrailerManufacturing Wagon) Economy.kif 1819-1819 industryProductType TruckTrailerManufacturing and Wagon
(subclass StageCoach Wagon) Transportation.kif 1866-1866 StageCoachWagonsubclass では %n
(subclass TruckTrailer Wagon) Transportation.kif 1841-1841 TruckTrailerWagonsubclass では %n
(termFormat ChineseLanguage Wagon "车皮") domainEnglishFormat.kif 62055-62055
(termFormat ChineseTraditionalLanguage Wagon "車皮") domainEnglishFormat.kif 62054-62054
(termFormat EnglishLanguage Wagon "wagon") domainEnglishFormat.kif 62053-62053

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 1852-1864


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 3.0 is open source software produced by Articulate Software and its partners