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 16293-16295
(domain daughter 1 Organism) Merge.kif 16291-16291
(domain daughter 2 Organism) Merge.kif 16292-16292
(instance daughter BinaryPredicate) Merge.kif 16289-16289
(subrelation daughter parent) Merge.kif 16290-16290

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


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

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


(=>
    (daughter ?CHILD ?PARENT)
    (attribute ?CHILD Female))
Merge.kif 16297-16299

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


(<=>
    (niece ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (daughter ?N ?S))))
Mid-level-ontology.kif 23072-23077
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Woman))
    (daughter ?CHILD ?PARENT))
Mid-level-ontology.kif 22982-22986
(=>
    (fathersBrothersDaughter ?P ?H)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (daughter ?UNC ?H))))
ArabicCulture.kif 666-672
(=>
    (fathersSistersDaughter ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (daughter ?AUN ?H))))
ArabicCulture.kif 714-720
(=>
    (mothersBrothersDaughter ?P ?H)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (daughter ?UNC ?H))))
ArabicCulture.kif 690-696
(=>
    (mothersSistersDaughter ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (daughter ?AUN ?H))))
ArabicCulture.kif 738-744


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