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 10332-10332
(documentation Birth JapaneseLanguage "Process の誕生。")	japanese_format.kif 1653-1653
(externalImage Birth "http://upload.wikimedia.org/wikipedia/commons/9/99/ Postpartum_baby3.jpg")	pictureList.kif 5882-5882
(subclass Birth OrganismProcess)	Merge.kif 10330-10330	出生是机体过程的 subclass
(subclass Birth Removing)	Mid-level-ontology.kif 25654-25654	出生是移除的 subclass

appearance as argument number 2

(relatedInternalConcept BiologicalConception Birth)	Mid-level-ontology.kif 25689-25689	生物学概念和出生是内部相关
(termFormat ChineseLanguage Birth "出生")	chinese_format.kif 1076-1076	生物学概念和出生是内部相关
(termFormat EnglishLanguage Birth "birth")	english_format.kif 1363-1363	生物学概念和出生是内部相关
(termFormat FrenchLanguage Birth "naissance")	french_format.kif 754-754	生物学概念和出生是内部相关
(termFormat Hindi Birth "janma")	terms-hindi.txt 286-286	生物学概念和出生是内部相关
(termFormat ItalianLanguage Birth "Nascita")	terms-it.txt 289-289	生物学概念和出生是内部相关
(termFormat JapaneseLanguage Birth "出生")	japanese_format.kif 2438-2438	生物学概念和出生是内部相关
(termFormat PortugueseLanguage Birth "Nascimento")	portuguese_format.kif 706-706	生物学概念和出生是内部相关
(termFormat cb Birth "natawhan")	terms-cb.txt 291-291	生物学概念和出生是内部相关
(termFormat cz Birth "birth")	terms-cz.txt 325-325	生物学概念和出生是内部相关
(termFormat de Birth "Geburt")	terms-de.txt 584-584	生物学概念和出生是内部相关
(termFormat ro Birth "naºtere")	relations-ro.kif 775-775	生物学概念和出生是内部相关
(termFormat tg Birth "kapanganakan")	terms-tg.txt 290-290	生物学概念和出生是内部相关

antecedent

