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 1314-1315
(domain productBrand 1 Entity)	Hotel.kif 1310-1310	The number 1 argument of product brand is an instance of entity
(domain productBrand 2 Entity)	Hotel.kif 1311-1311	The number 2 argument of product brand is an instance of entity
(instance productBrand BinaryPredicate)	Hotel.kif 1313-1313	product brand is an instance of binary predicate
(subrelation productBrand represents)	Hotel.kif 1309-1309	product brand is a subrelation of represents

appearance as argument number 2

(format ChineseLanguage productBrand "%1 是 %2 的 brand ")	domainEnglishFormat.kif 4238-4238
(format ChineseTraditionalLanguage productBrand "%1 是 %2 的 brand ")	domainEnglishFormat.kif 4237-4237
(format EnglishLanguage productBrand "%1 is the brand of %2")	domainEnglishFormat.kif 4236-4236
(termFormat EnglishLanguage productBrand "product brand")	Hotel.kif 1316-1316

antecedent

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

Hotel.kif 1318-1320

consequent

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

Hotel.kif 1294-1299