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 10111-10111
(externalImage Birth "http://upload.wikimedia.org/wikipedia/commons/9/99/ Postpartum_baby3.jpg")	pictureList.kif 5884-5884
(subclass Birth OrganismProcess)	Merge.kif 10109-10109	出生是机体过程的 subclass
(subclass Birth Removing)	Mid-level-ontology.kif 23532-23532	出生是移除的 subclass

appearance as argument number 2

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

antecedent

(=> (and (holdsDuring ?TIME (attribute ?ORG Embryonic)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (not (overlapsTemporally ?TIME ?BW)))	Merge.kif 17937-17943	如果胚胎是 AutonomousAgent 的 attribute 在时距 holdsDuring 和过程是出生的 instance 和另一个时距 equal 那个过程出现的 time 和那个 AutonomousAgent 经历了那个过程，然后那个另外时距时段 doesn't 和那个时距重叠
(=> (and (holdsDuring ?TIME (attribute ?ORG Larval)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (meetsTemporally ?BW ?TIME))	Merge.kif 17915-17921	如果幼虫是 AutonomousAgent 的 attribute 在时距 holdsDuring 和过程是出生的 instance 和另一个时距 equal 那个过程出现的 time 和那个 AutonomousAgent 经历了那个过程，然后那个另外时距接着那个时距
(=> (and (instance ?B Birth) (origin ?B ?F)) (exists (?Z ?T) (and (instance ?Z Zygote) (earlier ?T (WhenFn ?B)) (holdsDuring ?T (located ?Z ?F)))))	Mid-level-ontology.kif 23543-23552	如果过程是出生的 instance 和客体是那个过程的源头，然后有存在实体和时距这样那个实体是 Zygote 的 instance 和那个时距比那个过程出现的 time发生的earlier 和那个实体是 located 在那个客体在那个时距 holdsDuring
(=> (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?AGENT)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?AGENT))))	Merge.kif 10116-10123	如果过程是出生的 instance 和 AutonomousAgent 经历了那个过程，然后有存在另一个过程这样那个另外过程是死亡的 instance 和那个 AutonomousAgent 经历了那个另外过程
(=> (instance ?B Birth) (exists (?M ?BABY) (and (attribute ?M Female) (origin ?B ?M) (objectTransferred ?B ?BABY) (attribute ?BABY NonFullyFormed))))	Mid-level-ontology.kif 23534-23541	如果转移是出生的 instance，然后有存在客体和那个转移ABY 这样女是那个客体的 attribute 和那个客体是那个转移的源头和 objectTransferred 那个转移 and 那个转移ABY 和没有完全形成是那个转移ABY 的 attribute

consequent

(<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?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) ?Y) (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 383-416	年是那个年EAR year 的 instance 和地缘政治区域和那个年的 male 出生估计寿命 equal 实数若且唯若有存在串列这样那个串列是串列的 instance 和那个串列的长度是另一个整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是符号串的 instance 和不存在另一个实体这样那个另外实体是那个符号串的 instance 和那个另外实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (BirthsPerThousandFn ?AREA ?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) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 108-123	年是整数 year 的 instance 和地缘政治区域和那个年每一千的 births equal 实数若且唯若那个地缘政治区域的 population 和 1000 equal 另一个实数和另一个整数 equal 符号串所描述的类别 instance 的数量和那个另外整数和那个另外实数 equal 那个实数
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?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) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))	People.kif 264-290	年是整数 year 的 instance 和地缘政治区域和那个年每一千个生存出生里的 deaths equal 实数若且唯若另一个整数 equal 符号串所描述的类别 instance 的数量和那个另外整数和 1000 equal 另一个实数和第三整数 equal 另一个符号串所描述的类别 instance 的数量和那个第三整数和那个另外实数 equal 那个实数
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (FemaleLifeExpectancyAtBirthFn ?AREA ?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) ?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 429-462	年是整数 year 的 instance 和地缘政治区域和那个年的 female 出生预期寿命 equal 实数若且唯若有存在串列这样那个串列是串列的 instance 和那个串列的长度是另一个整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是符号串的 instance 和不存在另一个实体这样那个另外实体是那个符号串的 instance 和那个另外实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (LifeExpectancyAtBirthFn ?AREA ?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) ?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 336-368	年是整数 year 的 instance 和地缘政治区域和那个年的出生预期 life 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 23736-23742	如果日是人类的 birthdate，然后有存在过程这样那个过程是出生的 instance 和那个人类经历了那个过程和那个过程的 date 是那个日
(=> (birthplace ?INDIV ?PLACE) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIV) (eventLocated ?BIRTH ?PLACE))))	Mid-level-ontology.kif 23722-23728	如果客体是动物的 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 7217-7227	如果群体是窝的 instance，然后有存在时距这样对所有 AutonomousAgent 如果那个 AutonomousAgent 是那个群体的 member，然后有存在过程这样那个过程是出生的 instance 和那个 AutonomousAgent 经历了那个过程和那个时距 equal 那个过程出现的 time
(=> (instance ?NEST Nest) (hasPurpose ?NEST (exists (?BIRTH) (and (instance ?BIRTH Birth) (eventLocated ?BIRTH ?NEST)))))	Mid-level-ontology.kif 4776-4782	如果物理是巢的 instance，然后那个物理的目的是有存在实体这样那个实体是出生的 instance 和那个实体是 located 在 2
(=> (instance ?ORGANISM Organism) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?ORGANISM))))	Merge.kif 14116-14121	如果 AutonomousAgent 是生物的 instance，然后有存在过程这样那个过程是出生的 instance 和那个 AutonomousAgent 经历了那个过程

statement

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

People.kif 482-495

年是整数 year 的 instance 和地缘政治区域和那个年每个女人生的 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: