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 16410-16412
(domain daughter 1 Organism) Merge.kif 16408-16408 Le nombre 1 argument de daughter est une instance de organisme
(domain daughter 2 Organism) Merge.kif 16409-16409 Le nombre 2 argument de daughter est une instance de organisme
(instance daughter BinaryPredicate) Merge.kif 16406-16406 daughter est une instance de pr�dicat binaire
(subrelation daughter parent) Merge.kif 16407-16407 daughter est une sous-relation de parent

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


(format ChineseLanguage daughter "%1 是 %2 的 daughter ") domainEnglishFormat.kif 3166-3166
(format ChineseTraditionalLanguage daughter "%1 是 %2 的 daughter ") domainEnglishFormat.kif 3165-3165
(format EnglishLanguage daughter "%1 is the daughter of %2") domainEnglishFormat.kif 3164-3164
(termFormat ChineseLanguage daughter "女儿") domainEnglishFormat.kif 18648-18648
(termFormat ChineseTraditionalLanguage daughter "女兒") domainEnglishFormat.kif 18647-18647
(termFormat EnglishLanguage daughter "daughter") domainEnglishFormat.kif 18646-18646

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


(=>
    (daughter ?CHILD ?PARENT)
    (attribute ?CHILD Female))		 Merge.kif 16414-16416

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


(<=>
    (niece ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (daughter ?N ?S))))		 Mid-level-ontology.kif 23072-23077 niece Woman and humain organisme organisme est un fr�re ou une soeur de humain daughter Woman and organisme
(=>
    (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 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 3.0 is open source software produced by Articulate Software and its partners