TreeView Knowledge Base Browser

appearance as argument number 1

(instance subBrand BinaryPredicate)	Hotel.kif 1338-1338	sub-brand is an instance of binary predicate
(documentation subBrand EnglishLanguage "(subBrand ?BRAND1 ?BRAND2) means that Brand ?BRAND2 uses the identity and reputation propagated by ?BRAND1 but is applied to a more specific set of objects")	Hotel.kif 1339-1341	sub-brand is an instance of binary predicate
(domain subBrand 1 Entity)	Hotel.kif 1343-1343	The number 1 argument of sub-brand is an instance of entity
(domain subBrand 2 Entity)	Hotel.kif 1344-1344	The number 2 argument of sub-brand is an instance of entity

appearance as argument number 2

(termFormat EnglishLanguage subBrand "sub-brand")	Hotel.kif 1342-1342
(format EnglishLanguage subBrand "%2 is a sub-brand of %1")	domainEnglishFormat.kif 4684-4684
(format ChineseTraditionalLanguage subBrand "%2 是 %1 的 sub-brand ")	domainEnglishFormat.kif 4685-4685
(format ChineseLanguage subBrand "2 是 %1 的 sub-brand ")	domainEnglishFormat.kif 4686-4686

antecedent

(=>
    (subBrand ?BRAND1 ?BRAND2)
    (exists (?COLL ?OBJ)
        (and
            (instance ?COLL Collection)
            (represents ?BRAND1 ?COLL)
            (member ?OBJ ?COLL)
            (represents ?BRAND2 ?OBJ))))

Hotel.kif 1346-1353

If X is a sub-brand of Y, then there exist Z, W such that Z is an instance of collection, Y expresses Z, W is a member of Z, and X expresses W

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: