TreeView Knowledge Base Browser - askPrice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - askPrice

askPrice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1930-1931
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1926-1926	O argumento numero 1 de askPrice e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1927-1927	O argumento numero 2 de askPrice e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1928-1928	O argumento numero 3 de askPrice e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1925-1925	askPrice e' uma instancia de Relacao Ternaria
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1924-1924	askPrice e' uma sub-relacao de price

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2822-2822
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2821-2821
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2820-2820
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8688-8688
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8687-8687
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8686-8686

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	LimitOrder e' um atributo de Transacao Financeira partyToAgreement Transacao Financeira and Agreement Broker e' um atributo de Agreement orderFor Transacao Financeira, Comprar and Security a medida de Security e' Quantidade Fisica limitPrice Transacao Financeira and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency askPrice Security, Numero Real Unidade de Medida(s) and AutonomousAgent Numero Real e' menor 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.	FinancialOntology.kif 2208-2212	Objeto e' uma instancia de PennyStock askPrice Objeto, Numero Real UnitedStatesDollar(s) and AutonomousAgent Numero Real e' menos que 5
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

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