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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - bidPrice
bidPrice

appearance as argument number 1
-------------------------


(documentation bidPrice EnglishLanguage "(bidPrice ?Obj ?Money ?Agent) means that ?Agent offers to buy ?Obj for the amount of ?Money.") FinancialOntology.kif 1845-1846
(domain bidPrice 1 Object) FinancialOntology.kif 1842-1842 The number 1 argument of bid price is an instance of object
(domain bidPrice 2 CurrencyMeasure) FinancialOntology.kif 1843-1843 The number 2 argument of bid price is an instance of currency measure
(domain bidPrice 3 Agent) FinancialOntology.kif 1844-1844 The number 3 argument of bid price is an instance of agent
(instance bidPrice TernaryPredicate) FinancialOntology.kif 1841-1841 bid price is an instance of ternary predicate
(subrelation bidPrice price) FinancialOntology.kif 1840-1840 bid price is a subrelation of price

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


(format ChineseLanguage bidPrice "%3 bids %2 對於 %1 ") domainEnglishFormat.kif 2895-2895
(format ChineseTraditionalLanguage bidPrice "%3 bids %2 對於 %1 ") domainEnglishFormat.kif 2894-2894
(format EnglishLanguage bidPrice "%3 bids %2 for %1") domainEnglishFormat.kif 2893-2893
(termFormat ChineseLanguage bidPrice "竞标价格") domainEnglishFormat.kif 10921-10921 "竞标价格" is the printable form of bid price in ChineseLanguage
(termFormat ChineseTraditionalLanguage bidPrice "競標價格") domainEnglishFormat.kif 10920-10920 "競標價格" is the printable form of bid price in ChineseTraditionalLanguage
(termFormat EnglishLanguage bidPrice "bid price") domainEnglishFormat.kif 10919-10919 "bid price" is the printable form of bid price in english language

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


(=>
    (and
        (instance ?AUCTIONING Auctioning)
        (instance ?BIDDER1 Agent)
        (instance ?BIDDER2 Agent)
        (instance ?ITEM Object)
        (patient ?AUCTIONING ?ITEM)
        (bidPrice ?ITEM ?OFFER1 ?BIDDER1)
        (bidPrice ?ITEM ?OFFER2 ?BIDDER2)
        (greaterThan ?OFFER1 ?OFFER2))
    (destination ?AUCTIONING ?BIDDER1))
UXExperimentalTerms.kif 435-445
(=>
    (and
        (instance ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Selling ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order ?LimitPrice)
        (bidPrice ?Object ?Price ?Time)
        (greaterThanOrEqualTo ?Price ?LimitPrice))
    (holdsObligation
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Object)
                (measure ?Object ?Quantity)
                (equal
                    (WhenFn ?Sell) ?SellingTime)
                (overlapsTemporally ?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 1964-1982
(=>
    (bidPrice ?OBJECT ?AMOUNT ?AGENT)
    (exists (?BIDDING)
        (and
            (instance ?BIDDING Bidding)
            (objectOfBid ?BIDDING ?OBJECT)
            (amountOfBid ?BIDDING ?AMOUNT)
            (agent ?BIDDING ?AGENT))))
UXExperimentalTerms.kif 1602-1609
(=>
    (bidPrice ?Obj ?Money ?Agent)
    (exists (?Offering)
        (and
            (instance ?Offering Offering)
            (patient ?Offering
                (exists (?Buying)
                    (and
                        (instance ?Buying Buying)
                        (agent ?Buying ?Agent)
                        (patient ?Buying ?Obj)
                        (transactionAmount ?Buying ?Money)))))))
FinancialOntology.kif 1848-1858

consequent
-------------------------


(=>
    (and
        (instance ?AUCTIONING Auctioning)
        (instance ?ITEM Object)
        (patient ?AUCTIONING ?ITEM))
    (exists (?BIDDER ?OFFER)
        (and
            (instance ?BIDDER Agent)
            (instance ?OFFER CurrencyMeasure)
            (bidPrice ?ITEM ?OFFER ?BIDDER))))
UXExperimentalTerms.kif 424-433
(=>
    (and
        (instance ?BIDDING Bidding)
        (instance ?OBJECT Physical)
        (instance ?AMOUNT CurrencyMeasure)
        (instance ?AGENT ?AGENT)
        (objectOfBid ?BIDDING ?OBJECT)
        (amountOfBid ?BIDDING ?AMOUNT)
        (agent ?BIDDING ?AGENT))
    (bidPrice ?OBJECT ?AMOUNT ?AGENT))
UXExperimentalTerms.kif 1611-1620
(=>
    (and
        (listingBidder ?LISTING ?AGENT)
        (instance ?OBJ Object)
        (patient ?LISTING ?OBJ))
    (exists (?MONEY)
        (bidPrice ?OBJ ?MONEY ?AGENT)))
UXExperimentalTerms.kif 135-141
(=>
    (and
        (reservePrice ?AUCTION ?AMOUNT)
        (destination ?AUCTION ?BUYER))
    (exists (?OFFER)
        (and
            (bidPrice ?ITEM ?OFFER ?BUYER)
            (greaterThan ?OFFER ?AMOUNT))))
UXExperimentalTerms.kif 517-524


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