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 10214-10214
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 5883-5883
No TPTP formula. May not be expressible in strict first order. Merge.kif 10212-10212 Birth is a subclass of organism process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24007-24007 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 24042-24042 Biological conception is internally related to birth
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1076-1076
No TPTP formula. May not be expressible in strict first order. english_format.kif 1363-1363
No TPTP formula. May not be expressible in strict first order. french_format.kif 754-754
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 286-286
No TPTP formula. May not be expressible in strict first order. terms-it.txt 289-289
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2438-2438
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 706-706
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 291-291
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 325-325
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 775-775
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 290-290

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 18225-18231
No TPTP formula. May not be expressible in strict first order. Merge.kif 18203-18209
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24018-24027
No TPTP formula. May not be expressible in strict first order. Merge.kif 10219-10226
No TPTP formula. May not be expressible in strict first order. Biography.kif 250-264
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24009-24016

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 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 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 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 24269-24275
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24255-24261
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7501-7511
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5030-5036
No TPTP formula. May not be expressible in strict first order. Merge.kif 14383-14388
No TPTP formula. May not be expressible in strict first order. Biography.kif 240-248

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