TreeView Knowledge Base Browser - bidPrice

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - bidPrice

bidPrice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1909-1910
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1906-1906	O argumento numero 1 de bidPrice e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1907-1907	O argumento numero 2 de bidPrice e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1908-1908	O argumento numero 3 de bidPrice e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1905-1905	bidPrice e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1904-1904	bidPrice e' uma sub-relacao de price

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2898-2898
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2897-2897
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2896-2896
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10973-10973
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10972-10972
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10971-10971

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	LimitOrder e' um atributo de Transacao Financeira partyToAgreement Transacao Financeira and Agreement Broker e' um atributo de Agreement orderFor Transacao Financeira, Vender and Security a medida de Security e' Quantidade Fisica limitPrice Transacao Financeira and Numero Real Unidade de Medida(s) bidPrice Security, Numero Real Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency Numero Real e' maior ou igual a Numero Real Agreement e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 354-365	Processo e' uma instancia de Auctioning AutonomousAgent e' uma instancia de AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent Objeto e' uma instancia de Objeto Unidade de Medida e' uma instancia de UnitOfCurrency Objeto e' um patient de Processo bidPrice Objeto, Numero Real Unidade de Medida(s) and AutonomousAgent bidPrice Objeto, Numero Real Unidade de Medida(s) and AutonomousAgent Numero Real e' maior que Numero Real Processo termina em AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1407-1414	bidPrice Objeto, Medida de Divisa and AutonomousAgent Bidding Bidding e' uma instancia de Bidding objectOfBid Bidding and Objeto amountOfBid Bidding and Medida de Divisa Bidding e' um agente de AutonomousAgent
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

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 343-352	Processo e' uma instancia de Auctioning Objeto e' uma instancia de Objeto Objeto e' um patient de Processo AutonomousAgent Medida de Divisa AutonomousAgent e' uma instancia de AutonomousAgent Medida de Divisa e' uma instancia de Medida de Divisa bidPrice Objeto, Medida de Divisa and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1416-1425	Bidding e' uma instancia de Bidding Objeto e' uma instancia de Fisico Medida de Divisa e' uma instancia de Medida de Divisa AutonomousAgent e' uma instancia de AutonomousAgent objectOfBid Bidding and Objeto amountOfBid Bidding and Medida de Divisa Bidding e' um agente de AutonomousAgent bidPrice Objeto, Medida de Divisa and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 415-423	Unidade de Medida e' uma instancia de UnitOfCurrency reservePrice Auctioning and Numero Real Unidade de Medida(s) Auctioning termina em AutonomousAgent Numero Real Objeto bidPrice Objeto, Numero Real Unidade de Medida(s) and AutonomousAgent Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 109-115	listingBidder WebListing and AutonomousAgent Objeto e' uma instancia de Objeto Objeto e' um patient de WebListing Medida de Divisa bidPrice Objeto, Medida de Divisa and AutonomousAgent

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