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 697-698
(instance fathersSistersDaughter BinaryPredicate) ArabicCulture.kif 695-695
(subrelation fathersSistersDaughter familyRelation) ArabicCulture.kif 696-696

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


(format ChineseLanguage fathersSistersDaughter "%1 是 %2 的 father's sister's daughter ") domainEnglishFormat.kif 3419-3419
(format ChineseTraditionalLanguage fathersSistersDaughter "%1 是 %2 的 father's sister's daughter ") domainEnglishFormat.kif 3418-3418
(format EnglishLanguage fathersSistersDaughter "%1 is the father's sister's daughter of %2") domainEnglishFormat.kif 3417-3417
(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 699-705


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