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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - daughter
daughter

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


(documentation daughter ChineseLanguage "这是女儿的概括关系。(daughter ?CHILD ?PARENT)的意思 是 ?CHILD 是 ?PARENT 的亲生女儿。") Merge.kif 21044-21045
(documentation daughter EnglishLanguage "The general relationship of daughterhood. (daughter ?CHILD ?PARENT) means that ?CHILD is the biological daughter of ?PARENT.") Merge.kif 21041-21043
(domain daughter 1 Organism) Merge.kif 21039-21039
(domain daughter 2 Organism) Merge.kif 21040-21040
(instance daughter BinaryPredicate) Merge.kif 21037-21037
(subrelation daughter parent) Merge.kif 21038-21038

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


(format ChineseLanguage daughter "%1 是 %2 的 daughter ") domainEnglishFormat.kif 3167-3167
(format ChineseTraditionalLanguage daughter "%1 是 %2 的 daughter ") domainEnglishFormat.kif 3166-3166
(format EnglishLanguage daughter "%1 is the daughter of %2") domainEnglishFormat.kif 3165-3165
(termFormat ChineseLanguage daughter "女儿") domainEnglishFormat.kif 18577-18577
(termFormat ChineseTraditionalLanguage daughter "女兒") domainEnglishFormat.kif 18576-18576
(termFormat EnglishLanguage daughter "daughter") domainEnglishFormat.kif 18575-18575

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


(=>
    (daughter ?CHILD ?PARENT)
    (attribute ?CHILD Female))
Merge.kif 21047-21049

consequent
-------------------------


(<=>
    (niece ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (daughter ?N ?S))))
Mid-level-ontology.kif 21020-21025
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Woman))
    (daughter ?CHILD ?PARENT))
Mid-level-ontology.kif 20927-20931
(=>
    (fathersBrothersDaughter ?P ?H)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (daughter ?UNC ?H))))
ArabicCulture.kif 651-657
(=>
    (fathersSistersDaughter ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (daughter ?AUN ?H))))
ArabicCulture.kif 699-705
(=>
    (mothersBrothersDaughter ?P ?H)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (daughter ?UNC ?H))))
ArabicCulture.kif 675-681
(=>
    (mothersSistersDaughter ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (daughter ?AUN ?H))))
ArabicCulture.kif 723-729


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners