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

Formal Language: 


KB Term:  Term intersection
English Word: 

  fathersSistersDaughter

Sigma KEE - fathersSistersDaughter
fathersSistersDaughter

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


(documentation fathersSistersDaughter EnglishLanguage "In Arabic: binot AlEam~ap. Daughter of father's sister.") ArabicCulture.kif 740-741
(domain fathersSistersDaughter 1 Organism) ArabicCulture.kif 738-738
(domain fathersSistersDaughter 2 Organism) ArabicCulture.kif 739-739
(instance fathersSistersDaughter BinaryPredicate) ArabicCulture.kif 736-736
(subrelation fathersSistersDaughter familyRelation) ArabicCulture.kif 737-737

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


(format ChineseLanguage fathersSistersDaughter "%1 是 %2 的 father's sister's daughter ") domainEnglishFormat.kif 3412-3412
(format ChineseTraditionalLanguage fathersSistersDaughter "%1 是 %2 的 father's sister's daughter ") domainEnglishFormat.kif 3411-3411
(format EnglishLanguage fathersSistersDaughter "%1 is the father's sister's daughter of %2") domainEnglishFormat.kif 3410-3410
(termFormat ChineseLanguage fathersSistersDaughter "父亲姐妹的女儿") domainEnglishFormat.kif 23389-23389
(termFormat ChineseTraditionalLanguage fathersSistersDaughter "父親姐妹的女兒") domainEnglishFormat.kif 23388-23388
(termFormat EnglishLanguage fathersSistersDaughter "fathers sisters daughter") domainEnglishFormat.kif 23387-23387

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


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


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