No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	rentalPrice Fisico, Funcao de Quantidade, Agente Cognitivo and PricingScheme Funcao de Quantidade e' igual a PerFn Medida de Divisa and a medida de Numero Real e' Unidade de Medida Unidade de Medida e' uma instancia de UnitOfDuration Entidade e' uma instancia imediata de Fisico Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo existe durante Numero RealINT Intervalo Temporal Numero Real Numero RealINT acontece durante Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal a duracao de Intervalo Temporal e' Numero Real Unidade de Medida(s) Numero Real e' menor ou igual a Numero Real Transacao Financeira Transacao Financeira e' uma instancia de Payment Transacao Financeira termina em Agente Cognitivo Transacao Financeira e' um agente de AutonomousAgent transactionAmount Transacao Financeira and Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30944-30959	shortage Agente Cognitivo, Objeto, Medida de Divisa, Intervalo Temporal and Quantidade Quantidade e' uma instancia de Numero Inteiro Agente Cognitivo deseja Entidade Entidade Entidade e' uma instancia de Comprar tempo de existencia de Entidade acontece durante Intervalo Temporal objectTransferred Entidade and Entidade transactionAmount Entidade and Medida de Divisa Entidade e' um agente de Agente Cognitivo Entidade e' uma instancia de Colecao memberType Entidade and Objeto memberCount Entidade and Quantidade Agente Cognitivo possui Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30911-30926	shortage AutonomousAgent, Objeto, Medida de Divisa, Intervalo Temporal and Numero Inteiro Numero Inteiro e' uma instancia de Numero Inteiro Transferencia Colecao Transferencia e' uma instancia de Comprar tempo de existencia de Transferencia acontece durante Intervalo Temporal objectTransferred Transferencia and Colecao transactionAmount Transferencia and Medida de Divisa Transferencia e' um agente de AutonomousAgent Colecao e' uma instancia de Colecao memberType Colecao and Objeto memberCount Colecao and Numero Inteiro AutonomousAgent possui Colecao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30961-30975	shortage Agente Cognitivo, Objeto, Medida de Divisa, Intervalo Temporal and Quantidade Quantidade e' uma instancia de Quantidade Fisica Agente Cognitivo deseja Entidade Entidade Entidade e' uma instancia de Comprar tempo de existencia de Entidade acontece durante Intervalo Temporal objectTransferred Entidade and Entidade transactionAmount Entidade and Medida de Divisa Entidade e' um agente de Agente Cognitivo Entidade e' uma instancia de Objeto a medida de Entidade e' Quantidade Agente Cognitivo possui Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30928-30942	shortage AutonomousAgent, Objeto, Medida de Divisa, Intervalo Temporal and Quantidade Fisica Quantidade Fisica e' uma instancia de Quantidade Fisica Transferencia Objeto Transferencia e' uma instancia de Comprar tempo de existencia de Transferencia acontece durante Intervalo Temporal objectTransferred Transferencia and Objeto transactionAmount Transferencia and Medida de Divisa Transferencia e' um agente de AutonomousAgent Objeto e' uma instancia de Objeto a medida de Objeto e' Quantidade Fisica AutonomousAgent possui Objeto
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1933-1943	askPrice Objeto, Medida de Divisa and AutonomousAgent Processo Processo e' uma instancia de Offering Entidade Entidade e' uma instancia de Vender Entidade e' um agente de AutonomousAgent Objeto e' um patient de Entidade transactionAmount Entidade and Medida de Divisa e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1912-1922	bidPrice Objeto, Medida de Divisa and AutonomousAgent Processo Processo e' uma instancia de Offering Entidade Entidade e' uma instancia de Comprar Entidade e' um agente de AutonomousAgent Objeto e' um patient de Entidade transactionAmount Entidade and Medida de Divisa e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1654-1675	Entidade_OFFER e' uma instancia de BestOffering Entidade_OFFER contem informacao Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Comprar Entidade e' um agente de Entidade Entidade e' um patient de Entidade transactionAmount Entidade and Entidade Entidade(s) ContentBearingPhysical ContentBearingPhysical contem informacao Entidade2 Entidade2 and Entidade Entidade2 e' uma instancia de Comprar Entidade2 e' um agente de Entidade2 Entidade e' um patient de Entidade2 transactionAmount Entidade2 and Entidade Entidade(s) Entidade e' maior que Entidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1872-1881	Transacao Financeira e' uma instancia de Repayment Classe Classe_AMOUNT and Transacao Financeira_AMOUNT Classe e' uma instancia de Classe Classe e' igual a Transacao Financeira transactionAmount Classe and Classe_AMOUNT transactionAmount Transacao Financeira and Transacao Financeira_AMOUNT Classe_AMOUNT e' igual a Transacao Financeira_AMOUNT
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 933-942	Fisico e' uma instancia de TaxReturn Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Calcular Fisico e' um instrumento para Entidade Entidade e' o resultado de Entidade transactionAmount Entidade and Entidade Entidade e' uma instancia de Tax
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2172-2177	Entidade e' uma instancia de PreferredStock Transacao Financeira Medida de Divisa Transacao Financeira e' uma instancia de Dividend transactionAmount Transacao Financeira and Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 742-750	periodicPayment FinancialAccount, Medida de Divisa and Duracao Temporal Transacao Financeira Processo Transacao Financeira e' uma instancia de Payment Transacao Financeira tem como origem CurrencyFn FinancialAccount transactionAmount Transacao Financeira and Medida de Divisa Transacao Financeira e' uma instancia de Processo Processo ocorre todos os Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7741-7748	price Fisico, Medida de Divisa and AutonomousAgent Transacao Financeira Transacao Financeira e' uma instancia de Comprar Transacao Financeira e' um agente de AutonomousAgent Fisico e' um patient de Transacao Financeira transactionAmount Transacao Financeira and Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 419-428	productPrice Entidade, Medida de Divisa and Agente Cognitivo o argumento Entidade e' uma instancia de Vender Entidade e' uma instancia imediata de Entidade Entidade e' um patient de Entidade Entidade e' um agente de Agente Cognitivo transactionAmount Entidade and Medida de Divisa tem a forca modal de Likely

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