| UsedItem(used) | | secondhand, used |
| appearance as argument number 1 |
|
|
| (contraryAttribute UsedItem NewItem) | Cars.kif 5201-5201 | Used is the opposite of new |
| (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 5185-5187 | Used is the opposite of new |
| (instance UsedItem RelationalAttribute) | Cars.kif 5184-5184 | Used is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage UsedItem "used") | Cars.kif 5188-5188 |
| antecedent |
|
|
| (=> (attribute ?O UsedItem) (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?O)))) |
Cars.kif 5190-5195 |
|
|
|
|