TreeView Knowledge Base Browser - paternalAunt

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

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

If the paternal aunt of an organism is a human,
then there exists a woman such that the woman is a father of the organism and the woman is the sister of the human

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