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

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3367-3368
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 838-838
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 200-200
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3366-3366	Wheel e' uma sub-classe de Artefato

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4495-4495	CommodoreWheel e' uma sub-classe de Wheel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3361-3361	VehicleWheel e' uma sub-classe de Wheel
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62981-62981
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62980-62980
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62979-62979

antecedent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 1292-1307

Processo e' uma instancia de Transporte Objeto e' uma instancia de Wheel Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Objeto e' um instrumento para Processo ObjetoB e' uma instancia de AntilockBrake Processo e' uma instancia de Decelerating ObjetoB e' um instrumento para Processo ObjetoB e' uma &parte de Objeto
ObjetoB tem por fim Entidade Entidade e' uma instancia de Rotating Entidade acontece durante Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2308-2320	Fisico e' uma instancia de Driveshaft Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Automobile Entidade e' uma instancia de Wheel Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' uma instancia de Rotating Fisico e' um patient de Entidade Entidade e' um patient de Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4772-4781	Fisico e' uma instancia de Tire Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Wheel Entidade e' uma instancia de WheelRim Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade covers Fisico and Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4438-4448	Fisico e' uma instancia de TireChain Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de RoadVehicle Entidade e' uma instancia de Wheel Entidade e' uma &parte de Entidade Entidade e' uma instancia de Friction covers Fisico and Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3370-3375	Objeto e' uma instancia de LandVehicle Objeto Objeto e' uma instancia de Wheel Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4306-4319	Fisico e' uma instancia de WheelChock Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Wheel Fisico encontra Entidade Entidade Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade vale durante Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3907-3912	Objeto e' uma instancia de RollawayBed Objeto Objeto e' uma instancia de Wheel Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26162-26169	Objeto e' uma instancia de Wheelchair Objeto Objeto Objeto e' uma instancia de Seat Objeto e' uma instancia de Wheel Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto

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