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 的亲生女儿。") chinese_format.kif 3695-3696
(documentation daughter EnglishLanguage "The general relationship of daughterhood. (daughter ?CHILD ?PARENT) means that ?CHILD is the biological daughter of ?PARENT.") Merge.kif 15316-15318
(domain daughter 1 Organism) Merge.kif 15314-15314
(domain daughter 2 Organism) Merge.kif 15315-15315
(instance daughter BinaryPredicate) Merge.kif 15312-15312
(subrelation daughter parent) Merge.kif 15313-15313

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


(format ChineseLanguage daughter "%1 是 %2 的 daughter ") domainEnglishFormat.kif 3171-3171
(format ChineseTraditionalLanguage daughter "%1 是 %2 的 daughter ") domainEnglishFormat.kif 3170-3170
(format EnglishLanguage daughter "%1 is the daughter of %2") domainEnglishFormat.kif 3169-3169
(termFormat ChineseLanguage daughter "女儿") domainEnglishFormat.kif 18639-18639
(termFormat ChineseTraditionalLanguage daughter "女兒") domainEnglishFormat.kif 18638-18638
(termFormat EnglishLanguage daughter "daughter") domainEnglishFormat.kif 18637-18637

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


(=>
    (daughter ?CHILD ?PARENT)
    (attribute ?CHILD Female))
Merge.kif 15320-15322

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


(<=>
    (niece ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (daughter ?N ?S))))
Mid-level-ontology.kif 19560-19565
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Woman))
    (daughter ?CHILD ?PARENT))
Mid-level-ontology.kif 19470-19474
(=>
    (fathersBrothersDaughter ?P ?H)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (daughter ?UNC ?H))))
ArabicCulture.kif 653-659
(=>
    (fathersSistersDaughter ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (daughter ?AUN ?H))))
ArabicCulture.kif 701-707
(=>
    (mothersBrothersDaughter ?P ?H)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (daughter ?UNC ?H))))
ArabicCulture.kif 677-683
(=>
    (mothersSistersDaughter ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (daughter ?AUN ?H))))
ArabicCulture.kif 725-731


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 3.0 is open source software produced by Articulate Software and its partners