Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Government.kif 1692-1698	AutonomousAgent e' uma instancia de AutonomousAgent ElectionFn AutonomousAgent e' uma sub-classe de Election AutonomousAgent e' uma instancia de Organizacao AutonomousAgent e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3738-3742	AutonomousAgent e' uma instancia de AutonomousAgent Ano e' uma sub-classe de Ano FiscalYearStartingFn AutonomousAgent and Ano e' uma instancia de FiscalYearFn AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2617-2622	trafficableForTrafficType Regiao and Objeto auto-conectado Objeto auto-conectado e' uma sub-classe de AutonomousAgent Objeto e' uma instancia de Objeto auto-conectado capableAtLocation Translocation, agent, Objeto and Regiao
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.	Merge.kif 1556-1556	AutonomousAgent e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1566-1566	Agente Sentiente e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14076-14076	Area Geopolitica e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14377-14377	Organismo e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16195-16195	CommercialAgent e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16246-16246	Grupo e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16632-16632	Organizacao e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1306-1306	ITAgent e' uma sub-classe de AutonomousAgent

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