Wagon - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Wagon LandVehicle)	Transportation.kif 2001-2001	Wagon is a subclass of land vehicle
(subclass Wagon UnpoweredVehicle)	Transportation.kif 2002-2002	Wagon is a subclass of unpowered vehicle
(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 2003-2005	Wagon is a subclass of unpowered vehicle
(externalImage Wagon "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Australian_cart.jpg")	pictureList.kif 59-59	Wagon is a subclass of unpowered vehicle

appearance as argument number 2

(industryProductType TruckTrailerManufacturing Wagon)	Economy.kif 1939-1939	Wagon is an industry product type of truck trailer manufacturing
(subclass TruckTrailer Wagon)	Transportation.kif 1996-1996	Truck trailer is a subclass of wagon
(subclass StageCoach Wagon)	Transportation.kif 2021-2021	Stage coach is a subclass of wagon
(termFormat EnglishLanguage Wagon "wagon")	domainEnglishFormat.kif 62056-62056	Stage coach is a subclass of wagon
(termFormat ChineseTraditionalLanguage Wagon "車皮")	domainEnglishFormat.kif 62057-62057	Stage coach is a subclass of wagon
(termFormat ChineseLanguage Wagon "车皮")	domainEnglishFormat.kif 62058-62058	Stage coach is a subclass of wagon

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)))))

If X is an instance of wagon, Y is an instance of transportation, and X is an instrument for Y, then there exists Z such that Y is an instance of pulling, Z is an agent of Y, X is a patient of Y, and Z is an instance of domestic animal or Z is an instance of vehicle