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

Formal Language: 

KB Term:  Term intersection
English Word: 

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

appearance as argument number 2

(format ChineseLanguage askPrice "%3 为了 %1 asks %2 ") domainEnglishFormat.kif 2823-2823
(format ChineseTraditionalLanguage askPrice "%3 為了 %1 asks %2 ") domainEnglishFormat.kif 2822-2822
(format EnglishLanguage askPrice "%3 asks for %2 for %1") domainEnglishFormat.kif 2821-2821
(termFormat ChineseLanguage askPrice "问价格") domainEnglishFormat.kif 8699-8699
(termFormat ChineseTraditionalLanguage askPrice "問價格") domainEnglishFormat.kif 8698-8698
(termFormat EnglishLanguage askPrice "ask price") domainEnglishFormat.kif 8697-8697


        (attribute ?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))
        (KappaFn ?Buy
                (instance ?Buy Buying)
                (patient ?Buy ?Object)
                (measure ?Object ?Quantity)
                    (WhenFn ?Buy) ?BuyingTime)
                (overlapsTemporally ?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 1945-1963
        (instance ?Stock PennyStock)
        (askPrice ?Stock
            (MeasureFn ?Price UnitedStatesDollar) ?Date))
    (lessThan ?Price 5))
FinancialOntology.kif 2139-2143
    (askPrice ?Obj ?Money ?Agent)
    (exists (?Offering)
            (instance ?Offering Offering)
            (patient ?Offering
                (exists (?Selling)
                        (instance ?Selling Selling)
                        (agent ?Selling ?Agent)
                        (patient ?Selling ?Obj)
                        (transactionAmount ?Selling ?Money)))))))
FinancialOntology.kif 1869-1879

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