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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Birth
Birth(birth)
Bradley_method, Bradley_method_of_childbirth, Lamaze_method, Lamaze_method_of_childbirth, Leboyer_method, Leboyer_method_of_childbirth, Read_method, Read_method_of_childbirth, accouchement, active_birth, alternative_birth, alternative_birthing, be_born, birth, birthing, blessed_event, born, breech_birth, breech_delivery, breech_presentation, calve, calving, childbearing, childbirth, come_into_being, come_to_life, cradle, cub, cycle_of_rebirth, delivery, drop, fall, farrow, farrowing, fawn, foal, forceps_delivery, foreign-born, frank_breech, frank_breech_delivery, giving_birth, happy_event, hatch, hatched, hatching, have_young, kitten, labor, labour, lamb...

appearance as argument number 1
-------------------------


s__documentation(s__Birth,s__ChineseLanguage,'"这是出生的 Process。"')

chinese_format.kif 2904-2904
s__documentation(s__Birth,s__EnglishLanguage,'"The Process of being born."')

Merge.kif 9794-9794
s__externalImage(s__Birth,'"http://upload.wikimedia.org/wikipedia/commons/9/99/ Postpartum_baby3.jpg"')

pictureList.kif 5884-5884
s__subclass(s__Birth,s__OrganismProcess)

s__instance(s__OrganismProcess,s__SetOrClass)

s__instance(s__Birth,s__SetOrClass)

Merge.kif 9792-9792 Birth is a subclass of organism process
s__instance(s__Removing,s__SetOrClass)

s__instance(s__Birth,s__SetOrClass)

s__subclass(s__Birth,s__Removing)

Mid-level-ontology.kif 23090-23090 Birth is a subclass of removing

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


s__relatedInternalConcept(s__BiologicalConception,s__Birth)

Mid-level-ontology.kif 23125-23125 Biological conception is internally related to birth
s__termFormat(s__ChineseLanguage,s__Birth,'"出生"')

chinese_format.kif 1076-1076
s__termFormat(s__EnglishLanguage,s__Birth,'"birth"')

english_format.kif 1368-1368

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17480-17486
No TPTP formula. May not be expressible in strict first order. Merge.kif 17458-17464
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23101-23110
( ! [V__AGENT,V__BIRTH] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__BIRTH,s__Birth) &
             s__experiencer(V__BIRTH,V__AGENT))
         =>
         (( ? [V__DEATH] :
             ((s__instance(V__DEATH,s__Death) &
                 s__experiencer(V__DEATH,V__AGENT))))))))
)
)

Merge.kif 9799-9806
( ! [V__B] :
   ((s__instance(V__B,s__Birth) =>
       (( ? [V__M, V__BABY] :
           ((s__instance(V__M,s__Object) &
               s__instance(V__BABY,s__Object) &
               (s__attribute(V__M,s__Female) &
                 s__origin(V__B,V__M)
               &
               s__objectTransferred(V__B,V__BABY)
             &
             s__attribute(V__BABY,s__NonFullyFormed)))))))
)
)

Mid-level-ontology.kif 23092-23099

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


No TPTP formula. May not be expressible in strict first order. People.kif 104-117 The births per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 253-277 The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to a number and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 411-442 The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 323-353 The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 367-398 The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
( ! [V__P,V__D] :
   (((s__instance(V__P,s__Human) &
         s__instance(V__D,s__Day))
       =>
       ((s__birthdate(V__P,V__D)
         =>
         (( ? [V__B] :
             ((s__instance(V__B,s__Birth) &
                 s__experiencer(V__B,V__P)
               &
               s__date(V__B,V__D))))))))
)
)

Mid-level-ontology.kif 23294-23300
( ! [V__PLACE,V__INDIV] :
   (((s__instance(V__PLACE,s__Object) &
         s__instance(V__INDIV,s__Animal))
       =>
       ((s__birthplace(V__INDIV,V__PLACE)
         =>
         (( ? [V__BIRTH] :
             ((s__instance(V__BIRTH,s__Birth) &
                 s__experiencer(V__BIRTH,V__INDIV)
               &
               s__eventLocated(V__BIRTH,V__PLACE))))))))
)
)

Mid-level-ontology.kif 23280-23286
( ! [V__BROOD] :
   ((s__instance(V__BROOD,s__Brood) =>
       (( ? [V__TIME] :
           ((s__instance(V__TIME,s__TimeInterval) &
               ( ! [V__MEMBER] :
                 ((s__instance(V__MEMBER,s__Agent) =>
                     ((s__member(V__MEMBER,V__BROOD)
                       =>
                       (( ? [V__BIRTH] :
                           ((s__instance(V__BIRTH,s__Birth) &
                               s__experiencer(V__BIRTH,V__MEMBER)
                             &
                             (V__TIME = s__WhenFn(V__BIRTH))))))))))))))))
)
)

Mid-level-ontology.kif 7154-7164
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4730-4736
( ! [V__ORGANISM] :
   ((s__instance(V__ORGANISM,s__Organism) =>
       (( ? [V__BIRTH] :
           ((s__instance(V__BIRTH,s__Birth) &
               s__experiencer(V__BIRTH,V__ORGANISM))))))
   )
)

Merge.kif 13709-13714

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 462-472 The children born per woman of a geopolitical area and the year an integer is equal to the number of instances in the class described by a symbolic string


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