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 700-701
(instance fathersSistersSon BinaryPredicate) ArabicCulture.kif 698-698
(subrelation fathersSistersSon familyRelation) ArabicCulture.kif 699-699

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


(format ChineseLanguage fathersSistersSon "%1 是 %2 的father's sister's son ") domainEnglishFormat.kif 3422-3422
(format ChineseTraditionalLanguage fathersSistersSon "%1 是 %2 的father's sister's son ") domainEnglishFormat.kif 3421-3421
(format EnglishLanguage fathersSistersSon "%1 is the father's sister's son of %2") domainEnglishFormat.kif 3420-3420
(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 702-708


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