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 726-727
(domain fathersSistersSon 1 Organism) ArabicCulture.kif 724-724
(domain fathersSistersSon 2 Organism) ArabicCulture.kif 725-725
(instance fathersSistersSon BinaryPredicate) ArabicCulture.kif 722-722
(subrelation fathersSistersSon familyRelation) ArabicCulture.kif 723-723

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


(format ChineseLanguage fathersSistersSon "%1 是 %2 的father's sister's son ") domainEnglishFormat.kif 3420-3420
(format ChineseTraditionalLanguage fathersSistersSon "%1 是 %2 的father's sister's son ") domainEnglishFormat.kif 3419-3419
(format EnglishLanguage fathersSistersSon "%1 is the father's sister's son of %2") domainEnglishFormat.kif 3418-3418
(termFormat ChineseLanguage fathersSistersSon "父亲姐妹的儿子") domainEnglishFormat.kif 23401-23401
(termFormat ChineseTraditionalLanguage fathersSistersSon "父親姐妹的兒子") domainEnglishFormat.kif 23400-23400
(termFormat EnglishLanguage fathersSistersSon "fathers sisters son") domainEnglishFormat.kif 23399-23399

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


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


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