Friction - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Friction

Friction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 644-645
No TPTP formula. May not be expressible in strict first order.	engineering.kif 646-646	Friction e' uma sub-classe de MechanicalProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25046-25046
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25045-25045
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25044-25044

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 617-627	Objeto e' uma instancia de BrakePad Entidade e' uma instancia de BrakeRotor Processo e' uma instancia de Rotating Entidade e' um patient de Processo Processo e' uma instancia de Friction Objeto e' um recurso para Processo Entidade e' um patient de Processo Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 639-649	Objeto e' uma instancia de BrakeShoe Entidade e' uma instancia de BrakeDrum Processo e' uma instancia de Rotating Entidade e' um patient de Processo Processo e' uma instancia de Friction Objeto e' um recurso para Processo Entidade e' um patient de Processo Objeto e' um patient de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 693-707	Objeto e' uma instancia de BrakePedal Processo e' uma instancia de Pushing Objeto e' uma instancia de Vehicle Processo termina em Objeto eventLocated Processo and Objeto Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de WearingFrictionSurface Entidade e' uma instancia de Friction Entidade e' um instrumento para Entidade Processo causa Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 607-615	Fisico e' uma instancia de BrakePad Fisico tem por fim Entidade FisicoR Entidade e' uma instancia de Friction Fisico e' um recurso para Entidade FisicoR e' uma instancia de BrakeRotor FisicoR e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 629-637	Fisico e' uma instancia de BrakeShoe Fisico tem por fim Entidade FisicoD Entidade e' uma instancia de Friction Fisico e' um recurso para Entidade FisicoD e' uma instancia de BrakeDrum FisicoD e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 588-594	Fisico e' uma instancia de WearingFrictionSurface Fisico tem por fim Entidade Entidade e' uma instancia de Friction Fisico e' um recurso para 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

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