Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - BereavedMother
BereavedMother(bereaved mother)

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


(instance BereavedMother RelationalAttribute) ArabicCulture.kif 799-799 Bereaved mother is an instance of relational attribute
(documentation BereavedMother EnglishLanguage "In Arabic: vakolaY. A mother bereaved of a child (as opposed to 'orphan' a person whose father or mother died or both father and mother died).") ArabicCulture.kif 801-803 Bereaved mother is an instance of relational attribute

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


(termFormat EnglishLanguage BereavedMother "bereaved mother") domainEnglishFormat.kif 10791-10791
(termFormat ChineseTraditionalLanguage BereavedMother "失去親人的母親") domainEnglishFormat.kif 10792-10792
(termFormat ChineseLanguage BereavedMother "失去亲人的母亲") domainEnglishFormat.kif 10793-10793

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


(=>
    (holdsDuring ?T
        (attribute ?P BereavedMother))
    (exists (?BEFORE ?C)
        (and
            (earlier ?BEFORE ?T)
            (holdsDuring ?BEFORE
                (mother ?P ?C))
            (holdsDuring ?T
                (attribute ?C Dead)))))		 ArabicCulture.kif 805-811 If bereaved mother is an attribute of X holds during Y, then there exist Z, W such that Z happens earlier than Y, W is a mother of X holds during Z, and dead is an attribute of W holds during Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners