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 10257-10257
(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 10255-10255	Birth is a subclass of organism process
(subclass Birth Removing)	Mid-level-ontology.kif 25127-25127	Birth is a subclass of removing

appearance as argument number 2

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

antecedent

(=> (and (holdsDuring ?TIME (attribute ?ORG Embryonic)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (not (overlapsTemporally ?TIME ?BW)))	Merge.kif 18307-18313	If embryonic is an attribute of an agent holds during a time interval and a process is an instance of birth and another time interval is equal to the time of existence of the process and the agent experiences the process, then the other time interval doesn't overlap the time interval
(=> (and (holdsDuring ?TIME (attribute ?ORG Larval)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (meetsTemporally ?BW ?TIME))	Merge.kif 18285-18291	If larval is an attribute of an agent holds during a time interval and a process is an instance of birth and another time interval is equal to the time of existence of the process and the agent experiences the process, then the other time interval meets the time interval
(=> (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 25138-25147	If a process is an instance of birth and the process originates at an object, then there exist an entity and a time interval such that the entity is an instance of zygote and the time interval happens earlier than the time of existence of the process and the entity is located at the object holds during the time interval
(=> (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?AGENT)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?AGENT))))	Merge.kif 10262-10269	If a process is an instance of birth and an agent experiences the process, then there exists another process such that the other process is an instance of death and the agent experiences the other process
(=> (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 250-264	If a content bearing physical is an instance of birth certificate and a process is an instance of birth and an agent is an instance of human and the agent experiences the process, then the content bearing physical contains the formula there exist an entity, another entity and a third entity such that the entity is a birthdate of the agent and the entity is an instance of day and the other entity is a birthplace of the agent and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity is an instance of name
(=> (instance ?B Birth) (exists (?M ?BABY) (and (attribute ?M Female) (origin ?B ?M) (objectTransferred ?B ?BABY) (attribute ?BABY NonFullyFormed))))	Mid-level-ontology.kif 25129-25136	If a transfer is an instance of birth, then there exist an object and the transferABY such that female is an attribute of the object and the transfer originates at the object and the object transferred in the transfer is the transferABY and non fully formed is an attribute of the transferABY

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	A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
(<=> (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	A year is an instance of the year an integer and the births per thousand of a geopolitical area and the year is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to another real number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the other real number is equal to the real number
(<=> (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	A year is an instance of the year an integer and the deaths per thousand live births of a geopolitical area and the year is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to another real number and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the other real number is equal to the real number
(<=> (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	A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
(<=> (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	A year is an instance of the year an integer and the life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
(=> (birthdate ?P ?D) (exists (?B) (and (instance ?B Birth) (experiencer ?B ?P) (date ?B ?D))))	Mid-level-ontology.kif 25389-25395	If a day is a birthdate of a human, then there exists a process such that the process is an instance of birth and the human experiences the process and date of the process is the day
(=> (birthplace ?INDIV ?PLACE) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIV) (eventLocated ?BIRTH ?PLACE))))	Mid-level-ontology.kif 25375-25381	If an object is a birthplace of an animal, then there exists a process such that the process is an instance of birth and the animal experiences the process and the process is located at the object
(=> (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 8275-8285	If a collection is an instance of brood, then there exists a time interval such that for all an agent if the agent is a member of the collection, then there exists a process such that the process is an instance of birth and the agent experiences the process and the time interval is equal to the time of existence of the process
(=> (instance ?NEST Nest) (hasPurpose ?NEST (exists (?BIRTH) (and (instance ?BIRTH Birth) (eventLocated ?BIRTH ?NEST)))))	Mid-level-ontology.kif 5580-5586	If a physical is an instance of nest, then the physical has the purpose there exists an entity such that the entity is an instance of birth and the entity is located at the physical
(=> (instance ?ORGANISM Organism) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?ORGANISM))))	Merge.kif 14435-14440	If an agent is an instance of organism, then there exists a process such that the process is an instance of birth and the agent experiences the process
(=> (instance ?TEXT BirthCertificate) (hasPurpose ?TEXT (exists (?B ?A) (and (instance ?B Birth) (instance ?A Human) (experiencer ?B ?A) (represents ?TEXT ?B)))))	Biography.kif 240-248	If a physical is an instance of birth certificate, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of birth and the other entity is an instance of human and the other entity experiences the entity and the physical expresses the entity

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

A year is an instance of the year an integer and the children born per woman of a geopolitical area and the year is equal to the number of instances in the class described by a symbolic string

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: