TreeView Knowledge Base Browser - DayTime

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DayTime

DayTime

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8860-8860	DayTime e' disjunto de NightTime
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8858-8859
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8857-8857	DayTime e' uma sub-classe de Intervalo Temporal

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8788-8788	Afternoon e' uma sub-classe de DayTime
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8803-8803	Morning e' uma sub-classe de DayTime
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18702-18702
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18701-18701
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18700-18700

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2728-2748	visibilityInMeteorology Regiao, Intervalo Temporal and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Intervalo Temporal e' uma instancia de DayTime Processo e' uma instancia de Looking Objeto e' uma instancia de Objeto color Objeto and Black Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo AutonomousAgent e' Horizontal em relacao a Objeto eventLocated Processo and Regiao tempo de existencia de Processo acontece durante Intervalo Temporal Objeto e' uma instancia de Objeto Numero Real a distancia entre AutonomousAgent e Objeto e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8870-8877	Intervalo Temporal e' uma instancia de DayTime Intervalo Temporal Intervalo Temporal Intervalo Temporal e' uma instancia de NightTime Intervalo Temporal e' uma instancia de NightTime Intervalo Temporal encontra Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8879-8886	Intervalo Temporal e' uma instancia de DayTime Intervalo Temporal Intervalo Temporal Intervalo Temporal e' uma instancia de Sunrise Intervalo Temporal e' uma instancia de Sunset Intervalo Temporal comeca em Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal

consequent

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

Merge.kif 8892-8899

Intervalo Temporal e' uma instancia de NightTime
Intervalo Temporal Intervalo Temporal Intervalo Temporal e' uma instancia de DayTime Intervalo Temporal e' uma instancia de DayTime Intervalo Temporal encontra Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal

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