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 582-583
(instance paternalAunt BinaryPredicate) ArabicCulture.kif 580-580 paternalAunt2進述語instance では %n
(subrelation paternalAunt familyRelation) ArabicCulture.kif 581-581 paternalAuntfamilyRelationsubrelation では %n

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


(format ChineseLanguage paternalAunt "%1 的 paternal aunt 是 %2 ") domainEnglishFormat.kif 4090-4090
(format ChineseTraditionalLanguage paternalAunt "%1 的 paternal aunt 是 %2 ") domainEnglishFormat.kif 4089-4089
(format EnglishLanguage paternalAunt "the paternal aunt of %1 is %2") domainEnglishFormat.kif 4088-4088
(termFormat ChineseLanguage paternalAunt "父亲阿姨") domainEnglishFormat.kif 44754-44754
(termFormat ChineseTraditionalLanguage paternalAunt "父親阿姨") domainEnglishFormat.kif 44753-44753
(termFormat EnglishLanguage paternalAunt "paternal aunt") domainEnglishFormat.kif 44752-44752

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


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


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