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 1988-1990
(externalImage Wagon "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Australian_cart.jpg") pictureList.kif 59-59
(subclass Wagon LandVehicle) Transportation.kif 1986-1986 车皮陆地车辆subclass
(subclass Wagon UnpoweredVehicle) Transportation.kif 1987-1987 车皮无动力车辆subclass

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


(industryProductType TruckTrailerManufacturing Wagon) Economy.kif 1944-1944 车皮卡车拖车制造industry 产品类别
(subclass StageCoach Wagon) Transportation.kif 2006-2006 舞台教练车皮subclass
(subclass TruckTrailer Wagon) Transportation.kif 1981-1981 卡车拖车车皮subclass
(termFormat ChineseLanguage Wagon "车皮") domainEnglishFormat.kif 62049-62049 卡车拖车车皮subclass
(termFormat ChineseTraditionalLanguage Wagon "車皮") domainEnglishFormat.kif 62048-62048 卡车拖车车皮subclass
(termFormat EnglishLanguage Wagon "wagon") domainEnglishFormat.kif 62047-62047 卡车拖车车皮subclass

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 1992-2004


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