UsedItem
|
|
appearance as argument number 1 |
(contraryAttribute UsedItem NewItem) | Cars.kif 5148-5148 | |
(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 |
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 |