(=> (and (holdsDuring ?TIME (attribute ?ORG Embryonic)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (not (overlapsTemporally ?TIME ?BW)))	Merge.kif 18390-18396	如果胚胎是施事体的 attribute 在时距 holdsDuring 和过程是出生的 instance 和 equal 另一个时距 and 那个过程出现的 time 和那个施事体经历了那个过程，然后那个另外时距时段 doesn't 和那个时距重叠
(=> (and (holdsDuring ?TIME (attribute ?ORG Larval)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (meetsTemporally ?BW ?TIME))	Merge.kif 18368-18374	如果幼虫是施事体的 attribute 在时距 holdsDuring 和过程是出生的 instance 和 equal 另一个时距 and 那个过程出现的 time 和那个施事体经历了那个过程，然后那个另外时距接着那个时距
(=> (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 25665-25674	如果过程是出生的 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 10337-10344	如果过程是出生的 instance 和施事体经历了那个过程，然后有存在另一个过程这样那个另外过程是死亡的 instance 和那个施事体经历了那个另外过程
(=> (and (instance ?TEXT BirthCertificate) (instance ?B Birth) (instance ?A Human) (experiencer ?B ?A)) (containsFormula ?TEXT (exists (?DAY ?P ?N) (and (birthdate ?A ?DAY) (instance ?DAY Day) (birthplace ?A ?P) (instance ?P GeographicArea) (represents ?N ?A) (instance ?N Name)))))	Biography.kif 256-270	如果内容承载物理是出生证明的 instance 和过程是出生的 instance 和施事体是人类的 instance 和那个施事体经历了那个过程，然后 containsFormula 那个内容承载物理 and 有存在实体，另一个实体， and 和第三实体这样那个实体是那个施事体的 birthdate 和那个实体是日的 instance 和那个另外实体是那个施事体的 birthplace 和那个另外实体是地理区域的 instance 和那个第三实体表达那个施事体和那个第三实体是 Name 的 instance
(=> (instance ?B Birth) (exists (?M ?BABY) (and (attribute ?M Female) (origin ?B ?M) (objectTransferred ?B ?BABY) (attribute ?BABY NonFullyFormed))))	Mid-level-ontology.kif 25656-25663	如果转移是出生的 instance，然后有存在客体和那个转移ABY 这样女是那个客体的 attribute 和那个客体是那个转移的源头和 objectTransferred 那个转移 and 那个转移ABY 和没有完全形成是那个转移ABY 的 attribute

consequent

(<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (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 357-390	年是那个年EAR year 的 instance 和 equal 地缘政治区域和那个年的 male 出生估计寿命 and 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和 equal 那个另外整数 and 那个符号串所描述的类别 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 82-97	年是整数 year 的 instance 和 equal 地缘政治区域和那个年每一千的 births and 实数若且唯若 equal 那个地缘政治区域的 population 和 1000 and 另一个实数和 equal 另一个整数 and 符号串所描述的类别 instance 的数量和 equal 那个另外整数和那个另外实数 and 那个实数
(<=> (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 238-264	年是整数 year 的 instance 和 equal 地缘政治区域和那个年每一千个生存出生里的 deaths and 实数若且唯若 equal 另一个整数 and 符号串所描述的类别 instance 的数量和 equal 那个另外整数和 1000 and 另一个实数和 equal 第三整数 and 另一个符号串所描述的类别 instance 的数量和 equal 那个第三整数和那个另外实数 and 那个实数
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (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 403-436	年是整数 year 的 instance 和 equal 地缘政治区域和那个年的 female 出生预期寿命 and 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和 equal 那个另外整数 and 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (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 310-342	年是整数 year 的 instance 和 equal 地缘政治区域和那个年的出生预期 life and 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和 equal 那个另外整数 and 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
(=> (birthdate ?P ?D) (exists (?B) (and (instance ?B Birth) (experiencer ?B ?P) (date ?B ?D))))	Mid-level-ontology.kif 25917-25923	如果日是人类的 birthdate，然后有存在过程这样那个过程是出生的 instance 和那个人类经历了那个过程和那个过程的 date 是那个日
(=> (birthplace ?INDIV ?PLACE) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIV) (eventLocated ?BIRTH ?PLACE))))	Mid-level-ontology.kif 25903-25909	如果客体是动物的 birthplace，然后有存在过程这样那个过程是出生的 instance 和那个动物经历了那个过程和那个过程是 located 在那个客体
(=> (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 8669-8679	如果群体是窝的 instance，然后有存在时距这样对所有施事体如果那个施事体是那个群体的 member，然后有存在过程这样那个过程是出生的 instance 和那个施事体经历了那个过程和 equal 那个时距 and 那个过程出现的 time
(=> (instance ?NEST Nest) (hasPurpose ?NEST (exists (?BIRTH) (and (instance ?BIRTH Birth) (eventLocated ?BIRTH ?NEST)))))	Mid-level-ontology.kif 5968-5974	如果物理是巢的 instance，然后那个物理的目的是有存在实体这样那个实体是出生的 instance 和那个实体是 located 在那个物理
(=> (instance ?ORGANISM Organism) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?ORGANISM))))	Merge.kif 14514-14519	如果施事体是生物的 instance，然后有存在过程这样那个过程是出生的 instance 和那个施事体经历了那个过程
(=> (instance ?TEXT BirthCertificate) (hasPurpose ?TEXT (exists (?B ?A) (and (instance ?B Birth) (instance ?A Human) (experiencer ?B ?A) (represents ?TEXT ?B)))))	Biography.kif 246-254	如果物理是出生证明的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是出生的 instance 和那个另外实体是人类的 instance 和那个另外实体经历了那个实体和那个物理表达那个实体

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

年是整数 year 的 instance 和 equal 地缘政治区域和那个年每个女人生的 children and 符号串所描述的类别 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: