No TPTP formula. May not be expressible in strict first order.	Economy.kif 490-497	Intervalo Temporal e' uma instancia de Intervalo Temporal economyType Area Geopolitica and UpperMiddleIncomeCountry vale durante Intervalo Temporal Numero Real perCapitaGDPInPeriod Area Geopolitica, Numero Real UnitedStatesDollar(s) and Intervalo Temporal Numero Real e' menos que 9267.0
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.	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.	FinancialOntology.kif 2669-2685	Agreement tem um atributo de Option optionHolder Agreement and Agente Cognitivo strikePrice Agreement and Medida de Divisa agreementExpirationDate Agreement and Intervalo Temporal price FinancialInstrument, Medida de Divisa and AutonomousAgent AutonomousAgent e' uma instancia de Intervalo Temporal o fim de AutonomousAgent comeca antes de o comeco de Intervalo Temporal underlier Agreement and FinancialInstrument Agente Cognitivo tem o direito de executar a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2623-2639	Agreement tem um atributo de Option optionHolder Agreement and Agente Cognitivo strikePrice Agreement and Medida de Divisa agreementExpirationDate Agreement and Intervalo Temporal underlier Agreement and FinancialInstrument price FinancialInstrument, Medida de Divisa and AutonomousAgent AutonomousAgent e' uma instancia de Intervalo Temporal o fim de AutonomousAgent comeca antes de o comeco de Intervalo Temporal Agente Cognitivo tem o direito de executar a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2687-2703	Agreement tem um atributo de Option optionSeller Agreement and Agente Cognitivo strikePrice Agreement and Medida de Divisa agreementExpirationDate Agreement and Intervalo Temporal price FinancialInstrument, Medida de Divisa and AutonomousAgent AutonomousAgent e' uma instancia de Intervalo Temporal o fim de AutonomousAgent comeca antes de o comeco de Intervalo Temporal underlier Agreement and FinancialInstrument Agente Cognitivo e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2641-2659	Agreement tem um atributo de Option optionSeller Agreement and Agente Cognitivo strikePrice Agreement and Medida de Divisa agreementExpirationDate Agreement and Intervalo Temporal underlier Agreement and FinancialInstrument price FinancialInstrument, Medida de Divisa and AutonomousAgent AutonomousAgent e' uma instancia de Intervalo Temporal o fim de AutonomousAgent comeca antes de o comeco de Intervalo Temporal Agente Cognitivo e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8154-8156	Intervalo Temporal e' uma instancia de Intervalo Temporal o comeco de Intervalo Temporal comeca antes de o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8543-8545	Intervalo Temporal e' uma instancia de Intervalo Temporal apos Intervalo Temporal e' igual a o intervalo entre o fim de Intervalo Temporal e PositiveInfinity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8512-8514	Intervalo Temporal e' uma instancia de Intervalo Temporal antes de Intervalo Temporal e' igual a o intervalo entre NegativeInfinity e o comeco de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7969-7974	Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Ponto no tempo Posicao Temporal e' uma &parte de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8526-8528	Posicao Temporal e' uma instancia de Intervalo Temporal imediatemente antes de Posicao Temporal termina em antes de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8508-8510	Intervalo Temporal e' uma instancia de Intervalo Temporal antes de Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8539-8541	Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal encontra apos Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8557-8559	Posicao Temporal e' uma instancia de Intervalo Temporal imediatemente apos Posicao Temporal comeca em apos Posicao 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