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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - paternalAunt
paternalAunt

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


(documentation paternalAunt EnglishLanguage "In Arabic: Eam~ap. Father's sister, paternal aunt.") ArabicCulture.kif 588-589
(domain paternalAunt 1 Organism) ArabicCulture.kif 586-586
(domain paternalAunt 2 Organism) ArabicCulture.kif 587-587
(instance paternalAunt BinaryPredicate) ArabicCulture.kif 584-584
(subrelation paternalAunt familyRelation) ArabicCulture.kif 585-585

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


(format ChineseLanguage paternalAunt "%1 的 paternal aunt 是 %2 ") domainEnglishFormat.kif 4094-4094
(format ChineseTraditionalLanguage paternalAunt "%1 的 paternal aunt 是 %2 ") domainEnglishFormat.kif 4093-4093
(format EnglishLanguage paternalAunt "the paternal aunt of %1 is %2") domainEnglishFormat.kif 4092-4092
(termFormat ChineseLanguage paternalAunt "父亲阿姨") domainEnglishFormat.kif 44756-44756
(termFormat ChineseTraditionalLanguage paternalAunt "父親阿姨") domainEnglishFormat.kif 44755-44755
(termFormat EnglishLanguage paternalAunt "paternal aunt") domainEnglishFormat.kif 44754-44754

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


(=>
    (paternalAunt ?P ?AUN)
    (exists (?F)
        (and
            (father ?P ?F)
            (sister ?F ?AUN))))
ArabicCulture.kif 590-595


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