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

Formal Language: 



KB Term:  Term intersection
English Word: 

  fathersBrothersDaughter

Sigma KEE - fathersBrothersDaughter
fathersBrothersDaughter

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


(documentation fathersBrothersDaughter EnglishLanguage "In Arabic: binot AlEam~. Female cousin on the father side, daughter of father's brother .") ArabicCulture.kif 649-650
(instance fathersBrothersDaughter BinaryPredicate) ArabicCulture.kif 647-647 fathers brothers daughter is an instance of binary predicate
(subrelation fathersBrothersDaughter familyRelation) ArabicCulture.kif 648-648 fathers brothers daughter is a subrelation of family relation

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


(format EnglishLanguage fathersBrothersDaughter "%1 is the father's brother's daughter of %2") domainEnglishFormat.kif 860-860
(termFormat EnglishLanguage fathersBrothersDaughter "fathers brothers daughter") domainEnglishFormat.kif 4316-4316 "fathers brothers daughter" is the printable form of fathers brothers daughter in english language

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


(=>
    (fathersBrothersDaughter ?P ?H)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (daughter ?UNC ?H))))
ArabicCulture.kif 651-657


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