| appearance as argument number 1 |
|
| (documentation askPrice EnglishLanguage "(askPrice ?Obj ?Money ?Agent) means that ?Agent offers to sell ?Obj for the amount of ?Money.") | FinancialOntology.kif 1930-1931 | |
| (domain askPrice 1 Object) | FinancialOntology.kif 1926-1926 | |
| (domain askPrice 2 CurrencyMeasure) | FinancialOntology.kif 1927-1927 | |
| (domain askPrice 3 AutonomousAgent) | FinancialOntology.kif 1928-1928 | |
| (instance askPrice TernaryRelation) | FinancialOntology.kif 1925-1925 | |
| (subrelation askPrice price) | FinancialOntology.kif 1924-1924 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage askPrice "%3 为了 %1 asks %2 ") | domainEnglishFormat.kif 2814-2814 | |
| (format ChineseTraditionalLanguage askPrice "%3 為了 %1 asks %2 ") | domainEnglishFormat.kif 2813-2813 | |
| (format EnglishLanguage askPrice "%3 asks for %2 for %1") | domainEnglishFormat.kif 2812-2812 | |
| (termFormat ChineseLanguage askPrice "问价格") | domainEnglishFormat.kif 8691-8691 | |
| (termFormat ChineseTraditionalLanguage askPrice "問價格") | domainEnglishFormat.kif 8690-8690 | |
| (termFormat EnglishLanguage askPrice "ask price") | domainEnglishFormat.kif 8689-8689 |
| 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 2008-2029 | |
| (=> (and (instance ?Stock PennyStock) (askPrice ?Stock (MeasureFn ?Price UnitedStatesDollar) ?Date)) (lessThan ?Price 5)) |
FinancialOntology.kif 2208-2212 | |
| (=> (askPrice ?Obj ?Money ?Agent) (exists (?Offering) (and (instance ?Offering Offering) (patient ?Offering (exists (?Selling) (and (instance ?Selling Selling) (agent ?Selling ?Agent) (patient ?Selling ?Obj) (transactionAmount ?Selling ?Money))))))) |
FinancialOntology.kif 1933-1943 |
|
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