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 24264-24265
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24267-24267	The number 1 argument of birthdate is an instance of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24268-24268	The number 2 argument of birthdate is an instance of day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24266-24266	birthdate is an instance of binary predicate

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 24236-24246	If a day is a birthdate of a human and the day is an instance of the day a positive integer, then there exist another kind of day and an integer such that the human's birthday is another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and the other kind of day is equal to the day the positive integer and the integer is greater than another integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 1936-1941	If a day is a birthdate of Jesus of Nazareth and a time interval is an instance of the year -6 and another time interval is an instance of the year 4, then the day is a part of interval between the beginning of the time interval and the end of the other time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23916-23932	If menopause is an attribute of a human holds during a time interval and a day is a birthdate of the human and the day is an instance of the day a positive integer and a real number is equal to (49 and an integer) and another real number is equal to (52 and the integer) and a time point is equal to the beginning of the time interval, then the statement the time point is greater than the real number and the other real number is greater than the time point has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Biography.kif 69-85	If a process is an instance of BarMitzvah and a human is a patient of the process and the human is an instance of boy and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer, then there exist an integer and a time position such that the integer is an instance of integer and the integer is equal to (another integer and 13) and the time position is an instance of the day the positive integer and the time of existence of the process is equal to immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Biography.kif 99-115	If a process is an instance of BatMitzvah and a human is a patient of the process and the human is an instance of girl and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer, then there exist an integer and a time position such that the integer is an instance of integer and the integer is equal to (another integer and 13) and the time position is an instance of the day the positive integer and the time of existence of the process is equal to immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24270-24276	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

consequent

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

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

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: