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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - mothersSistersDaughter
mothersSistersDaughter

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


(documentation mothersSistersDaughter EnglishLanguage "In Arabic: binot AlxaAlap. Daughter of mother's sister.") ArabicCulture.kif 736-737
(instance mothersSistersDaughter BinaryPredicate) ArabicCulture.kif 734-734
(subrelation mothersSistersDaughter familyRelation) ArabicCulture.kif 735-735

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


(format ChineseLanguage mothersSistersDaughter "%1 的 mother's sister's daughter 是 %2 ") domainEnglishFormat.kif 3902-3902
(format ChineseTraditionalLanguage mothersSistersDaughter "%1 的 mother's sister's daughter 是 %2 ") domainEnglishFormat.kif 3901-3901
(format EnglishLanguage mothersSistersDaughter "the mother's sister's daughter of %1 is %2") domainEnglishFormat.kif 3900-3900
(termFormat ChineseLanguage mothersSistersDaughter "母亲姐妹的女儿") domainEnglishFormat.kif 38703-38703
(termFormat ChineseTraditionalLanguage mothersSistersDaughter "母親姐妹的女兒") domainEnglishFormat.kif 38702-38702
(termFormat EnglishLanguage mothersSistersDaughter "mothers sisters daughter") domainEnglishFormat.kif 38701-38701

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


(=>
    (mothersSistersDaughter ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (daughter ?AUN ?H))))
ArabicCulture.kif 738-744


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