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 23242-23243
(subclass CausingPain CausingUnhappiness) Mid-level-ontology.kif 23241-23241

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


(termFormat ChineseLanguage CausingPain "引起疼痛") domainEnglishFormat.kif 13527-13527
(termFormat ChineseTraditionalLanguage CausingPain "引起疼痛") domainEnglishFormat.kif 13526-13526
(termFormat EnglishLanguage CausingPain "causing pain") domainEnglishFormat.kif 13525-13525


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