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 3367-3368
(externalImage Wheel "http://articulatesoftware.com/SUMOpictures/transportation/ autos/ Black_n_White/ WHEEL.png")	pictureList.kif 838-838
(externalImage Wheel "http://upload.wikimedia.org/wikipedia/commons/e/e6/ Wheel_Iran.jpg")	pictureList.kif 200-200
(subclass Wheel Artifact)	Mid-level-ontology.kif 3366-3366	Wheel is a subclass of artifact

appearance as argument number 2

(subclass CommodoreWheel Wheel)	Cars.kif 4570-4570	Commodore wheel is a subclass of wheel
(subclass VehicleWheel Wheel)	Mid-level-ontology.kif 3361-3361	Vehicle wheel is a subclass of wheel
(termFormat ChineseLanguage Wheel "轮")	domainEnglishFormat.kif 63004-63004	Vehicle wheel is a subclass of wheel
(termFormat ChineseTraditionalLanguage Wheel "輪")	domainEnglishFormat.kif 63003-63003	Vehicle wheel is a subclass of wheel
(termFormat EnglishLanguage Wheel "wheel")	domainEnglishFormat.kif 63002-63002	Vehicle wheel is a subclass of wheel

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 1292-1307

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 has the 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 2308-2320	If a physical is an instance of driveshaft, then the physical has the 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 4847-4856	If a physical is an instance of tire, then the physical has the 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 4513-4523	If a physical is an instance of snow chain, then the physical has the 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 3370-3375	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 4381-4394	If a physical is an instance of wheel chock, then the physical has the 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 3907-3912	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 26425-26432	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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: