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

Formal Language: 



KB Term:  Term intersection
English Word: 

  maternalAunt

Sigma KEE - maternalAunt
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 36479-36479
(termFormat ChineseTraditionalLanguage maternalAunt "母方的姑媽") domainEnglishFormat.kif 36478-36478
(termFormat EnglishLanguage maternalAunt "maternal aunt") domainEnglishFormat.kif 36477-36477

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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