Wheel - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Wheel EnglishLanguage "A circular Artifact which is a component of LandVehicles and of some Devices.")	Mid-level-ontology.kif 3907-3908
(externalImage Wheel "http://upload.wikimedia.org/wikipedia/commons/e/e6/ Wheel_Iran.jpg")	pictureList.kif 200-200
(externalImage Wheel "http://www.adampease.org/Articulate/SUMOpictures/pictures/ transportation/ autos/ Black_n_White/ WHEEL.png")	pictureList.kif 838-838
(subclass Wheel Artifact)	Mid-level-ontology.kif 3906-3906	Wheel is a subclass of artifact

appearance as argument number 2

(subclass CommodoreWheel Wheel)	Cars.kif 4490-4490	Commodore wheel is a subclass of wheel
(subclass VehicleWheel Wheel)	Mid-level-ontology.kif 3901-3901	Vehicle wheel is a subclass of wheel
(termFormat ChineseLanguage Wheel "轮")	domainEnglishFormat.kif 62866-62866
(termFormat ChineseTraditionalLanguage Wheel "輪")	domainEnglishFormat.kif 62865-62865
(termFormat EnglishLanguage Wheel "wheel")	domainEnglishFormat.kif 62864-62864

antecedent

(=>
    (and
        (instance ?T Transportation)
        (instance ?W Wheel)
        (instance ?A Automobile)
        (part ?W ?A)
        (instrument ?T ?A)
        (instance ?AB AntilockBrake)
        (instance ?D Decelerating)
        (instrument ?D ?AB)
        (part ?AB ?W))
    (hasPurpose ?AB
        (exists (?R)
            (and
                (instance ?R Rotating)
                (during ?R ?D)))))

Cars.kif 1293-1308

If a process is an instance of transportation and an object is an instance of wheel and another object is an instance of automobile and the object is a part of the other object and the other object is an instrument for the process and the other objectB is an instance of antilock brake and another process is an instance of decelerating and the other objectB is an instrument for the other process and the other objectB is a part of the object,
then the other objectB purpose there exists an entity such that the entity is an instance of rotating and the entity takes place during the other process

consequent

(=> (instance ?D Driveshaft) (hasPurpose ?D (exists (?R1 ?R2 ?W ?A) (and (instance ?A Automobile) (instance ?W Wheel) (part ?D ?A) (part ?W ?A) (instance ?R1 Rotating) (patient ?R1 ?D) (patient ?R2 ?W) (causes ?R1 ?R2)))))	Cars.kif 2312-2324	If a physical is an instance of driveshaft, then the physical purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the fourth entity is an instance of automobile and the third entity is an instance of wheel and the physical is a part of the fourth entity and the third entity is a part of the fourth entity and the entity is an instance of rotating and the physical is a patient of the entity and the third entity is a patient of the other entity and the entity causes the other entity
(=> (instance ?T Tire) (hasPurpose ?T (exists (?W ?R) (and (instance ?W Wheel) (instance ?R WheelRim) (part ?T ?W) (part ?R ?W) (covers ?T ?R)))))	Cars.kif 4767-4776	If a physical is an instance of tire, then the physical purpose there exist an entity and another entity such that the entity is an instance of wheel and the other entity is an instance of rim and the physical is a part of the entity and the other entity is a part of the entity and the physical covers the other entity
(=> (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 4426-4436	If a physical is an instance of snow chain, then the physical purpose there exist an entity, another entity and a third entity such that the entity is an instance of road vehicle and the other entity is an instance of wheel and the other entity is a part of the entity and the third entity is an instance of friction and the physical covers the other entity and the physical is an instrument for the third entity
(=> (instance ?VEHICLE LandVehicle) (exists (?WHEEL) (and (instance ?WHEEL Wheel) (part ?WHEEL ?VEHICLE))))	Mid-level-ontology.kif 3910-3915	If an object is an instance of land vehicle, then there exists another object such that the other object is an instance of wheel and the other object is a part of the object
(=> (instance ?WC WheelChock) (hasPurpose ?WC (exists (?W ?T) (and (instance ?W Wheel) (holdsDuring ?T (and (meetsSpatially ?WC ?W) (not (exists (?R) (and (instance ?R Rotating) (patient ?R ?W))))))))))	Cars.kif 4294-4307	If a physical is an instance of wheel chock, then the physical purpose there exist an entity and another entity such that the entity is an instance of wheel and the physical meets the entity and there doesn't exist a third entity such that the third entity is an instance of rotating and the entity is a patient of the third entity holds during the other entity
(=> (instance ?X RollawayBed) (exists (?WHEEL) (and (instance ?WHEEL Wheel) (part ?WHEEL ?X))))	Mid-level-ontology.kif 4440-4445	If an object is an instance of rollaway bed, then there exists another object such that the other object is an instance of wheel and the other object is a part of the object
(=> (instance ?X Wheelchair) (exists (?WHEEL ?SEAT) (and (instance ?SEAT Seat) (instance ?WHEEL Wheel) (part ?SEAT ?X) (part ?WHEEL ?X))))	Mid-level-ontology.kif 24130-24137	If an object is an instance of wheelchair, then there exist another object and a third object such that the third object is an instance of seat and the other object is an instance of wheel and the third object is a part of the object and the other object is a part of the object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: