| RoadVehicle
| |
| appearance as argument number 1 |
|
|
| (disjoint RoadVehicle RollingStock) | Transportation.kif 2096-2096 | RoadVehicle と RollingStock は disjoint では %n |
| (documentation RoadVehicle EnglishLanguage "The class of LandVehicles that are not RollingStock.") | Mid-level-ontology.kif 3481-3482 | |
| (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 3480-3480 | RoadVehicle は LandVehicle の subclass では %n |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (instance ?VEHICLE RoadVehicle)) (exists (?TRANSPORT) (and (instance ?TRANSPORT TransportViaRoadVehicle) (subProcess ?TRANSPORT ?DRIVE)))) |
Mid-level-ontology.kif 23514-23522 | |
| (=> (and (instance ?L LeafSpring) (part ?L ?RV) (instance ?RV RoadVehicle)) (modalAttribute (exists (?L2) (and (instance ?L2 LeafSpring) (part ?L2 ?RV) (not (equal ?L ?L2)) (meetsSpatially ?L ?L2))) Likely)) |
Cars.kif 902-915 | |
| (=> (and (instance ?TRANSPORT Transportation) (instrument ?TRANSPORT ?VEHICLE) (instance ?VEHICLE RoadVehicle)) (instance ?TRANSPORT TransportViaRoadVehicle)) |
Mid-level-ontology.kif 23485-23490 |
|
| (=> (and (instance ?W VehicleWheel) (instance ?V RoadVehicle) (part ?W ?V)) (exists (?A) (and (instance ?A Axle) (component ?A ?V) (connected ?W ?A)))) |
Mid-level-ontology.kif 3510-3519 |
| consequent |
|
|
|
|
|