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 1930-1931
(domain askPrice 1 Object) FinancialOntology.kif 1926-1926 问价格 的 1 数量 是 客体instance
(domain askPrice 2 CurrencyMeasure) FinancialOntology.kif 1927-1927 问价格 的 2 数量 是 货币测量instance
(domain askPrice 3 AutonomousAgent) FinancialOntology.kif 1928-1928 问价格 的 3 数量 是 施事体instance
(instance askPrice TernaryRelation) FinancialOntology.kif 1925-1925 问价格三元关系instance
(subrelation askPrice price) FinancialOntology.kif 1924-1924 问价格价钱subrelation

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


(format ChineseLanguage askPrice "%3 为了 %1 asks %2 ") domainEnglishFormat.kif 2822-2822
(format ChineseTraditionalLanguage askPrice "%3 為了 %1 asks %2 ") domainEnglishFormat.kif 2821-2821
(format EnglishLanguage askPrice "%3 asks for %2 for %1") domainEnglishFormat.kif 2820-2820
(termFormat ChineseLanguage askPrice "问价格") domainEnglishFormat.kif 8688-8688
(termFormat ChineseTraditionalLanguage askPrice "問價格") domainEnglishFormat.kif 8687-8687
(termFormat EnglishLanguage askPrice "ask price") domainEnglishFormat.kif 8686-8686

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 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 3.0 is open source software produced by Articulate Software and its partners