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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - mothersSistersSon
mothersSistersSon

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


(documentation mothersSistersSon EnglishLanguage "In Arabic: Aibon AlxaAlap. Son of mother's sister.") ArabicCulture.kif 724-725
(instance mothersSistersSon BinaryPredicate) ArabicCulture.kif 722-722
(subrelation mothersSistersSon familyRelation) ArabicCulture.kif 723-723

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


(format ChineseLanguage mothersSistersSon "%1 的 mother's sister's son 是 %2 ") domainEnglishFormat.kif 3910-3910
(format ChineseTraditionalLanguage mothersSistersSon "%1 的 mother's sister's son 是 %2 ") domainEnglishFormat.kif 3909-3909
(format EnglishLanguage mothersSistersSon "the mother's sister's son of %1 is %2") domainEnglishFormat.kif 3908-3908
(termFormat ChineseLanguage mothersSistersSon "母亲姐妹的儿子") domainEnglishFormat.kif 38715-38715
(termFormat ChineseTraditionalLanguage mothersSistersSon "母親姐妹的兒子") domainEnglishFormat.kif 38714-38714
(termFormat EnglishLanguage mothersSistersSon "mothers sisters son") domainEnglishFormat.kif 38713-38713

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


(=>
    (mothersSistersSon ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (son ?AUN ?H))))
ArabicCulture.kif 726-732


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