RoadVehicle(road vehicle) | Hum-Vee, Humvee, bus, heap, jalopy |
appearance as argument number 1 |
(disjoint RoadVehicle RollingStock) | Transportation.kif 2096-2096 | Road vehicle is disjoint from rolling stock |
(documentation RoadVehicle EnglishLanguage "The class of LandVehicles that are not RollingStock.") | Mid-level-ontology.kif 3509-3510 | |
(externalImage RoadVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 15/ Late_model_Ford_Model_T.jpg/ 180px-Late_model_Ford_Model_T.jpg") | pictureList.kif 1239-1239 | |
(subclass RoadVehicle LandVehicle) | Mid-level-ontology.kif 3508-3508 | Road vehicle is a subclass of land vehicle |
appearance as argument number 2 |
antecedent |
consequent |