Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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__subclass(s__Birth,s__OrganismProcess)

 Merge.kif 10416-10416 Birth is a subclass of organism process
s__subclass(s__Birth,s__Removing)

 Merge.kif 10418-10418 Birth is a subclass of removing
s__documentation(s__Birth, s__EnglishLanguage, "The Process of being born_") Merge.kif 10420-10420 Birth is a subclass of removing
s__externalImage(s__Birth,"http:
//upload.wikimedia.org/wikipedia/commons/9/99/Postpartum_baby3.jpg")

 pictureList.kif 5882-5882 Birth is a subclass of removing

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


s__relatedInternalConcept(s__BiologicalConception,s__Birth)

 Mid-level-ontology.kif 26326-26326 Biological conception is internally related to birth
s__termFormat(s__EnglishLanguage, s__Birth, "birth") english_format.kif 1367-1367 Biological conception is internally related to birth

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


! [V__AGENT,V__BIRTH] :
((s__instance(V__AGENT,s__AutonomousAgent) =>
     ((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 10425-10432 If X is an instance of birth and Y experiences X, then there exists Z such that Z is an instance of death and Y experiences Z
! [V__BIRTH : $i,V__BW : $i,V__ORG : $i,V__TIME : $i] : (((s__holdsDuring(V__TIME, s__attribute(V__ORG, s__Larval)) & s__instance(V__BIRTH, s__Birth) & V__BW = s__WhenFn(V__BIRTH) & s__experiencer(V__BIRTH, V__ORG)) => s__meetsTemporally(V__BW, V__TIME))) Merge.kif 18522-18528 If larval is an attribute of X holds during Y, Z is an instance of birth, equal W and the time of existence of Z, and X experiences Z, then W meets Y
! [V__BIRTH : $i,V__BW : $i,V__ORG : $i,V__TIME : $i] : (((s__holdsDuring(V__TIME, s__attribute(V__ORG, s__Embryonic)) & s__instance(V__BIRTH, s__Birth) & V__BW = s__WhenFn(V__BIRTH) & s__experiencer(V__BIRTH, V__ORG)) => ~(s__overlapsTemporally(V__TIME, V__BW)))) Merge.kif 18544-18550 If embryonic is an attribute of X holds during Y, Z is an instance of birth, equal W and the time of existence of Z, and X experiences Z, then W doesn't overlap Y
! [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 26293-26300 If X is an instance of birth, then there exist Y, Z such that female is an attribute of Y, X originates at Y, the object transferred in X is Z, and non fully formed is an attribute of Z
! [V__B : $i,V__F : $i] : (((s__instance(V__B, s__Birth) & s__origin(V__B, V__F)) => ( ? [V__Z:$i, V__T:$i] : ((s__instance(V__Z, s__Zygote) & s__earlier(V__T, s__WhenFn(V__B)) & s__holdsDuring(V__T, s__located(V__Z, V__F))))))) Mid-level-ontology.kif 26302-26311 If X is an instance of birth and X originates at Y, then there exist Z, W such that Z is an instance of zygote, W happens earlier than the time of existence of X, and Z is located at Y holds during W
! [V__A : $i,V__B : $i,V__TEXT : $i] : (((s__instance(V__TEXT, s__BirthCertificate) & s__instance(V__B, s__Birth) & s__instance(V__A, s__Human) & s__experiencer(V__B, V__A)) => s__containsFormula(V__TEXT, ( ? [V__DAY:$i, V__P:$i, V__N:$i] : ((s__birthdate(V__A, V__DAY) & s__instance(V__DAY, s__Day) & s__birthplace(V__A, V__P) & s__instance(V__P, s__GeographicArea) & s__represents(V__N, V__A) & s__instance(V__N, s__Name))))))) Biography.kif 256-270 If X is an instance of birth certificate, Y is an instance of birth, Z is an instance of human, and Z experiences Y, then All of the following hold: (1) X contains the formula there exist W, V (2) U such that W is a birthdate of Z (3) W is an instance of day (4) V is a birthplace of Z (5) V is an instance of geographic area (6) U expresses Z (7) U is an instance of name
! [V__AREA : $i,V__BIRTH : $i,V__BIRTHCOUNT : $int,V__INFANT : $i,V__REALNUMBER : $real,V__THOUSANDS : $real,V__Y : $int,V__YEAR : $i] : (((s__DivisionFn(s__PopulationFn(V__AREA), 1000) = V__THOUSANDS & V__BIRTHCOUNT = s__CardinalityFn(s__KappaFn(V__BIRTH, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INFANT) & s__instance(V__INFANT, s__Human) & s__during(s__WhenFn(V__BIRTH), V__YEAR) & s__WhereFn(V__BIRTH, s__WhenFn(V__BIRTH)) = V__AREA))) & s__DivisionFn(V__BIRTHCOUNT, V__THOUSANDS) = V__REALNUMBER) => (s__instance(V__YEAR, s__YearFn(V__Y)) & s__BirthsPerThousandFn(V__AREA, V__YEAR) = V__REALNUMBER))) People.kif 99-114 If equal the population of X, 1000, and Y, equal Z and the number of instances in the class described by W, and equal Z, Y, and V, then U is an instance of the year T and equal the births per thousand of X, U, and V

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


! [V__ORGANISM] :
((s__instance(V__ORGANISM,s__Organism) =>
     (? [V__BIRTH] :
       ((s__instance(V__BIRTH,s__Birth) &
           s__experiencer(V__BIRTH,V__ORGANISM)))))
)

 Merge.kif 14674-14679 If X is an instance of organism, then there exists Y such that Y is an instance of birth and X experiences Y
! [V__NEST : $i] : ((s__instance(V__NEST, s__Nest) => s__hasPurpose(V__NEST, ( ? [V__BIRTH:$i] : ((s__instance(V__BIRTH, s__Birth) & s__eventLocated(V__BIRTH, V__NEST))))))) Mid-level-ontology.kif 6126-6132 If X is an instance of nest, then X has the purpose there exists Y such that Y is an instance of birth and Y is located at X
! [V__BROOD] :
((s__instance(V__BROOD,s__Brood) =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimeInterval) &
           (! [V__MEMBER] :
             ((s__instance(V__MEMBER,s__AutonomousAgent) =>
                 (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 8823-8833 If X is an instance of brood, then there exists Y such that Z Z is a member of Xthere exists W such that W is an instance of birth, Z experiences W, equal Y, and the time of existence of W
! [V__INDIV,V__PLACE] :
(((s__instance(V__INDIV,s__Animal) &
       s__instance(V__PLACE,s__Object))
     =>
     (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 26540-26546 If X is a birthplace of Y, then there exists Z such that Z is an instance of birth, Y experiences Z, and Z is located at X
! [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 26554-26560 If X is a birthdate of Y, then there exists Z such that Z is an instance of birth, Y experiences Z, and date of Z is X
! [V__TEXT : $i] : ((s__instance(V__TEXT, s__BirthCertificate) => s__hasPurpose(V__TEXT, ( ? [V__B:$i, V__A:$i] : ((s__instance(V__B, s__Birth) & s__instance(V__A, s__Human) & s__experiencer(V__B, V__A) & s__represents(V__TEXT, V__B))))))) Biography.kif 246-254 If X is an instance of birth certificate, then X has the purpose there exist Y, Z such that Y is an instance of birth, Z is an instance of human, Z experiences Y, and X expresses Y
! [V__AREA : $i,V__BIRTH : $i,V__BIRTHCOUNT : $int,V__INFANT : $i,V__REALNUMBER : $real,V__THOUSANDS : $real,V__Y : $int,V__YEAR : $i] : (((s__instance(V__YEAR, s__YearFn(V__Y)) & s__BirthsPerThousandFn(V__AREA, V__YEAR) = V__REALNUMBER) => (s__DivisionFn(s__PopulationFn(V__AREA), 1000) = V__THOUSANDS & V__BIRTHCOUNT = s__CardinalityFn(s__KappaFn(V__BIRTH, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INFANT) & s__instance(V__INFANT, s__Human) & s__during(s__WhenFn(V__BIRTH), V__YEAR) & s__WhereFn(V__BIRTH, s__WhenFn(V__BIRTH)) = V__AREA))) & s__DivisionFn(V__BIRTHCOUNT, V__THOUSANDS) = V__REALNUMBER))) People.kif 82-97 If X is an instance of the year Y and equal the births per thousand of Z, X, and W, then equal the population of Z, 1000, and V, equal U and the number of instances in the class described by T, and equal U, V, and W
! [V__AGE : $int,V__AREA : $i,V__BIRTH : $i,V__BIRTHCOUNT : $int,V__DEATH : $i,V__INFANT : $i,V__INFANTDEATHCOUNT : $int,V__REALNUMBER : $real,V__THOUSANDSOFBIRTHS : $real,V__Y : $int,V__YEAR : $i] : (((s__instance(V__YEAR, s__YearFn(V__Y)) & s__DeathsPerThousandLiveBirthsFn(V__AREA, V__YEAR) = V__REALNUMBER) => (V__BIRTHCOUNT = s__CardinalityFn(s__KappaFn(V__BIRTH, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INFANT) & s__instance(V__INFANT, s__Human) & s__during(s__WhenFn(V__BIRTH), V__YEAR) & s__WhereFn(V__BIRTH, s__WhenFn(V__BIRTH)) = V__AREA))) & s__DivisionFn(V__BIRTHCOUNT, 1000) = V__THOUSANDSOFBIRTHS & V__INFANTDEATHCOUNT = s__CardinalityFn(s__KappaFn(V__DEATH, (s__instance(V__DEATH, s__Death) & s__experiencer(V__DEATH, V__INFANT) & s__instance(V__INFANT, s__Human) & s__age(V__INFANT, s__MeasureFn(V__AGE, s__YearDuration)) & ($less(V__AGE,1)) & s__during(s__WhenFn(V__DEATH), V__YEAR) & s__WhereFn(V__DEATH, s__WhenFn(V__DEATH)) = V__AREA))) & s__DivisionFn(V__INFANTDEATHCOUNT, V__THOUSANDSOFBIRTHS) = V__REALNUMBER))) People.kif 272-298 If X is an instance of the year Y and equal the deaths per thousand live births of Z, X, and W, then equal V and the number of instances in the class described by U, equal V, 1000, and T, equal S and the number of instances in the class described by R, and equal S, T, and W
! [V__AREA : $i,V__REALNUMBER : $real,V__Y : $int,V__YEAR : $i] : (((s__instance(V__YEAR, s__YearFn(V__Y)) & s__LifeExpectancyAtBirthFn(V__AREA, V__YEAR) = V__REALNUMBER) => ( ? [V__LIST:$i, V__COUNT:$int, V__LIFEEXPECTANCYAGE:$real, V__BIRTH:$i, V__INDIVIDUAL:$i, V__DEATH:$i] : ((s__instance(V__LIST, s__List) & s__instance(s__ListLengthFn(V__LIST),V__COUNT) & ( ! [V__LISTITEM:$i] : ((s__inList(V__LISTITEM, V__LIST) => (s__instance(V__LISTITEM, V__LIFEEXPECTANCYAGE) & ~(( ? [V__NUMBER:$i] : ((s__instance(V__NUMBER, V__LIFEEXPECTANCYAGE) & ~(s__inList(V__NUMBER, V__LIST)))))) & V__COUNT = s__CardinalityFn(s__KappaFn(V__LIFEEXPECTANCYAGE, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INDIVIDUAL) & s__instance(V__INDIVIDUAL, s__Human) & s__during(s__WhenFn(V__BIRTH), V__YEAR) & s__WhereFn(V__BIRTH, s__WhenFn(V__BIRTH)) = V__AREA & s__instance(V__DEATH, s__Death) & s__experiencer(V__DEATH, V__INDIVIDUAL) & s__holdsDuring(s__WhenFn(V__DEATH), s__age(V__INDIVIDUAL, s__MeasureFn(V__LIFEEXPECTANCYAGE, s__YearDuration)))))))))) & s__average(V__LIST, V__REALNUMBER)))))) People.kif 344-376 If X is an instance of the year Y and equal the life expectancy at birth of Z, X, and W, then All of the following hold: (1) there exist V, U,, , T,, , S,, , R (2) Q such that V is an instance of list (3) length of V is an instance of U (4) P P is a member of VP is an instance of T (5) there doesn't exist O such that O is an instance of T (6) O is not a member of V (7) equal U (8) the number of instances in the class described by T (9) W is an average of V
! [V__AREA : $i,V__REALNUMBER : $real,V__Y : $i,V__YEAR : $int] : (((s__instance(V__Y, s__YearFn(V__YEAR)) & s__MaleLifeExpectancyAtBirthFn(V__AREA, V__Y) = V__REALNUMBER) => ( ? [V__LIST:$i, V__COUNT:$int, V__LIFEEXPECTANCYAGE:$real, V__BIRTH:$i, V__INDIVIDUAL:$i, V__DEATH:$i] : ((s__instance(V__LIST, s__List) & s__instance(s__ListLengthFn(V__LIST),V__COUNT) & ( ! [V__LISTITEM:$i] : ((s__inList(V__LISTITEM, V__LIST) => (s__instance(V__LISTITEM, V__LIFEEXPECTANCYAGE) & ~(( ? [V__NUMBER:$i] : ((s__instance(V__NUMBER, V__LIFEEXPECTANCYAGE) & ~(s__inList(V__NUMBER, V__LIST)))))) & V__COUNT = s__CardinalityFn(s__KappaFn(V__LIFEEXPECTANCYAGE, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INDIVIDUAL) & s__instance(V__INDIVIDUAL, s__Human) & s__attribute(V__INDIVIDUAL, s__Male) & s__during(s__WhenFn(V__BIRTH), V__Y) & s__WhereFn(V__BIRTH, s__WhenFn(V__BIRTH)) = V__AREA & s__instance(V__DEATH, s__Death) & s__experiencer(V__DEATH, V__INDIVIDUAL) & s__holdsDuring(s__WhenFn(V__DEATH), s__age(V__INDIVIDUAL, s__MeasureFn(V__LIFEEXPECTANCYAGE, s__YearDuration)))))))))) & s__average(V__LIST, V__REALNUMBER)))))) People.kif 391-424 If X is an instance of the year Y and equal the male life expectancy at birth of Z, X, and W, then All of the following hold: (1) there exist V, U,, , T,, , S,, , R (2) Q such that V is an instance of list (3) length of V is an instance of U (4) P P is a member of VP is an instance of T (5) there doesn't exist O such that O is an instance of T (6) O is not a member of V (7) equal U (8) the number of instances in the class described by T (9) W is an average of V
! [V__AREA : $i,V__REALNUMBER : $real,V__Y : $int,V__YEAR : $i] : (((s__instance(V__YEAR, s__YearFn(V__Y)) & s__FemaleLifeExpectancyAtBirthFn(V__AREA, V__YEAR) = V__REALNUMBER) => ( ? [V__LIST:$i, V__COUNT:$int, V__LIFEEXPECTANCYAGE:$real, V__BIRTH:$i, V__INDIVIDUAL:$i, V__DEATH:$i] : ((s__instance(V__LIST, s__List) & s__instance(s__ListLengthFn(V__LIST),V__COUNT) & ( ! [V__LISTITEM:$i] : ((s__inList(V__LISTITEM, V__LIST) => (s__instance(V__LISTITEM, V__LIFEEXPECTANCYAGE) & ~(( ? [V__NUMBER:$i] : ((s__instance(V__NUMBER, V__LIFEEXPECTANCYAGE) & ~(s__inList(V__NUMBER, V__LIST)))))) & V__COUNT = s__CardinalityFn(s__KappaFn(V__LIFEEXPECTANCYAGE, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INDIVIDUAL) & s__instance(V__INDIVIDUAL, s__Human) & s__attribute(V__INDIVIDUAL, s__Female) & s__during(s__WhenFn(V__BIRTH), V__YEAR) & s__WhereFn(V__BIRTH, s__WhenFn(V__BIRTH)) = V__AREA & s__instance(V__DEATH, s__Death) & s__experiencer(V__DEATH, V__INDIVIDUAL) & s__holdsDuring(s__WhenFn(V__DEATH), s__age(V__INDIVIDUAL, s__MeasureFn(V__LIFEEXPECTANCYAGE, s__YearDuration)))))))))) & s__average(V__LIST, V__REALNUMBER)))))) People.kif 437-470 If X is an instance of the year Y and equal the female life expectancy at birth of Z, X, and W, then All of the following hold: (1) there exist V, U,, , T,, , S,, , R (2) Q such that V is an instance of list (3) length of V is an instance of U (4) P P is a member of VP is an instance of T (5) there doesn't exist O such that O is an instance of T (6) O is not a member of V (7) equal U (8) the number of instances in the class described by T (9) W is an average of V

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


! [V__AREA : $i,V__BIRTH : $i,V__INFANT : $i,V__WOMAN : $i,V__Y : $int,V__YEAR : $i] : ((s__instance(V__YEAR, s__YearFn(V__Y)) & s__ChildrenBornPerWomanFn(V__AREA, V__YEAR) = s__CardinalityFn(s__KappaFn(V__INFANT, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INFANT) & s__agent(V__BIRTH, V__WOMAN) & s__instance(V__WOMAN, s__Human) & s__attribute(V__WOMAN, s__Female) & s__holdsDuring(V__YEAR, s__inhabits(V__WOMAN, V__AREA))))))) People.kif 490-503 X is an instance of the year Y and equal the children born per woman of Z, X, and the number of instances in the class described by W


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners