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 601-602
(domain maternalAunt 1 Organism) ArabicCulture.kif 599-599
(domain maternalAunt 2 Organism) ArabicCulture.kif 600-600
(instance maternalAunt BinaryPredicate) ArabicCulture.kif 597-597
(subrelation maternalAunt familyRelation) ArabicCulture.kif 598-598

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


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

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


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


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