|
|
   Bidding
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Bidding EnglishLanguage "A Requesting where the patient is a Formula specifying that there is a Buying for a certain transactionAmount, where the agent of the Bidding is the agent of the Buying.") | UXExperimentalTerms.kif 1351-1353 | |
| (subclass Bidding Requesting) | UXExperimentalTerms.kif 1347-1347 | Bidding è una sottoclasse di Richiedere |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Bidding "bidding") | UXExperimentalTerms.kif 1349-1349 |
| appearance as argument number 3 |
|
|
| (domain amountOfBid 1 Bidding) | UXExperimentalTerms.kif 1447-1447 | Il numero 1 argomenti di amountOfBid è un istanza di Bidding |
| (domain objectOfBid 1 Bidding) | UXExperimentalTerms.kif 1437-1437 | Il numero 1 argomenti di objectOfBid è un istanza di Bidding |
| 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 |
|
|
|
|
|