amountOfBid - Sigma Knowledge base Browser

appearance as argument number 1

(documentation amountOfBid EnglishLanguage "A CaseRole of Bidding identifying the CurrencyMeasure of the bid.")	UXExperimentalTerms.kif 1450-1451
(domain amountOfBid 1 Bidding)	UXExperimentalTerms.kif 1447-1447	The number 1 argument of bid amount is an instance of bidding
(domain amountOfBid 2 CurrencyMeasure)	UXExperimentalTerms.kif 1448-1448	The number 2 argument of bid amount is an instance of currency measure
(instance amountOfBid BinaryPredicate)	UXExperimentalTerms.kif 1452-1452	bid amount is an instance of binary predicate
(instance amountOfBid CaseRole)	UXExperimentalTerms.kif 1446-1446	bid amount is an instance of case role

appearance as argument number 2

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

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 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 1407-1414

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

KB Term:			Term intersection

English Word: