TreeView 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 1281-1282
(instance productBrand BinaryPredicate)	Hotel.kif 1280-1280	product brand is an instance of binary predicate
(subrelation productBrand represents)	Hotel.kif 1279-1279	product brand is a subrelation of represents

appearance as argument number 2

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

antecedent

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

Hotel.kif 1285-1287

consequent

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

Hotel.kif 1264-1269