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

Formal Language: 



KB Term:  Term intersection
English Word: 

  daughter

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 15252-15254
(domain daughter 1 Organism) Merge.kif 15250-15250 The number 1 argument of daughter is an instance of organism
(domain daughter 2 Organism) Merge.kif 15251-15251 The number 2 argument of daughter is an instance of organism
(instance daughter BinaryPredicate) Merge.kif 15248-15248 daughter is an instance of binary predicate
(subrelation daughter parent) Merge.kif 15249-15249 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 15256-15258

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


(<=>
    (niece ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (daughter ?N ?S))))
Mid-level-ontology.kif 21084-21089 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 20991-20995
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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