TreeView Knowledge Base Browser - PainFn

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 6348-6349
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6350-6350	Le nombre 1 argument de PainFn est une instance de partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6347-6347	PainFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6351-6351	Les valeurs retourn�es par PainFn sont des sous-classes de Pain

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 6357-6364

AutonomousAgent exp�rimente processus AutonomousAgent est une instance de PainFn partie du corps
partie du corpsART partie du corpsART est une partie de processus partie du corpsART est situ� � partie du corps

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1008-1019	Processus est une instance de LocalAnesthetizing processus est situ� � objet objet est une instance de partie du corps objet est une partie de objet objet est un patient de processus PainFn objet est un attribut de objet pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3628-3644	Transf�re est une instance de Injecting objet est une instance de Adalimumab objectTransferred transf�re and objet transf�re est situ� � objet objet est une instance de partie du corps transf�re aboutit � entit� l'argument entit� PainFn objet est un attribut de entit� pendant entit� entit� prend place pendant apr�s temps d'existence de transf�re a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4891-4911	Physique est une instance de Ivabradine physique a pour but entit� physiqueN and entit� entit� est une instance de humain entit� est une instance de PainFn Chest entit� exp�rimente entit� physiqueN est une instance de ing�rer physiqueN est un agent de entit� temps d'existence de entit� arrive plus t�t que temps d'existence de physiqueN entit�2 entit�2 est une instance de PainFn Chest entit� exp�rimente entit�2 temps d'existence de physiqueN arrive plus t�t que temps d'existence de entit�2

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 est une sous-classe de PainFn BodyJoint
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2016-2016	ChestPain est une sous-classe de PainFn Chest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19333-19333	Headache est une sous-classe de PainFn Head
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2011-2011	JointPain est une sous-classe de PainFn BodyJoint

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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