VehicleTire - Sigma Knowledge base Browser

appearance as argument number 1

(subclass VehicleTire Artifact)	Mid-level-ontology.kif 3892-3892	Vehicle tire is a subclass of artifact
(documentation VehicleTire EnglishLanguage "A covering, usually made of rubber, for a Wheel.")	Mid-level-ontology.kif 3893-3893	Vehicle tire is a subclass of artifact
(externalImage VehicleTire "http://upload.wikimedia.org/wikipedia/commons/ e/ e0/ Bridgestone_Potenza_Formula_One_Tire.jpg")	pictureList.kif 4945-4945	Vehicle tire is a subclass of artifact
(externalImage VehicleTire "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Spikereifen.JPG")	pictureList.kif 5092-5092	Vehicle tire is a subclass of artifact
(externalImage VehicleTire "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Nascarphx16.jpg")	pictureList.kif 5093-5093	Vehicle tire is a subclass of artifact

appearance as argument number 2

(termFormat EnglishLanguage VehicleTire "vehicle tire")	domainEnglishFormat.kif 61401-61401
(termFormat ChineseTraditionalLanguage VehicleTire "汽車輪胎")	domainEnglishFormat.kif 61402-61402
(termFormat ChineseLanguage VehicleTire "汽车轮胎")	domainEnglishFormat.kif 61403-61403

antecedent

(=>
    (instance ?T VehicleTire)
    (exists (?W)
        (and
            (instance ?W VehicleWheel)
            (part ?T ?W))))

If X is an instance of vehicle tire, then there exists Y such that Y is an instance of vehicle wheel and X is a part of Y