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

Formal Language: 



KB Term:  Term intersection
English Word: 

  mothersSistersDaughter

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 mothersSistersDaughter ist ein fall von BinaryPredicate %n{nicht}
(subrelation mothersSistersDaughter familyRelation) ArabicCulture.kif 735-735 mothersSistersDaughter ist eine teilrelation von familyRelation

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 38705-38705
(termFormat ChineseTraditionalLanguage mothersSistersDaughter "母親姐妹的女兒") domainEnglishFormat.kif 38704-38704
(termFormat EnglishLanguage mothersSistersDaughter "mothers sisters daughter") domainEnglishFormat.kif 38703-38703

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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