| UsedItem(used) | | secondhand, used |
| appearance as argument number 1 |
|
|
| (contraryAttribute UsedItem NewItem) | Cars.kif 5125-5125 | 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 5109-5111 | |
| (instance UsedItem RelationalAttribute) | Cars.kif 5108-5108 | Used is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage UsedItem "used") | Cars.kif 5112-5112 |
| antecedent |
|
|
| (=> (attribute ?O UsedItem) (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?O)))) |
Cars.kif 5114-5119 |
|
|
|
|