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

Formal Language: 



KB Term:  Term intersection
English Word: 

  paternalAunt

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 paternal aunt is an instance of binary predicate
(subrelation paternalAunt familyRelation) ArabicCulture.kif 566-566 paternal aunt is a subrelation of family relation

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


(format EnglishLanguage paternalAunt "the paternal aunt of %1 is %2") domainEnglishFormat.kif 1032-1032
(termFormat EnglishLanguage paternalAunt "paternal aunt") domainEnglishFormat.kif 7879-7879 "paternal aunt" is the printable form of paternal aunt in english language

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners