RoadVehicle(road vehicle) | Hum-Vee, Humvee, bus, heap, jalopy |
appearance as argument number 1 |
(disjoint RoadVehicle RollingStock) | Transportation.kif 2102-2102 | Road vehicle is disjoint from rolling stock |
(documentation RoadVehicle EnglishLanguage "The class of LandVehicles that are not RollingStock.") | Mid-level-ontology.kif 3502-3503 | |
(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 3501-3501 | Road vehicle is a subclass of land vehicle |
appearance as argument number 2 |
antecedent |
consequent |