Entity(entity) |
(domain result 2 Entity) | Merge.kif 2552-2552 | The number 2 argument of result is an instance of entity |
(domain subBrand 1 Entity) | Hotel.kif 1332-1332 | The number 1 argument of sub-brand is an instance of entity |
(domain subBrand 2 Entity) | Hotel.kif 1333-1333 | The number 2 argument of sub-brand is an instance of entity |
(domain subjectiveAttribute 1 Entity) | Dining.kif 313-313 | The number 1 argument of subjective attribute is an instance of entity |
(domain subsumedExternalConcept 2 Entity) | Merge.kif 664-664 | The number 2 argument of subsumed external concept is an instance of entity |
(domain subsumingExternalConcept 2 Entity) | Merge.kif 658-658 | The number 2 argument of subsuming external concept is an instance of entity |
(domain synonymousExternalConcept 2 Entity) | Merge.kif 637-637 | The number 2 argument of synonymous external concept is an instance of entity |
(domain termFormat 2 Entity) | Merge.kif 388-388 | The number 2 argument of term format is an instance of entity |
(domain utterance 2 Entity) | emotion.kif 192-192 | The number 2 argument of utterance is an instance of entity |
(domainSubclass catalogItem 1 Entity) | Catalog.kif 48-48 | The number 1 argument of catalog item is a subclass of entity |
(domainSubclass priceRange 1 Entity) | Catalog.kif 203-203 | The number 1 argument of price range is a subclass of entity |
(domainSubclass productPrice 1 Entity) | Catalog.kif 415-415 | The number 1 argument of product price is a subclass of entity |
(domainSubclass publishedPrice 1 Entity) | Catalog.kif 332-332 | The number 1 argument of published price is a subclass of entity |
(domainSubclass unitPrice 1 Entity) | Catalog.kif 397-397 | The number 1 argument of unit price is a subclass of entity |