RoadVehicle |
appearance as argument number 1 |
(disjoint RoadVehicle RollingStock) | Transportation.kif 2096-2096 | RoadVehicle e' disjunto de RollingStock |
(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 | RoadVehicle e' uma sub-classe de LandVehicle |
appearance as argument number 2 |
antecedent |
consequent |