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 588-589
(domain paternalAunt 1 Organism) ArabicCulture.kif 586-586 The number 1 argument of paternal aunt is an instance of organism
(domain paternalAunt 2 Organism) ArabicCulture.kif 587-587 The number 2 argument of paternal aunt is an instance of organism
(instance paternalAunt BinaryPredicate) ArabicCulture.kif 584-584 paternal aunt is an instance of binary predicate
(subrelation paternalAunt familyRelation) ArabicCulture.kif 585-585 paternal aunt is a subrelation of family relation

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 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