TreeView Knowledge Base Browser - limitPrice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - limitPrice

limitPrice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1999-2001
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1997-1997	Le nombre 1 argument de limitPrice est une instance de LimitOrder
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1998-1998	Le nombre 2 argument de limitPrice est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1996-1996	limitPrice est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1539-1539
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1538-1538
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1537-1537
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34469-34469
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34468-34468
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34467-34467

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	LimitOrder est un attribut de financial transaction partyToAgreement financial transaction and Agreement Broker est un attribut de Agreement orderFor financial transaction, acheter and Security la mesure de Security est quantit� physique limitPrice financial transaction and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency askPrice Security, nombre r�el unit� de mesure(s) and AutonomousAgent nombre r�el est plus petit ou �gal � nombre r�el Agreement est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	LimitOrder est un attribut de financial transaction partyToAgreement financial transaction and Agreement Broker est un attribut de Agreement orderFor financial transaction, vendre and Security la mesure de Security est quantit� physique limitPrice financial transaction and nombre r�el unit� de mesure(s) bidPrice Security, nombre r�el unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency nombre r�el est plus grand ou �gal � nombre r�el Agreement est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique

consequent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 2003-2006

LimitOrder est un attribut de objet
mesure de devise limitPrice objet and mesure de devise

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