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

Formal Language: 



KB Term:  Term intersection
English Word: 

  askPrice

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 The number 1 argument of ask price is an instance of object
(domain askPrice 2 CurrencyMeasure) FinancialOntology.kif 1865-1865 The number 2 argument of ask price is an instance of currency measure
(domain askPrice 3 Agent) FinancialOntology.kif 1866-1866 The number 3 argument of ask price is an instance of agent
(instance askPrice TernaryRelation) FinancialOntology.kif 1863-1863 ask price is an instance of ternary relation
(subrelation askPrice price) FinancialOntology.kif 1862-1862 ask price is a subrelation of price

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


(format EnglishLanguage askPrice "%3 asks for %2 for %1") domainEnglishFormat.kif 714-714
(termFormat EnglishLanguage askPrice "ask price") domainEnglishFormat.kif 1882-1882 "ask price" is the printable form of ask price in english language

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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