orderFor - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - orderFor

orderFor

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1968-1969
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1965-1965	O argumento numero 1 de orderFor e' uma instancia de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1967-1967	O argumento numero 3 de orderFor e' uma instancia de Security
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1966-1966	O argumento numero 2 de orderFor e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1964-1964	orderFor e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1855-1855
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1854-1854
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1853-1853
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42458-42458
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42457-42457
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42456-42456

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 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.	FinancialOntology.kif 1981-1990	MarketOrder e' um atributo de Transacao Financeira Broker e' um atributo de Agreement partyToAgreement Transacao Financeira and Agreement orderFor Transacao Financeira, Transacao Financeira and Security 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 1971-1979	Transacao Financeira e' uma instancia de PlacingAnOrder orderFor Transacao Financeira, Transacao Financeira and Security Transacao Financeira tem por fim Entidade Entidade e' uma instancia de Transacao Financeira Security e' um patient de Entidade

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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