|
|
   RoadVehicle
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint RoadVehicle RollingStock) | Transportation.kif 2096-2096 | 公路车辆 和 % 2 是 disjoint |
| (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 1240-1240 | |
| (subclass RoadVehicle LandVehicle) | Mid-level-ontology.kif 3480-3480 | 公路车辆 是 陆地车辆 的 subclass |
| appearance as argument number 2 |
|
|
| (industryProductType MotorVehicleManufacturing RoadVehicle) | Economy.kif 1834-1834 | 公路车辆 是 汽车制造业 的 industry 产品类别 |
| (subclass EmergencyRoadVehicle RoadVehicle) | Transportation.kif 1892-1892 | 紧急公路车辆 是 公路车辆 的 subclass |
| (subclass MilitaryTank RoadVehicle) | Military.kif 146-146 | 军用坦克 是 公路车辆 的 subclass |
| (subclass MotorScooter RoadVehicle) | Transportation.kif 1885-1885 | 小型摩托车 是 公路车辆 的 subclass |
| (subclass SelfPoweredRoadVehicle RoadVehicle) | Transportation.kif 1803-1803 | 自供电公路车辆 是 公路车辆 的 subclass |
| (subclass TractorTrailer RoadVehicle) | Transportation.kif 1827-1827 | 牵引车拖车 是 公路车辆 的 subclass |
| (subclass Trailer RoadVehicle) | Transportation.kif 1820-1820 | 预告片 是 公路车辆 的 subclass |
| (termFormat ChineseLanguage RoadVehicle "公路车辆") | domainEnglishFormat.kif 50219-50219 | |
| (termFormat ChineseTraditionalLanguage RoadVehicle "公路車輛") | domainEnglishFormat.kif 50218-50218 | |
| (termFormat EnglishLanguage RoadVehicle "road vehicle") | domainEnglishFormat.kif 50217-50217 |
| antecedent |
|
|
| (=> (and (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (instance ?VEHICLE RoadVehicle)) (exists (?TRANSPORT) (and (instance ?TRANSPORT TransportViaRoadVehicle) (subProcess ?TRANSPORT ?DRIVE)))) |
Mid-level-ontology.kif 23646-23654 | |
| (=> (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 23617-23622 | |
| (=> (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 |
|
|
| (=> (and (instance ?L DriversLicense) (possesses ?A ?L)) (confersNorm ?L (exists (?D ?V) (and (instance ?D Driving) (agent ?D ?A) (patient ?D ?V) (instance ?V RoadVehicle))) Permission)) |
Mid-level-ontology.kif 16752-16763 | |
| (=> (and (instance ?TRANSPORT TransportViaRoadVehicle) (conveyance ?TRANSPORT ?VEHICLE)) (instance ?VEHICLE RoadVehicle)) |
Mid-level-ontology.kif 23624-23628 | |
| (=> (instance ?GARAGE Garage) (hasPurpose ?GARAGE (exists (?AUTO) (and (instance ?AUTO RoadVehicle) (contains ?GARAGE ?AUTO))))) |
Mid-level-ontology.kif 15348-15354 | |
| (=> (instance ?TC TireChain) (hasPurpose ?TC (exists (?V ?W ?F) (and (instance ?V RoadVehicle) (instance ?W Wheel) (part ?W ?V) (instance ?F Friction) (covers ?TC ?W) (instrument ?F ?TC))))) |
Cars.kif 4453-4463 | |
| (=> (instance ?W RearWindow) (exists (?A) (and (instance ?A RoadVehicle) (part ?W (BackFn ?A))))) |
Mid-level-ontology.kif 15075-15080 | |
| (=> (instance ?W Windshield) (exists (?A) (and (instance ?A RoadVehicle) (part ?W (FrontFn ?A))))) |
Mid-level-ontology.kif 3430-3435 |
|
|
|
