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 10317-10317
(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 10315-10315	出生は生物プロセスの subclass では
(subclass Birth Removing)	Mid-level-ontology.kif 25656-25656	出生は除却の subclass では

appearance as argument number 2

(relatedInternalConcept BiologicalConception Birth)	Mid-level-ontology.kif 25691-25691	BiologicalConception は出生に internally 関連して
(termFormat ChineseLanguage Birth "出生")	chinese_format.kif 1076-1076	BiologicalConception は出生に internally 関連して
(termFormat EnglishLanguage Birth "birth")	english_format.kif 1363-1363	BiologicalConception は出生に internally 関連して
(termFormat FrenchLanguage Birth "naissance")	french_format.kif 754-754	BiologicalConception は出生に internally 関連して
(termFormat Hindi Birth "janma")	terms-hindi.txt 286-286	BiologicalConception は出生に internally 関連して
(termFormat ItalianLanguage Birth "Nascita")	terms-it.txt 289-289	BiologicalConception は出生に internally 関連して
(termFormat JapaneseLanguage Birth "出生")	japanese_format.kif 2438-2438	BiologicalConception は出生に internally 関連して
(termFormat PortugueseLanguage Birth "Nascimento")	portuguese_format.kif 706-706	BiologicalConception は出生に internally 関連して
(termFormat cb Birth "natawhan")	terms-cb.txt 291-291	BiologicalConception は出生に internally 関連して
(termFormat cz Birth "birth")	terms-cz.txt 325-325	BiologicalConception は出生に internally 関連して
(termFormat de Birth "Geburt")	terms-de.txt 584-584	BiologicalConception は出生に internally 関連して
(termFormat ro Birth "naºtere")	relations-ro.kif 775-775	BiologicalConception は出生に internally 関連して
(termFormat tg Birth "kapanganakan")	terms-tg.txt 290-290	BiologicalConception は出生に internally 関連して

antecedent

(=> (and (holdsDuring ?TIME (attribute ?ORG Embryonic)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (not (overlapsTemporally ?TIME ?BW)))	Merge.kif 18375-18381	Embryonic は AutonomousAgent の attribute ではは時間間隔の during holds 工程は出生の instance では時間間隔は工程の time の existence と equal では AutonomousAgent が工程を experiences 時間間隔は時間間隔と overlap dない
(=> (and (holdsDuring ?TIME (attribute ?ORG Larval)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (meetsTemporally ?BW ?TIME))	Merge.kif 18353-18359	Larval は AutonomousAgent の attribute ではは時間間隔の during holds 工程は出生の instance では時間間隔は工程の time の existence と equal では AutonomousAgent が工程を experiences 時間間隔は時間間隔に meets
(=> (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 25667-25676	工程は出生の instance では工程はオブジェクトから originates エンティティー時間間隔エンティティーは Zygote の instance では時間間隔は工程の time の existence より earlier happens エンティティーはオブジェクトに located しては時間間隔の during holds
(=> (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?AGENT)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?AGENT))))	Merge.kif 10322-10329	工程は出生の instance では AutonomousAgent が工程を experiences 工程工程は死の instance では AutonomousAgent が工程を experiences
(=> (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	ContentBearingPhysical は BirthCertificate の instance では工程は出生の instance では AutonomousAgent は人［人間］の instance では AutonomousAgent が工程を experiences containsFormula ContentBearingPhysical and エンティティーエンティティー and エンティティー birthdate AutonomousAgent and エンティティーエンティティーは日の instance では birthplace AutonomousAgent and エンティティーエンティティーは地理的地域の instance ではエンティティーは AutonomousAgent を expresses エンティティーは 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 25658-25665	移動は出生の instance ではオブジェクト移動ABY Female はオブジェクトの attribute では移動はオブジェクトから originates objectTransferred 移動 and 移動ABY NonFullyFormed は移動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 では MaleLifeExpectancyAtBirthFn 地政学的地域 and 年は実数と equal ではリスト整数, 記号文字列, エンティティー, エンティティー and エンティティーリストはリストの instance ではリストの length は整数の instance ではリストITEM リストITEM はリストの member ではリストITEM は記号文字列の instance ではエンティティーエンティティーは記号文字列の instance ではエンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では average リスト and 実数
(<=> (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 では BirthsPerThousandFn 地政学的地域 and 年は実数と equal では PopulationFn 地政学的地域 + 1000 は実数と equal では整数はエンティティー class の instances の数と equal では整数 + 実数は実数と 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 238-264	年は整数 year 目の instance では DeathsPerThousandLiveBirthsFn 地政学的地域 and 年は実数と equal では整数はエンティティー class の instances の数と equal では整数 + 1000 は実数と equal では整数はエンティティー class の instances の数と equal では整数 + 実数は実数と equal では
(<=> (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 では FemaleLifeExpectancyAtBirthFn 地政学的地域 and 年は実数と equal ではリスト整数, 記号文字列, エンティティー, エンティティー and エンティティーリストはリストの instance ではリストの length は整数の instance ではリストITEM リストITEM はリストの member ではリストITEM は記号文字列の instance ではエンティティーエンティティーは記号文字列の instance ではエンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では average リスト and 実数
(<=> (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 では LifeExpectancyAtBirthFn 地政学的地域 and 年は実数と equal ではリスト整数, 記号文字列, エンティティー, エンティティー and エンティティーリストはリストの instance ではリストの length は整数の instance ではリストITEM リストITEM はリストの member ではリストITEM は記号文字列の instance ではエンティティーエンティティーは記号文字列の instance ではエンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では average リスト and 実数
(=> (birthdate ?P ?D) (exists (?B) (and (instance ?B Birth) (experiencer ?B ?P) (date ?B ?D))))	Mid-level-ontology.kif 25919-25925	birthdate 人［人間］ and 日工程工程は出生の instance では人［人間］が工程を experiences 工程の date は日では
(=> (birthplace ?INDIV ?PLACE) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIV) (eventLocated ?BIRTH ?PLACE))))	Mid-level-ontology.kif 25905-25911	birthplace 動物 and オブジェクト工程工程は出生の instance では動物が工程を experiences eventLocated 工程 and オブジェクト
(=> (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	コレクションは Brood の instance では時間間隔 AutonomousAgent AutonomousAgent はコレクションの member では工程工程は出生の instance では AutonomousAgent が工程を experiences 時間間隔は工程の time の existence と equal では
(=> (instance ?NEST Nest) (hasPurpose ?NEST (exists (?BIRTH) (and (instance ?BIRTH Birth) (eventLocated ?BIRTH ?NEST)))))	Mid-level-ontology.kif 5968-5974	物理は Nest の instance では物理はエンティティーエンティティーは出生の instance では eventLocated エンティティー and 物理の目的
(=> (instance ?ORGANISM Organism) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?ORGANISM))))	Merge.kif 14499-14504	AutonomousAgent は物の instance では工程工程は出生の instance では AutonomousAgent が工程を experiences
(=> (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	物理は BirthCertificate の instance では物理はエンティティーエンティティーエンティティーは出生の instance ではエンティティーは人［人間］の instance ではエンティティーがエンティティーを experiences 物理はエンティティーを expresses の目的

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 では ChildrenBornPerWomanFn 地政学的地域 and 年はエンティティー class の instances の数と equal では

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: