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 1939-1940
(domain askPrice 1 Object) FinancialOntology.kif 1935-1935 domain askPrice, 1 and Object
(domain askPrice 2 CurrencyMeasure) FinancialOntology.kif 1936-1936 domain askPrice, 2 and CurrencyMeasure
(domain askPrice 3 Agent) FinancialOntology.kif 1937-1937 domain askPrice, 3 and Agent
(instance askPrice TernaryRelation) FinancialOntology.kif 1934-1934 instance askPrice and TernaryRelation
(subrelation askPrice price) FinancialOntology.kif 1933-1933 subrelation askPrice and 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 8697-8697
(termFormat ChineseTraditionalLanguage askPrice "問價格") domainEnglishFormat.kif 8696-8696
(termFormat EnglishLanguage askPrice "ask price") domainEnglishFormat.kif 8695-8695

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 2017-2038
(=>
    (and
        (instance ?Stock PennyStock)
        (askPrice ?Stock
            (MeasureFn ?Price UnitedStatesDollar) ?Date))
    (lessThan ?Price 5))
FinancialOntology.kif 2217-2221
(=>
    (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 1942-1952


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