Wheel - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Wheel

Wheel(wheel)

car_wheel, fifth_wheel, spare, wheel

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 3440-3441
(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 3439-3439	Wheel is a subclass of artifact

appearance as argument number 2

(subclass CommodoreWheel Wheel)	Cars.kif 4571-4571	Commodore wheel is a subclass of wheel
(subclass VehicleWheel Wheel)	Mid-level-ontology.kif 3434-3434	Vehicle wheel is a subclass of wheel
(termFormat ChineseLanguage Wheel "轮")	domainEnglishFormat.kif 63002-63002	Vehicle wheel is a subclass of wheel
(termFormat ChineseTraditionalLanguage Wheel "輪")	domainEnglishFormat.kif 63001-63001	Vehicle wheel is a subclass of wheel
(termFormat EnglishLanguage Wheel "wheel")	domainEnglishFormat.kif 63000-63000	Vehicle wheel is a subclass of wheel

antecedent

(=> (and (instance ?GUN ArtilleryGun) (instance ?W Wheel) (part ?W ?GUN)) (hasPurpose ?W (exists (?T) (and (instance ?T Translocation) (objectTransferred ?T ?GUN) (instrument ?T ?W)))))	Mid-level-ontology.kif 1614-1624	If an object is an instance of artillery gun and another object is an instance of wheel and the other object is a part of the object, then the other object has the purpose there exists an entity such that the entity is an instance of translocation and the object transferred in the entity is the object and the other object is an instrument for the entity
(=> (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
(=> (instance ?W Wheel) (shape ?W ConvexRoundShape))	Military.kif 179-181	If a physical is an instance of wheel, then the physical is convex round shape

consequent

(=> (and (instance ?R Rotating) (patient ?R ?TRACK) (instance ?TRACK ContinuousTrack)) (exists (?COLL ?MEM ?TREAD ?R2) (and (instance ?COLL Collection) (member ?MEM ?COLL) (instance ?MEM Wheel) (memberCount ?MEM ?I) (greaterThan ?I 2) (part ?COLL ?TRACK) (part ?TREAD ?TRACK) (instance ?TREAD CorpuscularObject) (shape ?TREAD LongAndThin) (attribute ?TREAD Pliable) (located ?COLL ?TREAD) (instance ?R2 Rotating) (causes ?R2 ?R))))	Military.kif 183-202	If a process is an instance of rotating and an object is a patient of the process and the object is an instance of Continuous track, then there exist a collection, another collection,, , another object and the process2 such that the collection is an instance of collection and the other collection is a member of the collection and the other collection is an instance of wheel and an integer is a member count of the other collection and the integer is greater than 2 and the collection is a part of the object and the other object is a part of the object and the other object is an instance of corpuscular object and the other object is long and thin and pliable is an attribute of the other object and the collection is located at the other object and the process2 is an instance of rotating and the process2 causes the process
(=> (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 2309-2321	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 ?GUN ArtilleryGun) (modalAttribute (exists (?W) (and (instance ?W Wheel) (part ?W ?GUN))) Likely))	Mid-level-ontology.kif 1606-1612	If an entity is an instance of artillery gun, then the statement there exists another entity such that the other entity is an instance of wheel and the other entity is a part of the entity has the modal force of likely
(=> (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 4848-4857	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 4514-4524	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 3443-3448	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 4382-4395	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 3980-3985	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 27224-27231	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