VehicleTire(vehicle tire)![]() ![]() |
appearance as argument number 1 |
![]() |
(documentation VehicleTire EnglishLanguage "A covering, usually made of rubber, for a Wheel.") | Mid-level-ontology.kif 3876-3876 | |
(externalImage VehicleTire "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Nascarphx16.jpg") | pictureList.kif 5093-5093 | |
(externalImage VehicleTire "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Spikereifen.JPG") | pictureList.kif 5092-5092 | |
(externalImage VehicleTire "http://upload.wikimedia.org/wikipedia/commons/ e/ e0/ Bridgestone_Potenza_Formula_One_Tire.jpg") | pictureList.kif 4945-4945 | |
(subclass VehicleTire Artifact) | Mid-level-ontology.kif 3875-3875 | Vehicle tire is a subclass of artifact |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage VehicleTire "汽车轮胎") | domainEnglishFormat.kif 61394-61394 | |
(termFormat ChineseTraditionalLanguage VehicleTire "汽車輪胎") | domainEnglishFormat.kif 61393-61393 | |
(termFormat EnglishLanguage VehicleTire "vehicle tire") | domainEnglishFormat.kif 61392-61392 |
antecedent |
![]() |
(=> (instance ?T VehicleTire) (exists (?W) (and (instance ?W VehicleWheel) (part ?T ?W)))) |
Mid-level-ontology.kif 3878-3883 |
|
![]() |
![]() |