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 1923-1924
(domain bidPrice 1 Object) FinancialOntology.kif 1920-1920 域 競標價格, 1 and Object
(domain bidPrice 2 CurrencyMeasure) FinancialOntology.kif 1921-1921 域 競標價格, 2 and CurrencyMeasure
(domain bidPrice 3 AutonomousAgent) FinancialOntology.kif 1922-1922 域 競標價格, 3 and AutonomousAgent
(instance bidPrice TernaryPredicate) FinancialOntology.kif 1919-1919 例 競標價格 and TernaryPredicate
(subrelation bidPrice price) FinancialOntology.kif 1918-1918 子關係 競標價格 and 價錢

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


(format ChineseLanguage bidPrice "%3 bids %2 對於 %1 ") domainEnglishFormat.kif 2894-2894
(format ChineseTraditionalLanguage bidPrice "%3 bids %2 對於 %1 ") domainEnglishFormat.kif 2893-2893
(format EnglishLanguage bidPrice "%3 bids %2 for %1") domainEnglishFormat.kif 2892-2892
(termFormat ChineseLanguage bidPrice "竞标价格") domainEnglishFormat.kif 10988-10988
(termFormat ChineseTraditionalLanguage bidPrice "競標價格") domainEnglishFormat.kif 10987-10987
(termFormat EnglishLanguage bidPrice "bid price") domainEnglishFormat.kif 10986-10986

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 2045-2066
(=>
    (and
        (instance ?AUCTIONING Auctioning)
        (instance ?BIDDER1 AutonomousAgent)
        (instance ?BIDDER2 AutonomousAgent)
        (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 354-365
(=>
    (bidPrice ?OBJECT ?AMOUNT ?AGENT)
    (exists (?BIDDING)
        (and
            (instance ?BIDDING Bidding)
            (objectOfBid ?BIDDING ?OBJECT)
            (amountOfBid ?BIDDING ?AMOUNT)
            (agent ?BIDDING ?AGENT))))		 UXExperimentalTerms.kif 1407-1414
(=>
    (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 1926-1936

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


(=>
    (and
        (instance ?AUCTIONING Auctioning)
        (instance ?ITEM Object)
        (patient ?AUCTIONING ?ITEM))
    (exists (?BIDDER ?OFFER)
        (and
            (instance ?BIDDER AutonomousAgent)
            (instance ?OFFER CurrencyMeasure)
            (bidPrice ?ITEM ?OFFER ?BIDDER))))		 UXExperimentalTerms.kif 343-352
(=>
    (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 1416-1425
(=>
    (and
        (instance ?U UnitOfCurrency)
        (reservePrice ?AUCTION
            (MeasureFn ?AMOUNT ?U))
        (destination ?AUCTION ?BUYER))
    (exists (?OFFER ?ITEM)
        (and
            (bidPrice ?ITEM
                (MeasureFn ?OFFER ?U) ?BUYER)
            (greaterThan ?OFFER ?AMOUNT))))		 UXExperimentalTerms.kif 415-423
(=>
    (and
        (listingBidder ?LISTING ?AGENT)
        (instance ?OBJ Object)
        (patient ?LISTING ?OBJ))
    (exists (?MONEY)
        (bidPrice ?OBJ ?MONEY ?AGENT)))		 UXExperimentalTerms.kif 109-115


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