|
|
  UsedItem
|
|
|
| appearance as argument number 1 |
|
|
| (contraryAttribute UsedItem NewItem) | Cars.kif 5148-5148 | UsedItem est l'oppos� de NewItem |
| (documentation UsedItem EnglishLanguage "An item that is 'used' in a retail sense, that it has been purchased by a customer. Note that it need not have actually been used for its intended purpose.") | Cars.kif 5132-5134 | |
| (instance UsedItem RelationalAttribute) | Cars.kif 5131-5131 | UsedItem est une instance de attribut relationnel |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage UsedItem "used") | Cars.kif 5135-5135 |
| antecedent |
|
|
| (=> (attribute ?O UsedItem) (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?O)))) |
Cars.kif 5137-5142 |
|
|
|