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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - fathersSistersDaughter
fathersSistersDaughter

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


(documentation fathersSistersDaughter EnglishLanguage "In Arabic: binot AlEam~ap. Daughter of father's sister.") ArabicCulture.kif 712-713
(instance fathersSistersDaughter BinaryPredicate) ArabicCulture.kif 710-710 fathers sisters daughter is an instance of binary predicate
(subrelation fathersSistersDaughter familyRelation) ArabicCulture.kif 711-711 fathers sisters daughter is a subrelation of family relation

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


(format ChineseLanguage fathersSistersDaughter "%1 是 %2 的 father's sister's daughter ") domainEnglishFormat.kif 3414-3414
(format ChineseTraditionalLanguage fathersSistersDaughter "%1 是 %2 的 father's sister's daughter ") domainEnglishFormat.kif 3413-3413
(format EnglishLanguage fathersSistersDaughter "%1 is the father's sister's daughter of %2") domainEnglishFormat.kif 3412-3412
(termFormat ChineseLanguage fathersSistersDaughter "父亲姐妹的女儿") domainEnglishFormat.kif 23386-23386
(termFormat ChineseTraditionalLanguage fathersSistersDaughter "父親姐妹的女兒") domainEnglishFormat.kif 23385-23385
(termFormat EnglishLanguage fathersSistersDaughter "fathers sisters daughter") domainEnglishFormat.kif 23384-23384

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


(=>
    (fathersSistersDaughter ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (daughter ?AUN ?H))))
ArabicCulture.kif 714-720


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