PainFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PainFn

PainFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6347-6348
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6349-6349	O argumento numero 1 de PainFn e' uma instancia de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6346-6346	PainFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6350-6350	Os valores retornados por PainFn sao as sub-classes de Pain

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6352-6352
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6351-6351

antecedent

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

Mid-level-ontology.kif 6356-6363

AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de PainFn Parte do Corpo
Parte do CorpoART Parte do CorpoART e' uma &parte de Processo Parte do CorpoART e' situado em Parte do Corpo

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1008-1019	Processo e' uma instancia de LocalAnesthetizing Processo e' situado em Objeto Objeto e' uma instancia de Parte do Corpo Objeto e' uma &parte de Objeto Objeto e' um patient de Processo PainFn Objeto e' um atributo de Objeto vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3628-3644	Transferencia e' uma instancia de Injecting Objeto e' uma instancia de Adalimumab objectTransferred Transferencia and Objeto Transferencia e' situado em Objeto Objeto e' uma instancia de Parte do Corpo Transferencia termina em Entidade o argumento Entidade PainFn Objeto e' um atributo de Entidade vale durante Entidade Entidade acontece durante apos tempo de existencia de Transferencia tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4891-4911	Fisico e' uma instancia de Ivabradine Fisico tem por fim Entidade FisicoN and Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de PainFn Chest Entidade experimenta Entidade FisicoN e' uma instancia de Ingerir FisicoN e' um agente de Entidade tempo de existencia de Entidade acontence antes de tempo de existencia de FisicoN Entidade2 Entidade2 e' uma instancia de PainFn Chest Entidade experimenta Entidade2 tempo de existencia de FisicoN acontence antes de tempo de existencia de Entidade2

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3714-3714	pathologicSideEffect Cetirizine and PainFn Abdomen
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4286-4286	sideEffect Cetirizine and PainFn Abdomen
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2218-2218	Arthritis e' uma sub-classe de PainFn BodyJoint
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2016-2016	ChestPain e' uma sub-classe de PainFn Chest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19332-19332	Headache e' uma sub-classe de PainFn Head
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2011-2011	JointPain e' uma sub-classe de PainFn BodyJoint

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