|
|
   VehicleTire
|
|
|
| appearance as argument number 1 |
|
|
| (documentation VehicleTire EnglishLanguage "A covering, usually made of rubber, for a Wheel.") | Mid-level-ontology.kif 3366-3366 | |
| (externalImage VehicleTire "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Nascarphx16.jpg") | pictureList.kif 5095-5095 | |
| (externalImage VehicleTire "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Spikereifen.JPG") | pictureList.kif 5094-5094 | |
| (externalImage VehicleTire "http://upload.wikimedia.org/wikipedia/commons/ e/ e0/ Bridgestone_Potenza_Formula_One_Tire.jpg") | pictureList.kif 4947-4947 | |
| (subclass VehicleTire Artifact) | Mid-level-ontology.kif 3365-3365 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage VehicleTire "汽车轮胎") | domainEnglishFormat.kif 61366-61366 | |
| (termFormat ChineseTraditionalLanguage VehicleTire "汽車輪胎") | domainEnglishFormat.kif 61365-61365 | |
| (termFormat EnglishLanguage VehicleTire "vehicle tire") | domainEnglishFormat.kif 61364-61364 |
| antecedent |
|
|
| (=> (instance ?T VehicleTire) (exists (?W) (and (instance ?W VehicleWheel) (part ?T ?W)))) |
Mid-level-ontology.kif 3368-3373 |
|
|
|
