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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - maternalAunt
maternalAunt

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


(documentation maternalAunt EnglishLanguage "In Arabic: xaAlap. Mother's sister, maternal aunt.") ArabicCulture.kif 578-579
(instance maternalAunt BinaryPredicate) ArabicCulture.kif 576-576
(subrelation maternalAunt familyRelation) ArabicCulture.kif 577-577

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


(format ChineseLanguage maternalAunt "%1 的 maternal aunt 是 %2 ") domainEnglishFormat.kif 3823-3823
(format ChineseTraditionalLanguage maternalAunt "%1 的 maternal aunt 是 %2 ") domainEnglishFormat.kif 3822-3822
(format EnglishLanguage maternalAunt "the maternal aunt of %1 is %2") domainEnglishFormat.kif 3821-3821
(termFormat ChineseLanguage maternalAunt "母方的姑妈") domainEnglishFormat.kif 36394-36394
(termFormat ChineseTraditionalLanguage maternalAunt "母方的姑媽") domainEnglishFormat.kif 36393-36393
(termFormat EnglishLanguage maternalAunt "maternal aunt") domainEnglishFormat.kif 36392-36392

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


(=>
    (maternalAunt ?P ?AUN)
    (exists (?M)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN))))
ArabicCulture.kif 580-585


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