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 15242-15244
(domain daughter 1 Organism) Merge.kif 15240-15240 The number 1 argument of daughter is an instance of organism
(domain daughter 2 Organism) Merge.kif 15241-15241 The number 2 argument of daughter is an instance of organism
(instance daughter BinaryPredicate) Merge.kif 15238-15238 daughter is an instance of binary predicate
(subrelation daughter parent) Merge.kif 15239-15239 daughter is a subrelation of parent

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 18571-18571
(termFormat ChineseTraditionalLanguage daughter "女兒") domainEnglishFormat.kif 18570-18570
(termFormat EnglishLanguage daughter "daughter") domainEnglishFormat.kif 18569-18569

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


(=>
    (daughter ?CHILD ?PARENT)
    (attribute ?CHILD Female))
Merge.kif 15246-15248

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


(<=>
    (niece ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (daughter ?N ?S))))
Mid-level-ontology.kif 21032-21037 A woman is the niece of a human if and only if there exists an organism such that the organism is a sibling of the human and the woman is the daughter of the organism
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Woman))
    (daughter ?CHILD ?PARENT))
Mid-level-ontology.kif 20939-20943
(=>
    (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