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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - maternalUncle
maternalUncle

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


(documentation maternalUncle EnglishLanguage "In Arabic: xaAl. Mother's brother, maternal uncle.") ArabicCulture.kif 556-557
(instance maternalUncle BinaryPredicate) ArabicCulture.kif 554-554 maternal uncle is an instance of binary predicate
(subrelation maternalUncle familyRelation) ArabicCulture.kif 555-555 maternal uncle is a subrelation of family relation

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


(format ChineseLanguage maternalUncle "%1 的 maternal uncle 是 %2 ") domainEnglishFormat.kif 3827-3827
(format ChineseTraditionalLanguage maternalUncle "%1 的 maternal uncle 是 %2 ") domainEnglishFormat.kif 3826-3826
(format EnglishLanguage maternalUncle "the maternal uncle of %1 is %2") domainEnglishFormat.kif 3825-3825
(termFormat ChineseLanguage maternalUncle "母方的叔叔") domainEnglishFormat.kif 36379-36379
(termFormat ChineseTraditionalLanguage maternalUncle "母方的叔叔") domainEnglishFormat.kif 36378-36378
(termFormat EnglishLanguage maternalUncle "maternal uncle") domainEnglishFormat.kif 36377-36377

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


(=>
    (maternalUncle ?P ?UNC)
    (exists (?M)
        (and
            (mother ?P ?M)
            (brother ?UNC ?M))))
ArabicCulture.kif 558-563


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners