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 16620-16621
(documentation daughter EnglishLanguage "The general relationship of daughterhood. (daughter ?CHILD ?PARENT) means that ?CHILD is the biological daughter of ?PARENT.") Merge.kif 16617-16619
(domain daughter 1 Organism) Merge.kif 16615-16615
(domain daughter 2 Organism) Merge.kif 16616-16616
(instance daughter BinaryPredicate) Merge.kif 16613-16613
(subrelation daughter parent) Merge.kif 16614-16614

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


(format EnglishLanguage daughter "%1 is the daughter of %2") domainEnglishFormat.kif 801-801
(termFormat EnglishLanguage daughter "daughter") domainEnglishFormat.kif 3529-3529

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


(=>
    (daughter ?CHILD ?PARENT)
    (attribute ?CHILD Female))
Merge.kif 16623-16625

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


(<=>
    (niece ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (daughter ?N ?S))))
Mid-level-ontology.kif 20988-20993
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Woman))
    (daughter ?CHILD ?PARENT))
Mid-level-ontology.kif 20895-20899
(=>
    (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