RoadVehicle![]() | ![]() |
appearance as argument number 1 |
![]() |
(disjoint RoadVehicle RollingStock) | Transportation.kif 2271-2271 | RoadVehicle est disjoint de RollingStock |
(documentation RoadVehicle EnglishLanguage "The class of LandVehicles that are not RollingStock.") | Mid-level-ontology.kif 3952-3953 | RoadVehicle est disjoint de RollingStock |
(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 | RoadVehicle est disjoint de RollingStock |
(subclass RoadVehicle LandVehicle) | Mid-level-ontology.kif 3951-3951 | RoadVehicle est une sous-classe de LandVehicle |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |