Birth - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Birth ChineseLanguage "这是出生的 Process。")	chinese_format.kif 2904-2904
(documentation Birth EnglishLanguage "The Process of being born.")	Merge.kif 9582-9582
(externalImage Birth "http://upload.wikimedia.org/wikipedia/commons/9/99/ Postpartum_baby3.jpg")	pictureList.kif 5884-5884
(subclass Birth OrganismProcess)	Merge.kif 9580-9580	出生是机体过程的 subclass

appearance as argument number 2

(relatedInternalConcept BiologicalConception Birth)	Mid-level-ontology.kif 21875-21875	生物学概念和出生是内部相关
(termFormat ChineseLanguage Birth "出生")	chinese_format.kif 1076-1076
(termFormat EnglishLanguage Birth "birth")	english_format.kif 1368-1368

antecedent

(=> (and (holdsDuring ?TIME (attribute ?ORG Embryonic)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (not (overlapsTemporally ?TIME ?BW)))	Merge.kif 16874-16880	如果胚胎是施事体的 attribute 在时距 holdsDuring 和过程是出生的 instance 和另一个时距 equal 那个过程出现的 time 和那个施事体经历了那个过程，然后那个另外时距时段 doesn't 和那个时距重叠
(=> (and (holdsDuring ?TIME (attribute ?ORG Larval)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (meetsTemporally ?BW ?TIME))	Merge.kif 16845-16851	如果幼虫是施事体的 attribute 在时距 holdsDuring 和过程是出生的 instance 和另一个时距 equal 那个过程出现的 time 和那个施事体经历了那个过程，然后那个另外时距接着那个时距
(=> (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?AGENT)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?AGENT))))	Merge.kif 9587-9594	如果过程是出生的 instance 和施事体经历了那个过程，然后有存在另一个过程这样那个另外过程是死亡的 instance 和那个施事体经历了那个另外过程

consequent

(<=> (equal (BirthsPerThousandFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 104-117	地缘政治区域和整数 year 每一千的 births equal 实数若且唯若那个地缘政治区域的 population 和 1000 equal 数量和另一个整数 equal 符号串所描述的类别 instance 的数量和那个另外整数和那个数量 equal 那个实数
(<=> (equal (DeathsPerThousandLiveBirthsFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS) (equal ?INFANTDEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?INFANT) (instance ?INFANT Human) (age ?INFANT (MeasureFn ?AGE YearDuration)) (lessThan ?AGE 1) (during (WhenFn ?DEATH) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))	People.kif 253-277	地缘政治区域和整数 year 每一千个生存出生里的 deaths equal 实数若且唯若另一个整数 equal 符号串所描述的类别 instance 的数量和那个另外整数和 1000 equal 数量和第三整数 equal 另一个符号串所描述的类别 instance 的数量和那个第三整数和那个数量 equal 那个实数
(<=> (equal (FemaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 411-442	地缘政治区域和整数 year 的 female 出生预期寿命 equal 实数若且唯若有存在串列这样那个串列是串列的 instance 和那个串列的长度是另一个整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是符号串的 instance 和不存在另一个实体这样那个另外实体是那个符号串的 instance 和那个另外实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
(<=> (equal (LifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 323-353	地缘政治区域和整数 year 的出生预期 life equal 实数若且唯若有存在串列这样那个串列是串列的 instance 和那个串列的长度是另一个整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是符号串的 instance 和不存在另一个实体这样那个另外实体是那个符号串的 instance 和那个另外实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
(<=> (equal (MaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 367-398	地缘政治区域和整数 year 的 male 出生估计寿命 equal 实数若且唯若有存在串列这样那个串列是串列的 instance 和那个串列的长度是另一个整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是符号串的 instance 和不存在另一个实体这样那个另外实体是那个符号串的 instance 和那个另外实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
(=> (birthdate ?P ?D) (exists (?B) (and (instance ?B Birth) (experiencer ?B ?P) (date ?B ?D))))	Mid-level-ontology.kif 22039-22045	如果日是人类的 birthdate，然后有存在过程这样那个过程是出生的 instance 和那个人类经历了那个过程和那个过程的 date 是那个日
(=> (birthplace ?INDIV ?PLACE) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIV) (eventLocated ?BIRTH ?PLACE))))	Mid-level-ontology.kif 22026-22032	如果客体是动物的 birthplace，然后有存在过程这样那个过程是出生的 instance 和那个动物经历了那个过程和那个过程是 located 在 2
(=> (instance ?BROOD Brood) (exists (?TIME) (forall (?MEMBER) (=> (member ?MEMBER ?BROOD) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?MEMBER) (equal ?TIME (WhenFn ?BIRTH))))))))	Mid-level-ontology.kif 7219-7229	如果群体是窝的 instance，然后有存在时距这样对所有施事体如果那个施事体是那个群体的 member，然后有存在过程这样那个过程是出生的 instance 和那个施事体经历了那个过程和那个时距 equal 那个过程出现的 time
(=> (instance ?NEST Nest) (hasPurpose ?NEST (exists (?BIRTH) (and (instance ?BIRTH Birth) (eventLocated ?BIRTH ?NEST)))))	Mid-level-ontology.kif 5334-5339	如果物理是巢的 instance，然后那个物理的目的是有存在实体这样那个实体是出生的 instance 和那个实体是 located 在 2
(=> (instance ?ORGANISM Organism) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?ORGANISM))))	Merge.kif 13309-13314	如果施事体是生物的 instance，然后有存在过程这样那个过程是出生的 instance 和那个施事体经历了那个过程

statement

(equal
    (ChildrenBornPerWomanFn ?AREA
        (YearFn ?YEAR))
    (CardinalityFn
        (KappaFn ?INFANT
            (and
                (instance ?BIRTH Birth)
                (experiencer ?BIRTH ?INFANT)
                (agent ?BIRTH ?WOMAN)
                (instance ?WOMAN Human)
                (attribute ?WOMAN Female)
                (holdsDuring
                    (YearFn ?YEAR)
                    (inhabits ?WOMAN ?AREA))))))

People.kif 462-472

地缘政治区域和整数 year 每个女人生的 children equal 符号串所描述的类别 instance 的数量

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: