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
-------------------------


s__documentation(s__daughter__m,s__ChineseLanguage,'"这是女儿的概括关系。(daughter ?CHILD ?PARENT)的意思 是 ?CHILD 是 ?PARENT 的亲生女儿。"')

chinese_format.kif 3695-3696
s__documentation(s__daughter__m,s__EnglishLanguage,'"The general relationship of daughterhood. (daughter ?CHILD ?PARENT) means that ?CHILD is the biological daughter of ?PARENT."')

Merge.kif 15766-15768
s__domain(s__daughter__m,n__1,s__Organism)

Merge.kif 15764-15764 The number 1 argument of daughter is an instance of organism
s__domain(s__daughter__m,n__2,s__Organism)

Merge.kif 15765-15765 The number 2 argument of daughter is an instance of organism
s__instance(s__daughter__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 15762-15762 daughter is an instance of binary predicate
s__subrelation(s__daughter__m,s__parent__m)

Merge.kif 15763-15763 daughter is a subrelation of parent

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


s__format(s__ChineseLanguage,s__daughter__m,'"%1 是 %2 的 daughter "')

domainEnglishFormat.kif 3171-3171
s__format(s__ChineseTraditionalLanguage,s__daughter__m,'"%1 是 %2 的 daughter "')

domainEnglishFormat.kif 3170-3170
s__format(s__EnglishLanguage,s__daughter__m,'"%1 is the daughter of %2"')

domainEnglishFormat.kif 3169-3169
s__termFormat(s__ChineseLanguage,s__daughter__m,'"女儿"')

domainEnglishFormat.kif 18639-18639
s__termFormat(s__ChineseTraditionalLanguage,s__daughter__m,'"女兒"')

domainEnglishFormat.kif 18638-18638
s__termFormat(s__EnglishLanguage,s__daughter__m,'"daughter"')

domainEnglishFormat.kif 18637-18637

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


( ! [V__CHILD,V__PARENT] :
   (((s__instance(V__CHILD,s__Organism) &
         s__instance(V__PARENT,s__Organism))
       =>
       ((s__daughter(V__CHILD,V__PARENT)
         =>
         (s__attribute(V__CHILD,s__Female)))))
   )
)

Merge.kif 15770-15772

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


( ! [V__H,V__N] :
   (((s__instance(V__H,s__Human) &
         s__instance(V__N,s__Woman))
       =>
       (((s__niece(V__N,V__H)
           =>
           ( ? [V__S] :
             ((s__instance(V__S,s__Organism) &
                 (s__sibling(V__S,V__H)
                 &
                 s__daughter(V__N,V__S))))))
     &
     (( ? [V__S] :
         ((s__instance(V__S,s__Organism) &
             (s__sibling(V__S,V__H)
             &
             s__daughter(V__N,V__S)))))
   =>
   s__niece(V__N,V__H)))))
)
)

Mid-level-ontology.kif 22213-22218 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
( ! [V__CHILD,V__PARENT] :
   ((s__instance(V__PARENT,s__Organism) =>
       (((s__parent(V__CHILD,V__PARENT)
           &
           s__instance(V__CHILD,s__Woman))
         =>
         (s__daughter(V__CHILD,V__PARENT)))))
)
)

Mid-level-ontology.kif 22123-22127
( ! [V__P,V__H] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__H,s__Organism))
       =>
       ((s__fathersBrothersDaughter(V__P,V__H)
         =>
         (( ? [V__F, V__UNC] :
             ((s__instance(V__F,s__Man) &
                 s__instance(V__UNC,s__Human) &
                 (s__father(V__P,V__F)
                 &
                 s__brother(V__F,V__UNC)
               &
               s__daughter(V__UNC,V__H)))))))))
)
)

ArabicCulture.kif 653-659
( ! [V__P,V__H] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__H,s__Organism))
       =>
       ((s__fathersSistersDaughter(V__P,V__H)
         =>
         (( ? [V__F, V__AUN] :
             ((s__instance(V__F,s__Woman) &
                 s__instance(V__AUN,s__Human) &
                 (s__father(V__P,V__F)
                 &
                 s__sister(V__F,V__AUN)
               &
               s__daughter(V__AUN,V__H)))))))))
)
)

ArabicCulture.kif 701-707
( ! [V__P,V__H] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__H,s__Organism))
       =>
       ((s__mothersBrothersDaughter(V__P,V__H)
         =>
         (( ? [V__M, V__UNC] :
             ((s__instance(V__M,s__Man) &
                 s__instance(V__UNC,s__Human) &
                 (s__mother(V__P,V__M)
                 &
                 s__brother(V__M,V__UNC)
               &
               s__daughter(V__UNC,V__H)))))))))
)
)

ArabicCulture.kif 677-683
( ! [V__P,V__H] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__H,s__Organism))
       =>
       ((s__mothersSistersDaughter(V__P,V__H)
         =>
         (( ? [V__M, V__AUN] :
             ((s__instance(V__M,s__Woman) &
                 s__instance(V__AUN,s__Human) &
                 (s__mother(V__P,V__M)
                 &
                 s__sister(V__M,V__AUN)
               &
               s__daughter(V__AUN,V__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