UsedItem |
appearance as argument number 1 |
(contraryAttribute UsedItem NewItem) | Cars.kif 5140-5140 | UsedItem は NewItem の disjoint では %n |
(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 5124-5126 | |
(instance UsedItem RelationalAttribute) | Cars.kif 5123-5123 | UsedItem は 関係属性 の instance では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage UsedItem "used") | Cars.kif 5127-5127 |
antecedent |
(=> (attribute ?O UsedItem) (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?O)))) |
Cars.kif 5129-5134 |