limitPrice - Sigma Knowledge base Browser

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	域限價, 1 and 限價訂單
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1998-1998	域限價, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1996-1996	例限價 and BinaryPredicate

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	attribute FinancialTransaction and 限價訂單協議是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是對於安全的 order Buying 測量安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格例 UnitOfMeasure and UnitOfCurrency AutonomousAgent 為了安全 asks 測量 RealNumber and UnitOfMeasure 小於或等於 RealNumber and RealNumber 持有義務卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 安全測量安全 and PhysicalQuantity 等於何時 SymbolicString and SymbolicStringingTime 暫時重疊 AutonomousAgent and SymbolicStringingTime and 協議
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	attribute FinancialTransaction and 限價訂單協議是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是對於安全的 order Selling 測量安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格 AutonomousAgent bids 測量 RealNumber and UnitOfMeasure 對於安全例 UnitOfMeasure and UnitOfCurrency 大於或等於 RealNumber and RealNumber 持有義務卡帕 SymbolicString and 例 SymbolicString and Selling 患者 SymbolicString and 安全測量安全 and PhysicalQuantity 等於何時 SymbolicString and SymbolicStringingTime 暫時重疊 SymbolicStringingTime and AutonomousAgent and 協議

consequent

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

FinancialOntology.kif 2003-2006

attribute Object and 限價訂單
CurrencyMeasure CurrencyMeasure 是 Object 的 limit 價格

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