TreeView Knowledge Base Browser - deathdate

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 24278-24279
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24280-24280	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 24281-24281	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 24282-24282	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 18762-18762
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18761-18761
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18760-18760

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1943-1948	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 24284-24290	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 280-296

If a content bearing physical is an instance of DeathCertificate 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 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