TreeView Knowledge Base Browser - LunchTime

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LunchTime

LunchTime

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 1862-1864
No TPTP formula. May not be expressible in strict first order.	Food.kif 1861-1861	LunchTime e' uma sub-classe de Intervalo Temporal

appearance as argument number 2

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

Food.kif 1865-1865

antecedent

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

Food.kif 1867-1876

Intervalo Temporal e' uma instancia de LunchTime
Intervalo Temporal Intervalo Temporal and Dia Intervalo Temporal acontece durante o intervalo entre o comeco de Intervalo Temporal e o fim de Intervalo Temporal Intervalo Temporal e' uma instancia de a hora 11 Intervalo Temporal e' uma instancia de a hora 15

consequent

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

Food.kif 1776-1786

Objeto e' uma instancia de Meal Lunch e' um atributo de Objeto Processo e' uma instancia de Comer Objeto e' um patient de Processo
o argumento Entidade tempo de existencia de Processo acontece durante Entidade Entidade e' uma instancia de LunchTime tem a forca modal de Likely

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