PainFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PainFn EnglishLanguage "A Function that returns that class of Pain affecting a particular BodyPart of an Animal.")	Mid-level-ontology.kif 6347-6348
(domain PainFn 1 BodyPart)	Mid-level-ontology.kif 6349-6349	O argumento numero 1 de PainFn e' uma instancia de Parte do Corpo
(instance PainFn UnaryFunction)	Mid-level-ontology.kif 6346-6346	PainFn e' uma instancia de funcao Unaria
(rangeSubclass PainFn Pain)	Mid-level-ontology.kif 6350-6350	Os valores retornados por PainFn sao as sub-classes de Pain

appearance as argument number 2

(format EnglishLanguage PainFn "pain in the %1")	Mid-level-ontology.kif 6352-6352
(termFormat EnglishLanguage PainFn "pain")	Mid-level-ontology.kif 6351-6351

antecedent

(=>
    (and
        (experiencer ?ORGANISM ?PAIN)
        (instance ?PAIN
            (PainFn ?P)))
    (exists (?PART)
        (and
            (part ?PART ?ORGANISM)
            (located ?PART ?P))))

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

(=> (and (instance ?A LocalAnesthetizing) (located ?A ?BP) (instance ?BP BodyPart) (part ?BP ?P) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (not (attribute ?P (PainFn ?BP)))))	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
(=> (and (instance ?I Injecting) (instance ?A Adalimumab) (objectTransferred ?I ?A) (located ?I ?BP) (instance ?BP BodyPart) (destination ?I ?H)) (modalAttribute (exists (?T) (and (holdsDuring ?T (attribute ?H (PainFn ?BP))) (during ?T (FutureFn (WhenFn ?I))))) Likely))	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
(=> (instance ?I Ivabradine) (hasPurpose ?I (exists (?H ?IN ?P) (and (instance ?H Human) (instance ?P (PainFn Chest)) (experiencer ?P ?H) (instance ?IN Ingesting) (agent ?IN ?H) (earlier (WhenFn ?P) (WhenFn ?IN)) (not (exists (?P2) (and (instance ?P2 (PainFn Chest)) (experiencer ?P2 ?H) (earlier (WhenFn ?IN) (WhenFn ?P2)))))))))	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

(pathologicSideEffect Cetirizine (PainFn Abdomen))	Medicine.kif 3714-3714	pathologicSideEffect Cetirizine and PainFn Abdomen
(sideEffect Cetirizine (PainFn Abdomen))	Medicine.kif 4286-4286	sideEffect Cetirizine and PainFn Abdomen
(subclass Arthritis (PainFn BodyJoint))	Medicine.kif 2218-2218	Arthritis e' uma sub-classe de PainFn BodyJoint
(subclass ChestPain (PainFn Chest))	Medicine.kif 2016-2016	ChestPain e' uma sub-classe de PainFn Chest
(subclass Headache (PainFn Head))	Mid-level-ontology.kif 19332-19332	Headache e' uma sub-classe de PainFn Head
(subclass JointPain (PainFn BodyJoint))	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

KB Term:			Term intersection

English Word: