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 712-713
(instance fathersSistersDaughter BinaryPredicate) ArabicCulture.kif 710-710 fathersSistersDaughter e' uma instancia de Predicado Binario
(subrelation fathersSistersDaughter familyRelation) ArabicCulture.kif 711-711 fathersSistersDaughter e' uma sub-relacao de familyRelation

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 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