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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - maternalAunt

appearance as argument number 1

(documentation maternalAunt EnglishLanguage "In Arabic: xaAlap. Mother's sister, maternal aunt.") ArabicCulture.kif 593-594
(instance maternalAunt BinaryPredicate) ArabicCulture.kif 591-591 maternalAunt est une instance de pr�dicat binaire
(subrelation maternalAunt familyRelation) ArabicCulture.kif 592-592 maternalAunt est une sous-relation de familyRelation

appearance as argument number 2

(format ChineseLanguage maternalAunt "%1 的 maternal aunt 是 %2 ") domainEnglishFormat.kif 3822-3822
(format ChineseTraditionalLanguage maternalAunt "%1 的 maternal aunt 是 %2 ") domainEnglishFormat.kif 3821-3821
(format EnglishLanguage maternalAunt "the maternal aunt of %1 is %2") domainEnglishFormat.kif 3820-3820
(termFormat ChineseLanguage maternalAunt "母方的姑妈") domainEnglishFormat.kif 36488-36488
(termFormat ChineseTraditionalLanguage maternalAunt "母方的姑媽") domainEnglishFormat.kif 36487-36487
(termFormat EnglishLanguage maternalAunt "maternal aunt") domainEnglishFormat.kif 36486-36486


    (maternalAunt ?P ?AUN)
    (exists (?M)
            (mother ?P ?M)
            (sister ?M ?AUN))))
ArabicCulture.kif 595-600

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