deathdate - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - deathdate

deathdate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25940-25941
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25942-25942	The number 1 argument of deathdate is an instance of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25943-25943	The number 2 argument of deathdate is an instance of day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25944-25944	deathdate is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 680-680
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 679-679
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 678-678
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18771-18771
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18770-18770
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18769-18769

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1945-1950	If a day is a deathdate of Jesus of Nazareth and a time interval is an instance of the year 29 and another time interval is an instance of the year 36, 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 25946-25952	If a day is a deathdate of a human, then there exists a process such that the process is an instance of death 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 287-303

If a content bearing physical is an instance of death certificate and a process is an instance of death and an agent is an instance of human and the agent experiences the process,
then the content bearing physical contains the formula there exist the processAY, another entity,, , a third entity and the other entityROC such that the processAY is a deathdate of the agent and the processAY is an instance of day and the other entity is a deathplace 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 and the other entityROC causes the process and the other entityROC is an instance of process

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