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 61973-61973 | |
(termFormat ChineseTraditionalLanguage Wagon "車皮") | domainEnglishFormat.kif 61972-61972 | |
(termFormat EnglishLanguage Wagon "wagon") | domainEnglishFormat.kif 61971-61971 |
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 |
![]() |
![]() |