birthdate - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24263-24264
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24266-24266	Le nombre 1 argument de birthdate est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24267-24267	Le nombre 2 argument de birthdate est une instance de jour
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24265-24265	birthdate est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 308-308
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 307-307
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 306-306
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11169-11169
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11168-11168
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11167-11167
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11170-11170

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24235-24245	birthdate humain and jour jour est une instance de le jour nombre entier positif jour nombre entier birthday humain and jour jour est une sous-classe de jour nombre entier est une instance de nombre entier jour est jour nombre entier positif nombre entier est plus grand que nombre entier
No TPTP formula. May not be expressible in strict first order.	Media.kif 1936-1941	birthdate JesusOfNazareth and jour interval temporel est une instance de l' ann�e -6 interval temporel est une instance de l' ann�e 4 jour est une partie de l'intervale entre le d�but de interval temporel et la fin de interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23915-23931	Menopausal est un attribut de humain pendant interval temporel birthdate humain and jour jour est une instance de le jour nombre entier positif nombre r�el est nombre entier) nombre r�el est nombre entier) point temporel est d�but de interval temporel l'argument point temporel est plus grand que nombre r�el nombre r�el est plus grand que point temporel a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Biography.kif 69-85	Processus est une instance de BarMitzvah humain est un patient de processus humain est une instance de Boy humain est un membre de collection collection est une instance de Judaism birthdate humain and jour jour est une instance de le jour nombre entier positif nombre entier position temporel nombre entier est une instance de nombre entier nombre entier est nombre entier + 13) position temporel est une instance de le jour nombre entier positif temps d'existence de processus est apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Biography.kif 99-115	Processus est une instance de BatMitzvah humain est un patient de processus humain est une instance de Girl humain est un membre de collection collection est une instance de Judaism birthdate humain and jour jour est une instance de le jour nombre entier positif nombre entier position temporel nombre entier est une instance de nombre entier nombre entier est nombre entier + 13) position temporel est une instance de le jour nombre entier positif temps d'existence de processus est apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24269-24275	birthdate humain and jour processus processus est une instance de naissance humain exp�rimente processus la date de processus est jour

consequent

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

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: