TreeView Knowledge Base Browser

appearance as argument number 1

(instance limitPrice BinaryPredicate)	FinancialOntology.kif 2045-2045	limit price is an instance of binary predicate
(domain limitPrice 1 LimitOrder)	FinancialOntology.kif 2046-2046	The number 1 argument of limit price is an instance of limit order
(domain limitPrice 2 CurrencyMeasure)	FinancialOntology.kif 2047-2047	The number 2 argument of limit price is an instance of currency measure
(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 2048-2050	The number 2 argument of limit price is an instance of currency measure

appearance as argument number 2

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

antecedent

(=> (and (instance ?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 ?Broker (exists (?Buy) (and (instance ?Buy Buying) (patient ?Buy ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Buy) ?BuyingTime) (overlapsTemporally ?Time ?BuyingTime)))))	FinancialOntology.kif 2057-2077	If All of the following hold: (1) X is an instance of limit order (2) Y is a party to agreement of X (3) broker is an attribute of Y (4) X is order for buying for Z (5) the measure of Z is W (6) V U(s) is a limit price of X (7) U is an instance of unit of currency (8) T asks for S U(s) for Z (9) S is less than or equal to V, then Y is obliged to perform tasks of type there exists R such that R is an instance of buying, Z is a patient of R, the measure of Z is W, equal the time of existence of R, Q, and Q overlaps T
(=> (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 ?Broker (exists (?Sell) (and (instance ?Sell Selling) (patient ?Sell ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Sell) ?SellingTime) (overlapsTemporally ?SellingTime ?Time)))))	FinancialOntology.kif 2079-2099	If All of the following hold: (1) limit order is an attribute of X (2) Y is a party to agreement of X (3) broker is an attribute of Y (4) X is order for selling for Z (5) the measure of Z is W (6) V U(s) is a limit price of X (7) T bids S U(s) for Z (8) U is an instance of unit of currency (9) S is greater than or equal to V, then Y is obliged to perform tasks of type there exists R such that R is an instance of selling, Z is a patient of R, the measure of Z is W, equal the time of existence of R, Q, and T overlaps Q

consequent

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

FinancialOntology.kif 2052-2055

If X is an instance of limit order, then there exists Y such that Y is a limit price of X

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

KB Term:			Term intersection

English Word: