Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| subBrand |
| 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 |
|