TreeView Knowledge Base Browser - Birth

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Birth

Birth(naissance)

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 10192-10192
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 10190-10190	Naissance est une sous-classe de fonction physiologique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24008-24008	Naissance est une sous-classe de supprimer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24043-24043	BiologicalConception est reli� � l'int�rieur de SUMO � naissance
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 18203-18209	Embryonic est un attribut de AutonomousAgent pendant interval temporel processus est une instance de naissance interval temporel est temps d'existence de processus AutonomousAgent exp�rimente processus interval temporel ne recouvre %n{pas} interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18181-18187	Larval est un attribut de AutonomousAgent pendant interval temporel processus est une instance de naissance interval temporel est temps d'existence de processus AutonomousAgent exp�rimente processus interval temporel rencontre interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24019-24028	Processus est une instance de naissance processus a pour origine objet entit� interval temporel entit� est une instance de Zygote interval temporel arrive plus t�t que temps d'existence de processus entit� est situ� � objet pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10197-10204	Processus est une instance de naissance AutonomousAgent exp�rimente processus processus processus est une instance de mort AutonomousAgent exp�rimente processus
No TPTP formula. May not be expressible in strict first order.	Biography.kif 250-264	ContentBearingPhysical est une instance de BirthCertificate processus est une instance de naissance AutonomousAgent est une instance de humain AutonomousAgent exp�rimente processus containsFormula ContentBearingPhysical and entit� entit� and entit� birthdate AutonomousAgent and entit� entit� est une instance de jour birthplace AutonomousAgent and entit� entit� est une instance de secteur g�ographique entit� d�finie AutonomousAgent entit� est une instance de Name
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24010-24017	Transf�re est une instance de naissance objet transf�reABY Female est un attribut de objet transf�re a pour origine objet objectTransferred transf�re and transf�reABY NonFullyFormed est un attribut de transf�reABY

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	Ann�e est une instance de l' ann�e ann�eEAR MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	Ann�e est une instance de l' ann�e nombre entier BirthsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandLiveBirthsFn secteur g�opolitique and ann�e est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	Ann�e est une instance de l' ann�e nombre entier FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	Ann�e est une instance de l' ann�e nombre entier LifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24270-24276	birthdate humain and jour processus processus est une instance de naissance humain exp�rimente processus la date de processus est jour
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24256-24262	birthplace animal and objet processus processus est une instance de naissance animal exp�rimente processus eventLocated processus and objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7502-7512	Collection est une instance de Brood interval temporel AutonomousAgent AutonomousAgent est un membre de collection processus processus est une instance de naissance AutonomousAgent exp�rimente processus interval temporel est temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5031-5037	Physique est une instance de Nest physique a pour but entit� entit� est une instance de naissance eventLocated entit� and physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14361-14366	AutonomousAgent est une instance de organisme processus processus est une instance de naissance AutonomousAgent exp�rimente processus
No TPTP formula. May not be expressible in strict first order.	Biography.kif 240-248	Physique est une instance de BirthCertificate physique a pour but entit� entit� entit� est une instance de naissance entit� est une instance de humain entit� exp�rimente entit� physique d�finie entit�

statement

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

People.kif 456-469

Ann�e est une instance de l' ann�e nombre entier ChildrenBornPerWomanFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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