TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Pain EnglishLanguage "A physical sensation of discomfort which can vary widely in intensity.")	Mid-level-ontology.kif 19357-19358
(externalImage Pain "http://upload.wikimedia.org/wikipedia/commons/0/0b/ Medieval_dentistry.jpg")	pictureList.kif 3168-3168
(externalImage Pain "http://upload.wikimedia.org/wikipedia/commons/4/4e/ M%C3%A9tiers-Dentiste%2C_humour-ann%C3%A9es_20.JPG")	pictureList.kif 3167-3167
(externalImage Pain "http://upload.wikimedia.org/wikipedia/commons/5/59/ Dental_surgery_aboard_USS_Eisenhower%2C_January_1990.JPEG")	pictureList.kif 2980-2980
(pathologyTreatment Pain Analgesic Ingesting)	Medicine.kif 6407-6407	pathologyTreatment Pain, Analgesic and Ingerir
(subclass Pain PathologicProcess)	Mid-level-ontology.kif 19356-19356	Pain e' uma sub-classe de Processo Patologico

appearance as argument number 2

(contraryAttribute Pleasure Pain)	emotion.kif 763-763	Pleasure e' &o oposto de Pain
(rangeSubclass PainFn Pain)	Mid-level-ontology.kif 6345-6345	Os valores retornados por PainFn sao as sub-classes de Pain
(termFormat ChineseLanguage Pain "痛")	domainEnglishFormat.kif 44000-44000
(termFormat ChineseTraditionalLanguage Pain "痛")	domainEnglishFormat.kif 43999-43999
(termFormat EnglishLanguage Pain "pain")	domainEnglishFormat.kif 43998-43998

antecedent

(=>
    (and
        (holdsDuring ?T
            (attribute ?H AVPUPainStatus))
        (instance ?P Pain)
        (during
            (WhenFn ?P) ?T)
        (experiencer ?P ?H))
    (exists (?BM)
        (and
            (instance ?BM BodyMotion)
            (experiencer ?BM ?H)
            (during
                (WhenFn ?BM) ?T)
            (causes ?P ?BM))))

Medicine.kif 6470-6482

AVPUPainStatus e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo e' uma instancia de Pain tempo de existencia de Processo acontece durante Intervalo Temporal AutonomousAgent experimenta Processo
Processo Processo e' uma instancia de Movimento do Corpo AutonomousAgent experimenta Processo tempo de existencia de Processo acontece durante Intervalo Temporal Processo causa Processo

consequent

(=> (and (instance ?A Anesthetizing) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (and (attribute ?P Unconscious) (not (attribute ?P Pain)))))	Medicine.kif 966-975	Processo e' uma instancia de Anesthetizing Entidade e' um patient de Processo Inconsciente e' um atributo de Entidade Pain e' um atributo de Entidade vale durante tempo de existencia de Processo
(=> (and (instance ?A Anesthetizing) (patient ?A ?P)) (holdsDuring (WhenFn ?A) (or (attribute ?P Unconscious) (not (attribute ?P Pain)))))	Medicine.kif 949-958	Processo e' uma instancia de Anesthetizing Entidade e' um patient de Processo Inconsciente e' um atributo de Entidade Pain e' um atributo de Entidade vale durante tempo de existencia de Processo
(=> (and (instance ?ELT ExperiencingDiscomfortInTheStomach) (experiencer ?ELT ?A)) (exists (?P ?PAIN ?T) (and (instance ?P Perception) (during (WhenFn ?P) (WhenFn ?PAIN)) (instance ?PAIN Pain) (experiencer ?PAIN ?A) (subProcess ?P ?ELT) (agent ?P ?A) (patient ?P ?T) (instance ?T Stomach) (part ?T ?A))))	emotion.kif 1583-1597	Processo e' uma instancia de ExperiencingDiscomfortInTheStomach AutonomousAgent experimenta Processo Processo ProcessoAIN and Objeto Processo e' uma instancia de Percepcao tempo de existencia de Processo acontece durante tempo de existencia de ProcessoAIN ProcessoAIN e' uma instancia de Pain AutonomousAgent experimenta ProcessoAIN Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent
(=> (and (instance ?R RelievingPain) (patient ?R ?H)) (and (exists (?P1) (and (overlapsTemporally (WhenFn ?P1) (ImmediatePastFn (WhenFn ?R))) (instance ?P1 Pain) (located ?P1 ?H))) (not (exists (?P2) (and (overlapsTemporally (WhenFn ?P2) (ImmediateFutureFn (WhenFn ?R))) (instance ?P2 Pain) (located ?P2 ?H))))))	Mid-level-ontology.kif 5773-5792	Processo e' uma instancia de RelievingPain Objeto e' um patient de Processo Fisico imediatemente antes de tempo de existencia de Processo engloba tempo de existencia de Fisico Fisico e' uma instancia de Pain Fisico e' situado em Objeto Fisico imediatemente apos tempo de existencia de Processo engloba tempo de existencia de Fisico Fisico e' uma instancia de Pain Fisico e' situado em Objeto
(=> (holdsDuring ?T (attribute ?H Fibromyalgia)) (exists (?P) (and (instance ?P Pain) (experiencer ?P ?H) (during ?T (WhenFn ?P)))))	Medicine.kif 4533-4541	Fibromyalgia e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Processo e' uma instancia de Pain AutonomousAgent experimenta Processo Intervalo Temporal acontece durante tempo de existencia de Processo
(=> (instance ?SPINE PlantSpinoseStructure) (modalAttribute (exists (?I ?P ?A) (and (instance ?I Inserting) (instrument ?I ?SPINE) (instance ?A Animal) (patient ?I ?A) (causes ?I ?P) (instance ?P Pain) (experiencer ?P ?A))) Possibility))	Mid-level-ontology.kif 9614-9625	Entidade e' uma instancia de PlantSpinoseStructure o argumento Entidade Entidade and Entidade Entidade e' uma instancia de Inserting Entidade e' um instrumento para Entidade Entidade e' uma instancia de Animal Entidade e' um patient de Entidade Entidade causa Entidade Entidade e' uma instancia de Pain Entidade experimenta Entidade tem a forca modal de Possibility

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

KB Term:			Term intersection

English Word: