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

Formal Language: 



KB Term:  Term intersection
English Word: 

  bidPrice

 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 1918-1919
(domain bidPrice 1 Object) FinancialOntology.kif 1915-1915 竞标价格 的 1 数量 是 客体 的 instance
(domain bidPrice 2 CurrencyMeasure) FinancialOntology.kif 1916-1916 竞标价格 的 2 数量 是 货币测量 的 instance
(domain bidPrice 3 Agent) FinancialOntology.kif 1917-1917 竞标价格 的 3 数量 是 施事体 的 instance
(instance bidPrice TernaryPredicate) FinancialOntology.kif 1914-1914 竞标价格 是 三元谓语 的 instance
(subrelation bidPrice price) FinancialOntology.kif 1913-1913 竞标价格 是 价钱 的 subrelation

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


(format ChineseLanguage bidPrice "%3 bids %2 對於 %1 ") domainEnglishFormat.kif 2899-2899
(format ChineseTraditionalLanguage bidPrice "%3 bids %2 對於 %1 ") domainEnglishFormat.kif 2898-2898
(format EnglishLanguage bidPrice "%3 bids %2 for %1") domainEnglishFormat.kif 2897-2897
(termFormat ChineseLanguage bidPrice "竞标价格") domainEnglishFormat.kif 10982-10982
(termFormat ChineseTraditionalLanguage bidPrice "競標價格") domainEnglishFormat.kif 10981-10981
(termFormat EnglishLanguage bidPrice "bid price") domainEnglishFormat.kif 10980-10980

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


(=>
    (and
        (attribute ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Selling ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order
            (MeasureFn ?LimitPrice ?U))
        (bidPrice ?Object
            (MeasureFn ?Price ?U) ?Time)
        (instance ?U UnitOfCurrency)
        (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 2040-2061
(=>
    (and
        (instance ?AUCTIONING Auctioning)
        (instance ?BIDDER1 Agent)
        (instance ?BIDDER2 Agent)
        (instance ?ITEM Object)
        (instance ?U UnitOfCurrency)
        (patient ?AUCTIONING ?ITEM)
        (bidPrice ?ITEM
            (MeasureFn ?OFFER1 ?U) ?BIDDER1)
        (bidPrice ?ITEM
            (MeasureFn ?OFFER2 ?U) ?BIDDER2)
        (greaterThan ?OFFER1 ?OFFER2))
    (destination ?AUCTIONING ?BIDDER1))		 UXExperimentalTerms.kif 437-448
(=>
    (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 1921-1931

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
        (instance ?U UnitOfCurrency)
        (reservePrice ?AUCTION
            (MeasureFn ?AMOUNT ?U))
        (destination ?AUCTION ?BUYER))
    (exists (?OFFER)
        (and
            (bidPrice ?ITEM
                (MeasureFn ?OFFER ?U) ?BUYER)
            (greaterThan ?OFFER ?AMOUNT))))		 UXExperimentalTerms.kif 520-528
(=>
    (and
        (listingBidder ?LISTING ?AGENT)
        (instance ?OBJ Object)
        (patient ?LISTING ?OBJ))
    (exists (?MONEY)
        (bidPrice ?OBJ ?MONEY ?AGENT)))		 UXExperimentalTerms.kif 135-141


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