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 723-724
(instance mothersSistersDaughter BinaryPredicate) ArabicCulture.kif 721-721
(subrelation mothersSistersDaughter familyRelation) ArabicCulture.kif 722-722

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


(format ChineseLanguage mothersSistersDaughter "%1 的 mother's sister's daughter 是 %2 ") domainEnglishFormat.kif 3907-3907
(format ChineseTraditionalLanguage mothersSistersDaughter "%1 的 mother's sister's daughter 是 %2 ") domainEnglishFormat.kif 3906-3906
(format EnglishLanguage mothersSistersDaughter "the mother's sister's daughter of %1 is %2") domainEnglishFormat.kif 3905-3905
(termFormat ChineseLanguage mothersSistersDaughter "母亲姐妹的女儿") domainEnglishFormat.kif 38688-38688
(termFormat ChineseTraditionalLanguage mothersSistersDaughter "母親姐妹的女兒") domainEnglishFormat.kif 38687-38687
(termFormat EnglishLanguage mothersSistersDaughter "mothers sisters daughter") domainEnglishFormat.kif 38686-38686

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


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


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