NewItem
|
|
appearance as argument number 1 |
(documentation NewItem EnglishLanguage "An item that is 'new' in a retail sense, that it has not been purchased by a customer.") | Cars.kif 5145-5146 | |
(instance NewItem RelationalAttribute) | Cars.kif 5144-5144 | NewItem è un' istanza di AttributoRelazionale |
appearance as argument number 2 |
(contraryAttribute UsedItem NewItem) | Cars.kif 5148-5148 | UsedItem è opposto a NewItem |
(termFormat EnglishLanguage NewItem "new") | Cars.kif 5147-5147 |
antecedent |
(=> (attribute ?O NewItem) (not (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?O))))) |
Cars.kif 5150-5156 |
|