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 567-568
(instance paternalAunt BinaryPredicate) ArabicCulture.kif 565-565
(subrelation paternalAunt familyRelation) ArabicCulture.kif 566-566

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


(format ChineseLanguage paternalAunt "%1 的 paternal aunt 是 %2 ") domainEnglishFormat.kif 4095-4095
(format ChineseTraditionalLanguage paternalAunt "%1 的 paternal aunt 是 %2 ") domainEnglishFormat.kif 4094-4094
(format EnglishLanguage paternalAunt "the paternal aunt of %1 is %2") domainEnglishFormat.kif 4093-4093
(termFormat ChineseLanguage paternalAunt "父亲阿姨") domainEnglishFormat.kif 44743-44743
(termFormat ChineseTraditionalLanguage paternalAunt "父親阿姨") domainEnglishFormat.kif 44742-44742
(termFormat EnglishLanguage paternalAunt "paternal aunt") domainEnglishFormat.kif 44741-44741

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


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


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