Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - askPrice
askPrice

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 1868-1869
(domain askPrice 1 Object) FinancialOntology.kif 1864-1864
(domain askPrice 2 CurrencyMeasure) FinancialOntology.kif 1865-1865
(domain askPrice 3 Agent) FinancialOntology.kif 1866-1866
(instance askPrice TernaryRelation) FinancialOntology.kif 1863-1863
(subrelation askPrice price) FinancialOntology.kif 1862-1862

appearance as argument number 2
-------------------------


(format ChineseLanguage askPrice "%3 为了 %1 asks %2 ") domainEnglishFormat.kif 2819-2819
(format ChineseTraditionalLanguage askPrice "%3 為了 %1 asks %2 ") domainEnglishFormat.kif 2818-2818
(format EnglishLanguage askPrice "%3 asks for %2 for %1") domainEnglishFormat.kif 2817-2817
(termFormat ChineseLanguage askPrice "问价格") domainEnglishFormat.kif 8695-8695
(termFormat ChineseTraditionalLanguage askPrice "問價格") domainEnglishFormat.kif 8694-8694
(termFormat EnglishLanguage askPrice "ask price") domainEnglishFormat.kif 8693-8693

antecedent
-------------------------


(=>
    (and
        (instance ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Buying ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order ?LimitPrice)
        (askPrice ?Object ?Price ?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 1946-1964
(=>
    (and
        (instance ?Stock PennyStock)
        (askPrice ?Stock
            (MeasureFn ?Price UnitedStatesDollar) ?Date))
    (lessThan ?Price 5))
FinancialOntology.kif 2140-2144
(=>
    (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 1871-1881


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners