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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - fathersSistersSon
fathersSistersSon

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


(documentation fathersSistersSon EnglishLanguage "In Arabic: Aibon AlEam~ap. Son of father's sister.") ArabicCulture.kif 685-686
(instance fathersSistersSon BinaryPredicate) ArabicCulture.kif 683-683
(subrelation fathersSistersSon familyRelation) ArabicCulture.kif 684-684

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


(format ChineseLanguage fathersSistersSon "%1 是 %2 的father's sister's son ") domainEnglishFormat.kif 3427-3427
(format ChineseTraditionalLanguage fathersSistersSon "%1 是 %2 的father's sister's son ") domainEnglishFormat.kif 3426-3426
(format EnglishLanguage fathersSistersSon "%1 is the father's sister's son of %2") domainEnglishFormat.kif 3425-3425
(termFormat ChineseLanguage fathersSistersSon "父亲姐妹的儿子") domainEnglishFormat.kif 23398-23398
(termFormat ChineseTraditionalLanguage fathersSistersSon "父親姐妹的兒子") domainEnglishFormat.kif 23397-23397
(termFormat EnglishLanguage fathersSistersSon "fathers sisters son") domainEnglishFormat.kif 23396-23396

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


(=>
    (fathersSistersSon ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (son ?AUN ?H))))
ArabicCulture.kif 687-693


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