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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - fathersSistersDaughter

appearance as argument number 1

(documentation fathersSistersDaughter EnglishLanguage "In Arabic: binot AlEam~ap. Daughter of father's sister.") ArabicCulture.kif 697-698
(instance fathersSistersDaughter BinaryPredicate) ArabicCulture.kif 695-695 fathers sisters daughter is an instance of binary predicate
(subrelation fathersSistersDaughter familyRelation) ArabicCulture.kif 696-696 fathers sisters daughter is a subrelation of family relation

appearance as argument number 2

(format EnglishLanguage fathersSistersDaughter "%1 is the father's sister's daughter of %2") domainEnglishFormat.kif 863-863
(termFormat EnglishLanguage fathersSistersDaughter "fathers sisters daughter") domainEnglishFormat.kif 4319-4319 "fathers sisters daughter" is the printable form of fathers sisters daughter in english language


    (fathersSistersDaughter ?P ?H)
    (exists (?F ?AUN)
            (father ?P ?F)
            (sister ?F ?AUN)
            (daughter ?AUN ?H))))
ArabicCulture.kif 699-705

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