| Wagon(wagon)
| | cart |
| 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 | Wagon is a subclass of land vehicle |
| (subclass Wagon UnpoweredVehicle) | Transportation.kif 1987-1987 | Wagon is a subclass of unpowered vehicle |
| appearance as argument number 2 |
|
|
| (industryProductType TruckTrailerManufacturing Wagon) | Economy.kif 1819-1819 | Wagon is an industry product type of truck trailer manufacturing |
| (subclass StageCoach Wagon) | Transportation.kif 2006-2006 | Stage coach is a subclass of wagon |
| (subclass TruckTrailer Wagon) | Transportation.kif 1981-1981 | Truck trailer is a subclass of wagon |
| (termFormat ChineseLanguage Wagon "车皮") | domainEnglishFormat.kif 62080-62080 | Truck trailer is a subclass of wagon |
| (termFormat ChineseTraditionalLanguage Wagon "車皮") | domainEnglishFormat.kif 62079-62079 | Truck trailer is a subclass of wagon |
| (termFormat EnglishLanguage Wagon "wagon") | domainEnglishFormat.kif 62078-62078 | Truck trailer 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))))) |
Transportation.kif 1992-2004 |
|
|
|
|