BereavedMother - Sigma Knowledge base Browser

appearance as argument number 1

(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 770-772
(instance BereavedMother RelationalAttribute)	ArabicCulture.kif 768-768	Bereaved mother is an instance of relational attribute

appearance as argument number 2

(termFormat ChineseLanguage BereavedMother "失去亲人的母亲")	domainEnglishFormat.kif 10801-10801
(termFormat ChineseTraditionalLanguage BereavedMother "失去親人的母親")	domainEnglishFormat.kif 10800-10800
(termFormat EnglishLanguage BereavedMother "bereaved mother")	domainEnglishFormat.kif 10799-10799

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

If bereaved mother is an attribute of an entity holds during a time interval,
then there exist another time interval and another entity such that the other time interval happens earlier than the time interval and the other entity is a mother of the entity holds during the other time interval and dead is an attribute of the other entity holds during the time interval

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

KB Term:			Term intersection

English Word: