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 8882-8882	DayTime e' disjunto de NightTime
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8880-8881
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8879-8879	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 8810-8810	Afternoon e' uma sub-classe de DayTime
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8825-8825	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 2724-2744	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 8892-8899	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 8901-8908	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 8914-8921

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