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

(documentation limitPrice EnglishLanguage "(limitPrice ?Order ?Money) means that ?Money is the limit price for the limit order ?Order. If ?Order is a buy order, then ?Money specifies the maximum price to be paid. If ?Order is a sell order, then ?Money specifies the minimum price to be paid.")	FinancialOntology.kif 2013-2015
(domain limitPrice 1 LimitOrder)	FinancialOntology.kif 2011-2011	The number 1 argument of limit price is an instance of limit order
(domain limitPrice 2 CurrencyMeasure)	FinancialOntology.kif 2012-2012	The number 2 argument of limit price is an instance of currency measure
(instance limitPrice BinaryPredicate)	FinancialOntology.kif 2010-2010	limit price is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage limitPrice "%2 %n 是 %1 的 limit 价格")	domainEnglishFormat.kif 1539-1539
(format ChineseTraditionalLanguage limitPrice "%2 %n 是 %1 的 limit 價格")	domainEnglishFormat.kif 1538-1538
(format EnglishLanguage limitPrice "%2 is %n a limit price of %1")	domainEnglishFormat.kif 1537-1537
(termFormat ChineseLanguage limitPrice "限价")	domainEnglishFormat.kif 34497-34497
(termFormat ChineseTraditionalLanguage limitPrice "限價")	domainEnglishFormat.kif 34496-34496
(termFormat EnglishLanguage limitPrice "limit price")	domainEnglishFormat.kif 34495-34495

antecedent

(=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Buying ?Object) (measure ?Object ?Quantity) (limitPrice ?Order (MeasureFn ?LimitPrice ?U)) (instance ?U UnitOfCurrency) (askPrice ?Object (MeasureFn ?Price ?U) ?Time) (lessThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Buy) ?BuyingTime) (overlapsTemporally ?Time ?BuyingTime))) ?Broker))	FinancialOntology.kif 2022-2043	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for buying for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and the unit of measure is an instance of unit of currency and an agent asks for another real number the unit of measure(s) for the security and the other real number is less than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
(=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Selling ?Object) (measure ?Object ?Quantity) (limitPrice ?Order (MeasureFn ?LimitPrice ?U)) (bidPrice ?Object (MeasureFn ?Price ?U) ?Time) (instance ?U UnitOfCurrency) (greaterThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Sell) ?SellingTime) (overlapsTemporally ?SellingTime ?Time))) ?Broker))	FinancialOntology.kif 2045-2066	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for selling for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and an agent bids another real number the unit of measure(s) for the security and the unit of measure is an instance of unit of currency and the other real number is greater than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string

consequent

(=>
    (attribute ?Order LimitOrder)
    (exists (?Price)
        (limitPrice ?Order ?Price)))

FinancialOntology.kif 2017-2020

If limit order is an attribute of an object,
then there exists a currency measure such that the currency measure is a limit price of the object

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