Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CausingPain
CausingPain

appearance as argument number 1
-------------------------


(documentation CausingPain EnglishLanguage "Any Process whose result is that the patient of the process is in Pain.") Mid-level-ontology.kif 21754-21755
(subclass CausingPain CausingUnhappiness) Mid-level-ontology.kif 21753-21753

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


(termFormat ChineseLanguage CausingPain "引起疼痛") domainEnglishFormat.kif 13534-13534
(termFormat ChineseTraditionalLanguage CausingPain "引起疼痛") domainEnglishFormat.kif 13533-13533
(termFormat EnglishLanguage CausingPain "causing pain") domainEnglishFormat.kif 13532-13532


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