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

Formal Language: 



KB Term:  Term intersection
English Word: 

  paternalUncle

Sigma KEE - paternalUncle
paternalUncle

appearance as argument number 1
-------------------------


(documentation paternalUncle EnglishLanguage "In Arabic: Eam~. Father's brother, paternal uncle.") ArabicCulture.kif 547-548
(instance paternalUncle BinaryPredicate) ArabicCulture.kif 545-545
(subrelation paternalUncle familyRelation) ArabicCulture.kif 546-546

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


(format ChineseLanguage paternalUncle "%1 的 paternal uncle 是 %2 ") domainEnglishFormat.kif 4099-4099
(format ChineseTraditionalLanguage paternalUncle "%1 的 paternal uncle 是 %2 ") domainEnglishFormat.kif 4098-4098
(format EnglishLanguage paternalUncle "the paternal uncle of %1 is %2") domainEnglishFormat.kif 4097-4097
(termFormat ChineseLanguage paternalUncle "父亲的叔叔") domainEnglishFormat.kif 44737-44737
(termFormat ChineseTraditionalLanguage paternalUncle "父親的叔叔") domainEnglishFormat.kif 44736-44736
(termFormat EnglishLanguage paternalUncle "paternal uncle") domainEnglishFormat.kif 44735-44735

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


(=>
    (paternalUncle ?P ?UNC)
    (exists (?F)
        (and
            (father ?P ?F)
            (brother ?F ?UNC))))
ArabicCulture.kif 549-554


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