subBrand |
appearance as argument number 1 |
(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 1328-1330 | |
(domain subBrand 1 Entity) | Hotel.kif 1332-1332 | O argumento numero 1 de subBrand e' uma instancia de Entidade |
(domain subBrand 2 Entity) | Hotel.kif 1333-1333 | O argumento numero 2 de subBrand e' uma instancia de Entidade |
(instance subBrand BinaryPredicate) | Hotel.kif 1327-1327 | subBrand e' uma instancia de Predicado Binario |
appearance as argument number 2 |
(format ChineseLanguage subBrand "2 是 %1 的 sub-brand ") | domainEnglishFormat.kif 4682-4682 | |
(format ChineseTraditionalLanguage subBrand "%2 是 %1 的 sub-brand ") | domainEnglishFormat.kif 4681-4681 | |
(format EnglishLanguage subBrand "%2 is a sub-brand of %1") | domainEnglishFormat.kif 4680-4680 | |
(termFormat EnglishLanguage subBrand "sub-brand") | Hotel.kif 1331-1331 |
antecedent |
(=> (subBrand ?BRAND1 ?BRAND2) (exists (?COLL ?OBJ) (and (instance ?COLL Collection) (represents ?BRAND1 ?COLL) (member ?OBJ ?COLL) (represents ?BRAND2 ?OBJ)))) |
Hotel.kif 1335-1342 |