productBrand - Sigma Knowledge base Browser

appearance as argument number 1

(documentation productBrand EnglishLanguage "(productBrand ?BRAND ?OBJ) means that the perception associated with Brand ?BRAND is reflected on Physical ?OBJ")	Hotel.kif 1303-1304
(instance productBrand BinaryPredicate)	Hotel.kif 1302-1302	product brand is an instance of binary predicate
(subrelation productBrand represents)	Hotel.kif 1301-1301	product brand is a subrelation of represents

appearance as argument number 2

(format ChineseLanguage productBrand "%1 是 %2 的 brand ")	domainEnglishFormat.kif 4234-4234
(format ChineseTraditionalLanguage productBrand "%1 是 %2 的 brand ")	domainEnglishFormat.kif 4233-4233
(format EnglishLanguage productBrand "%1 is the brand of %2")	domainEnglishFormat.kif 4232-4232
(termFormat EnglishLanguage productBrand "product brand")	Hotel.kif 1305-1305

antecedent

(=>
(productBrand ?BRAND ?OBJ)
(instance ?BRAND Brand))

Hotel.kif 1307-1309

consequent

(=>
    (instance ?BRAND Brand)
    (exists (?OBJ)
        (and
            (instance ?OBJ Object)
            (productBrand ?BRAND ?OBJ))))

Hotel.kif 1286-1291