Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| askPrice |
| appearance as argument number 1 |
|
| (subrelation askPrice price) | FinancialOntology.kif 1971-1971 | ask price is a subrelation of price |
| (instance askPrice TernaryRelation) | FinancialOntology.kif 1972-1972 | ask price is an instance of ternary relation |
| (domain askPrice 1 Object) | FinancialOntology.kif 1973-1973 | The number 1 argument of ask price is an instance of object |
| (domain askPrice 2 CurrencyMeasure) | FinancialOntology.kif 1974-1974 | The number 2 argument of ask price is an instance of currency measure |
| (domain askPrice 3 AutonomousAgent) | FinancialOntology.kif 1975-1975 | The number 3 argument of ask price is an instance of agent |
| (documentation askPrice EnglishLanguage "(askPrice ?Obj ?Money ?Agent) means that ?Agent offers to sell ?Obj for the amount of ?Money.") | FinancialOntology.kif 1977-1978 | The number 3 argument of ask price is an instance of agent |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage askPrice "%3 asks for %2 for %1") | domainEnglishFormat.kif 2816-2816 | |
| (format ChineseTraditionalLanguage askPrice "%3 為了 %1 asks %2 ") | domainEnglishFormat.kif 2817-2817 | |
| (format ChineseLanguage askPrice "%3 为了 %1 asks %2 ") | domainEnglishFormat.kif 2818-2818 | |
| (termFormat EnglishLanguage askPrice "ask price") | domainEnglishFormat.kif 8686-8686 | |
| (termFormat ChineseTraditionalLanguage askPrice "問價格") | domainEnglishFormat.kif 8687-8687 | |
| (termFormat ChineseLanguage askPrice "问价格") | domainEnglishFormat.kif 8688-8688 |
| antecedent |
|
|
| (=> (and (equal ?P (EquilibriumPriceFn ?THING ?M)) (askPrice ?THING ?P ?AGENT)) (and (instance ?M MarketEconomics) (member ?THING ?M) (attribute ?M EquilibriumEconomics))) |
Economy.kif 6891-6898 | If equal X and the market-clearing price of Y on the Z and W asks for X for Y, then Z is an instance of market, Y is a member of Z, and equilibrium is an attribute of Z |
| (=> (askPrice ?Obj ?Money ?Agent) (exists (?Offering) (and (instance ?Offering Offering) (containsFormula ?Offering (exists (?Selling) (and (instance ?Selling Selling) (agent ?Selling ?Agent) (patient ?Selling ?Obj) (transactionAmount ?Selling ?Money))))))) |
FinancialOntology.kif 1980-1991 | If X asks for Y for Z, then there exists W such that W is an instance of offering, W contains the formula there exists V such that V is an instance of selling, X is an agent of V, Z is a patient of V, and Y is a transaction amount of V |
| (=> (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 (instance ?Stock PennyStock) (askPrice ?Stock (MeasureFn ?Price UnitedStatesDollar) ?Date)) (lessThan ?Price 5)) |
FinancialOntology.kif 2249-2253 | If X is an instance of penny stock and Y asks for Z united states dollar(s) for X, then Z is less than 5 |
|