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 25913-25914
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25916-25916	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 25917-25917	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 25915-25915	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 11178-11178
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11177-11177
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11176-11176
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11179-11179

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25885-25895	If a day is a birthdate of a human and the day is an instance of the day a positive integer of month the month a kind of month, 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 of month the month a kind of month and the integer is greater than another integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 1938-1943	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 25564-25580	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 of month the month a kind of month 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 71-87	If a process is an instance of bar mitzvah 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 of month the month a kind of month, 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 of month the month a kind of month 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 102-118	If a process is an instance of bat mitzvah 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 of month the month a kind of month, 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 of month the month a kind of month 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 25919-25925	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 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

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: