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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - CausingUnhappiness
CausingUnhappiness(causing unhappiness)causing_unhappiness

appearance as argument number 1

(documentation CausingUnhappiness EnglishLanguage "Any Process whose result is that the patient of the process is unhappy.") Mid-level-ontology.kif 21714-21715
(subclass CausingUnhappiness Process) Mid-level-ontology.kif 21713-21713 Causing unhappiness is a subclass of process

appearance as argument number 2

(subclass CausingPain CausingUnhappiness) Mid-level-ontology.kif 21709-21709 Causing pain is a subclass of causing unhappiness
(termFormat EnglishLanguage CausingUnhappiness "causing unhappiness") domainEnglishFormat.kif 2678-2678 "causing unhappiness" is the printable form of causing unhappiness in english language

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners