TreeView Knowledge Base Browser

appearance as argument number 1

(documentation amountOfBid EnglishLanguage "A CaseRole of Bidding identifying the CurrencyMeasure of the bid.")	UXExperimentalTerms.kif 1657-1658
(domain amountOfBid 1 Bidding)	UXExperimentalTerms.kif 1651-1651	The number 1 argument of bid amount is an instance of bidding
(domain amountOfBid 2 CurrencyMeasure)	UXExperimentalTerms.kif 1653-1653	The number 2 argument of bid amount is an instance of currency measure
(instance amountOfBid CaseRole)	UXExperimentalTerms.kif 1649-1649	bid amount is an instance of case role

appearance as argument number 2

(format ChineseLanguage amountOfBid "%2 是 %1 的 bid ")	domainEnglishFormat.kif 2795-2795
(format ChineseTraditionalLanguage amountOfBid "%2 是 %1 的 bid ")	domainEnglishFormat.kif 2794-2794
(format EnglishLanguage amountOfBid "%2 is the bid of %1")	domainEnglishFormat.kif 2793-2793
(termFormat EnglishLanguage amountOfBid "bid amount")	UXExperimentalTerms.kif 1655-1655

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 1614-1623

If a bidding is an instance of bidding and an object is an instance of physical and a currency measure is an instance of currency measure and an agent is an instance of the agent and the bidding is a bid for the object and the currency measure is the bid of the bidding and the agent is an agent of the bidding,
then the agent bids the currency measure for the object

consequent

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

UXExperimentalTerms.kif 1605-1612

If an agent bids a currency measure for an object,
then there exists a bidding such that the bidding is an instance of bidding and the bidding is a bid for the object and the currency measure is the bid of the bidding and the agent is an agent of the bidding

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

KB Term:			Term intersection

English Word: