TreeView Knowledge Base Browser

appearance as argument number 2

(termFormat EnglishLanguage amountOfBid "bid amount")	UXExperimentalTerms.kif 1449-1449
(format EnglishLanguage amountOfBid "%2 is the bid of %1")	domainEnglishFormat.kif 2788-2788
(format ChineseTraditionalLanguage amountOfBid "%2 是 %1 的 bid ")	domainEnglishFormat.kif 2789-2789
(format ChineseLanguage amountOfBid "%2 是 %1 的 bid ")	domainEnglishFormat.kif 2790-2790

antecedent

(=>
    (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

If All of the following hold: (1) X is an instance of bidding (2) Y is an instance of physical (3) Z is an instance of currency measure (4) W is an instance of W (5) X is a bid for Y (6) Z is the bid of X (7) W is an agent of X, then W bids Z for Y

consequent

(=>
    (bidPrice ?OBJECT ?AMOUNT ?AGENT)
    (exists (?BIDDING)
        (and
            (instance ?BIDDING Bidding)
            (objectOfBid ?BIDDING ?OBJECT)
            (amountOfBid ?BIDDING ?AMOUNT)
            (agent ?BIDDING ?AGENT))))

UXExperimentalTerms.kif 1407-1414

If X bids Y for Z, then there exists W such that W is an instance of bidding, W is a bid for Z, Y is the bid of W, and X is an agent of W

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: