TireChanger - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - TireChanger

TireChanger(tire changer)

appearance as argument number 1

(documentation TireChanger EnglishLanguage "A Device for putting Tires on WheelRims, or removing them.")	Cars.kif 4931-4932
(subclass TireChanger Device)	Cars.kif 4930-4930	Tire changer is a subclass of device

appearance as argument number 2

(termFormat EnglishLanguage TireChanger "tire changer")

Cars.kif 4933-4933

antecedent

(=> (instance ?TC TireChanger) (hasPurpose ?TC (exists (?P ?T ?R) (and (instance ?P Putting) (instance ?T Tire) (instance ?R WheelRim) (destination ?P ?R) (objectTransferred ?P ?T) (instrument ?P ?TC)))))	Cars.kif 4935-4945	If a physical is an instance of tire changer, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of putting and the other entity is an instance of tire and the third entity is an instance of rim and the entity ends up at the third entity and the object transferred in the entity is the other entity and the physical is an instrument for the entity
(=> (instance ?TC TireChanger) (hasPurpose ?TC (exists (?RE ?T ?R) (and (instance ?RE Removing) (instance ?T Tire) (instance ?R WheelRim) (origin ?RE ?R) (objectTransferred ?RE ?T) (instrument ?RE ?TC)))))	Cars.kif 4947-4957	If a physical is an instance of tire changer, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of removing and the other entity is an instance of tire and the third entity is an instance of rim and the entity originates at the third entity and the object transferred in the entity is the other entity and the physical is an instrument for the entity

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