TreeView Knowledge Base Browser - birthdate

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - birthdate

birthdate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23621-23622
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23624-23624	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 23625-23625	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 23623-23623	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 11174-11174
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11173-11173
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11172-11172

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1934-1939	If a day is a birthdate of JesusOfNazareth 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 23355-23372	If menopause is an attribute of a human holds during a time interval and a real number is a birthdate of the human and another real number is equal to (year duration 49 and the real number) and a third real number is equal to (year duration 52 and the real number) and a time point is equal to the beginning of the time interval, then the statement the time point is greater than the other real number and the third 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.	Mid-level-ontology.kif 23627-23633	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

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