NewItem - Sigma Knowledge base Browser

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 5198-5199
(instance NewItem RelationalAttribute)	Cars.kif 5197-5197	New is an instance of relational attribute

appearance as argument number 2

(contraryAttribute UsedItem NewItem)	Cars.kif 5201-5201	Used is the opposite of new
(termFormat EnglishLanguage NewItem "new")	Cars.kif 5200-5200	Used is the opposite of new

antecedent

(=>
    (attribute ?O NewItem)
    (not
        (exists (?B)
            (and
                (instance ?B Buying)
                (objectTransferred ?B ?O)))))

Cars.kif 5203-5209

If new is an attribute of an object,
then there doesn't exist a transfer such that the transfer is an instance of buying and the object transferred in the transfer is the object