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 1847-1848
(domain bidPrice 1 Object) FinancialOntology.kif 1844-1844
(domain bidPrice 2 CurrencyMeasure) FinancialOntology.kif 1845-1845
(domain bidPrice 3 Agent) FinancialOntology.kif 1846-1846
(instance bidPrice TernaryPredicate) FinancialOntology.kif 1843-1843
(subrelation bidPrice price) FinancialOntology.kif 1842-1842

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


(format EnglishLanguage bidPrice "%3 bids %2 for %1") domainEnglishFormat.kif 733-733
(termFormat EnglishLanguage bidPrice "bid price") domainEnglishFormat.kif 2253-2253

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 437-447
(=>
    (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 1966-1984
(=>
    (bidPrice ?OBJECT ?AMOUNT ?AGENT)
    (exists (?BIDDING)
        (and
            (instance ?BIDDING Bidding)
            (objectOfBid ?BIDDING ?OBJECT)
            (amountOfBid ?BIDDING ?AMOUNT)
            (agent ?BIDDING ?AGENT))))
UXExperimentalTerms.kif 1605-1612
(=>
    (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 1850-1860

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 426-435
(=>
    (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 1614-1623
(=>
    (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 519-526


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