objectOfBid |
appearance as argument number 1 |
(documentation objectOfBid EnglishLanguage "A CaseRole of Bidding identifying the instance of Physical being bid on.") | UXExperimentalTerms.kif 1440-1441 | |
(domain objectOfBid 1 Bidding) | UXExperimentalTerms.kif 1437-1437 | Il numero 1 argomenti di objectOfBid è un istanza di Bidding |
(domain objectOfBid 2 Physical) | UXExperimentalTerms.kif 1438-1438 | Il numero 2 argomenti di objectOfBid è un istanza di Entit�Concreta |
(instance objectOfBid BinaryPredicate) | UXExperimentalTerms.kif 1436-1436 | objectOfBid è un' istanza di PredicatoBinario |
appearance as argument number 2 |
(format ChineseLanguage objectOfBid "%1 是个 bid 对于 %2 ") | domainEnglishFormat.kif 4006-4006 | |
(format ChineseTraditionalLanguage objectOfBid "%1 是個 bid 對於 %2 ") | domainEnglishFormat.kif 4005-4005 | |
(format EnglishLanguage objectOfBid "%1 is a bid for %2") | domainEnglishFormat.kif 4004-4004 | |
(termFormat EnglishLanguage objectOfBid "object of bidding") | UXExperimentalTerms.kif 1439-1439 |
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 |