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	O argumento numero 1 de deathdate e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24281-24281	O argumento numero 2 de deathdate e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24282-24282	deathdate e' uma instancia de Predicado Binario

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	deathdate JesusOfNazareth and Dia Intervalo Temporal e' uma instancia de o ano 29 Intervalo Temporal e' uma instancia de o ano 36 Dia e' uma &parte de o intervalo entre o comeco de Intervalo Temporal e o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24284-24290	deathdate Humano and Dia Processo Processo e' uma instancia de Morte Humano experimenta Processo a data de Processo e' Dia

consequent

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

Biography.kif 280-296

ContentBearingPhysical e' uma instancia de DeathCertificate Processo e' uma instancia de Morte AutonomousAgent e' uma instancia de Humano AutonomousAgent experimenta Processo
containsFormula ContentBearingPhysical and ProcessoAY Entidade, Entidade and EntidadeROC deathdate AutonomousAgent and ProcessoAY ProcessoAY e' uma instancia de Dia deathplace AutonomousAgent and Entidade Entidade e' uma instancia de Area Geografica Entidade define AutonomousAgent Entidade e' uma instancia de Name EntidadeROC causa Processo EntidadeROC e' uma instancia de Processo

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