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
-------------------------


(documentation PainFn EnglishLanguage "A Function that returns that class of Pain affecting a particular BodyPart of an Animal.") Mid-level-ontology.kif 6055-6056
(domain PainFn 1 BodyPart) Mid-level-ontology.kif 6057-6057 The number 1 argument of pain is an instance of body part
(instance PainFn UnaryFunction) Mid-level-ontology.kif 6054-6054 Pain is an instance of unary function
(rangeSubclass PainFn Pain) Mid-level-ontology.kif 6058-6058 The values returned by pain are subclasses of pain

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (and
        (experiencer ?ORGANISM ?PAIN)
        (instance ?PAIN
            (PainFn ?P)))
    (exists (?PART)
        (and
            (part ?PART ?ORGANISM)
            (located ?PART ?P))))
Mid-level-ontology.kif 6064-6071

statement
-------------------------


(subclass Headache
    (PainFn Head))
Mid-level-ontology.kif 18768-18768 Headache is a subclass of pain in the head


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