Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 130-137	offersAtTime AutonomousAgent, Catalog and Intervalo Temporal catalogItem Entidade and Catalog Entidade e' uma sub-classe de Processo Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma sub-classe de Intervalo Temporal capabilityDuring Entidade, agent, AutonomousAgent and Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	Intervalo Temporal e' uma instancia de Intervalo Temporal_CLASS Intervalo Temporal_CLASS e' uma sub-classe de Processo AccessingWebPage e' uma instancia de AccessingWebPage AutonomousAgent e' uma instancia de AutonomousAgent Intervalo Temporal e' um agente de AutonomousAgent AccessingWebPage e' um agente de AutonomousAgent Intervalo Temporal acontece durante AccessingWebPage Fisico e' uma instancia de Intervalo Temporal Intervalo Temporal2 Intervalo Temporal2 e' uma instancia de Intervalo Temporal_CLASS Intervalo Temporal2 e' um agente de AutonomousAgent Intervalo Temporal2 acontece durante AccessingWebPage o comeco de tempo de existencia de Intervalo Temporal2 comeca antes de o comeco de tempo de existencia de Intervalo Temporal o comeco de tempo de existencia de AccessingWebPage e' igual a o comeco de tempo de existencia de Fisico o comeco de tempo de existencia de Intervalo Temporal e' igual a o fim de tempo de existencia de Fisico TTFxFn Intervalo Temporal_CLASS and AccessingWebPage e' igual a Fisico
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 139-150	offersAtTime AutonomousAgent, Catalog and Intervalo Temporal catalogItem Entidade and Catalog Entidade e' uma sub-classe de Objeto Processo e' uma instancia de Processo Processo e' uma sub-classe de Processo Entidade e' uma instancia de Entidade Entidade e' um patient de Processo Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma sub-classe de Intervalo Temporal capabilityDuring Processo, agent, AutonomousAgent and Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2084-2084	Intervalo Temporal e' uma sub-classe de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14848-14848	Holiday e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19091-19091	AnteMeridiem e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19104-19104	PostMeridiem e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19118-19118	Weekend e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19131-19131	SeasonOfYear e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8738-8738	Ano e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8765-8765	Decade e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8857-8857	DayTime e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8862-8862	Sunrise e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8866-8866	Sunset e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8888-8888	NightTime e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8987-8987	QuarterYear e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9043-9043	Mes e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9230-9230	Dia e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9332-9332	Semana e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9340-9340	Hora e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9350-9350	Minuto e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9360-9360	Segundo e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Food.kif 1849-1849	BreakfastTime e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Food.kif 1861-1861	LunchTime e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Food.kif 1878-1878	DinnerTime e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 26-26	Ramadan e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 112-112	DhuAlHijjah e' uma sub-classe de Intervalo Temporal

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