Birth - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Birth

Birth(birth)

Bradley_method, Bradley_method_of_childbirth, Lamaze_method, Lamaze_method_of_childbirth, Leboyer_method, Leboyer_method_of_childbirth, Read_method, Read_method_of_childbirth, accouchement, active_birth, alternative_birth, alternative_birthing, be_born, birth, birthing, blessed_event, born, breech_birth, breech_delivery, breech_presentation, calve, calving, childbearing, childbirth, come_into_being, come_to_life, cradle, cub, cycle_of_rebirth, delivery, drop, fall, farrow, farrowing, fawn, foal, forceps_delivery, foreign-born, frank_breech, frank_breech_delivery, giving_birth, happy_event, hatch, hatched, hatching, have_young, kitten, labor, labour, lamb...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2904-2904
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10317-10317
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1653-1653
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5882-5882
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10315-10315	Birth is a subclass of organism process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25673-25673	Birth is a subclass of removing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25708-25708	Biological conception is internally related to birth
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1076-1076	Biological conception is internally related to birth
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1363-1363	Biological conception is internally related to birth
No TPTP formula. May not be expressible in strict first order.	french_format.kif 754-754	Biological conception is internally related to birth
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 286-286	Biological conception is internally related to birth
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 289-289	Biological conception is internally related to birth
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2438-2438	Biological conception is internally related to birth
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 706-706	Biological conception is internally related to birth
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 291-291	Biological conception is internally related to birth
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 325-325	Biological conception is internally related to birth
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 584-584	Biological conception is internally related to birth
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 775-775	Biological conception is internally related to birth
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 290-290	Biological conception is internally related to birth

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18376-18382	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18354-18360	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25684-25693	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10322-10329	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
No TPTP formula. May not be expressible in strict first order.	Biography.kif 256-270	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25675-25682	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25936-25942	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25922-25928	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8688-8698	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5987-5993	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14499-14504	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
No TPTP formula. May not be expressible in strict first order.	Biography.kif 246-254	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

No TPTP formula. May not be expressible in strict first order.

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