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 3906-3906
(format ChineseTraditionalLanguage mothersSistersDaughter "%1 的 mother's sister's daughter 是 %2 ") domainEnglishFormat.kif 3905-3905
(format EnglishLanguage mothersSistersDaughter "the mother's sister's daughter of %1 is %2") domainEnglishFormat.kif 3904-3904
(termFormat ChineseLanguage mothersSistersDaughter "母亲姐妹的女儿") domainEnglishFormat.kif 38687-38687
(termFormat ChineseTraditionalLanguage mothersSistersDaughter "母親姐妹的女兒") domainEnglishFormat.kif 38686-38686
(termFormat EnglishLanguage mothersSistersDaughter "mothers sisters daughter") domainEnglishFormat.kif 38685-38685

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