amountOfBid |
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 | |
(domain amountOfBid 2 CurrencyMeasure) | UXExperimentalTerms.kif 1448-1448 | |
(instance amountOfBid BinaryPredicate) | UXExperimentalTerms.kif 1452-1452 | |
(instance amountOfBid CaseRole) | UXExperimentalTerms.kif 1446-1446 |
appearance as argument number 2 |
(format ChineseLanguage amountOfBid "%2 是 %1 的 bid ") | domainEnglishFormat.kif 2794-2794 | |
(format ChineseTraditionalLanguage amountOfBid "%2 是 %1 的 bid ") | domainEnglishFormat.kif 2793-2793 | |
(format EnglishLanguage amountOfBid "%2 is the bid of %1") | domainEnglishFormat.kif 2792-2792 | |
(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 |
consequent |
(=> (bidPrice ?OBJECT ?AMOUNT ?AGENT) (exists (?BIDDING) (and (instance ?BIDDING Bidding) (objectOfBid ?BIDDING ?OBJECT) (amountOfBid ?BIDDING ?AMOUNT) (agent ?BIDDING ?AGENT)))) |
UXExperimentalTerms.kif 1407-1414 |