catalogItem |
appearance as argument number 1 |
![]() |
(documentation catalogItem EnglishLanguage "(catalogItem ?OBJ ?CATALOG) means that an instance of ?OBJ is a member of ?CATALOG") | Catalog.kif 46-47 | |
(domain catalogItem 2 Catalog) | Catalog.kif 49-49 | domain catalogItem, 2 and Catalog |
(domainSubclass catalogItem 1 Entity) | Catalog.kif 48-48 | domainSubclass catalogItem, 1 and Entity |
(instance catalogItem BinaryRelation) | Catalog.kif 44-44 | instance catalogItem and BinaryRelation |
(instance catalogItem PartialValuedRelation) | Catalog.kif 45-45 | instance catalogItem and PartialValuedRelation |
appearance as argument number 2 |
![]() |
(format ChineseLanguage catalogItem "%1 是在 %2 ") | domainEnglishFormat.kif 2971-2971 | |
(format ChineseTraditionalLanguage catalogItem "%1 是在 %2 ") | domainEnglishFormat.kif 2970-2970 | |
(format EnglishLanguage catalogItem "%1 is in %2") | domainEnglishFormat.kif 2969-2969 |
antecedent |
![]() |
(=> (and (instance ?MENU AlcoholMenu) (catalogItem ?X ?MENU)) (subclass ?X AlcoholicBeverage)) |
Dining.kif 215-219 | |
(=> (and (instance ?MENU BeverageMenu) (catalogItem ?X ?MENU)) (subclass ?X Beverage)) |
Dining.kif 204-208 |
|
(=> (and (instance ?MENU Menu) (catalogItem ?X ?MENU)) (subclass ?X (FoodForFn Human))) |
Dining.kif 178-182 | |
(=> (and (instance ?MENU SetMenu) (offers ?AGENT ?MENU) (catalogItem ?X ?MENU) (catalogItem ?Y ?MENU) (price ?X ?PRICE1 ?AGENT1) (price ?Y ?PRICE2 ?AGENT2)) (equal ?PRICE1 ?PRICE2)) |
Dining.kif 189-197 |
|
(=> (and (instance ?MENU WineMenu) (catalogItem ?X ?MENU)) (subclass ?X WineMenu)) |
Dining.kif 225-229 | |
(=> (and (offers ?AGENT ?CATALOG) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Object) (instance ?PROCESSINST ?PROCESS) (subclass ?PROCESS Process) (instance ?OBJ ?CLASS) (patient ?PROCESSINST ?OBJ)) (capability ?PROCESS agent ?AGENT)) |
Catalog.kif 97-106 | |
(=> (and (offers ?AGENT ?CATALOG) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Process)) (capability ?CLASS agent ?AGENT)) |
Catalog.kif 87-92 | |
(=> (and (offers ?AGENT ?CATALOG) (catalogItem ?OBJ ?CATALOG) (subclass ?OBJ Physical)) (modalAttribute (exists (?S ?X) (and (instance ?X ?OBJ) (instance ?S Selling) (agent ?S ?AGENT) (patient ?S ?X))) Possibility)) |
Catalog.kif 51-62 | |
(=> (and (offers ?AGENT ?CATALOG) (catalogItem ?PROP ?CATALOG) (subclass ?PROP Proposition)) (modalAttribute (exists (?S ?X) (and (realization ?X ?PROP) (instance ?S Selling) (patient ?S ?X) (agent ?S ?AGENT))) Possibility)) |
Catalog.kif 64-75 |
|
(=> (and (offersAtTime ?AGENT ?CATALOG ?TIMEINT) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Object) (instance ?PROCESSINSTANCE ?PROCESS) (subclass ?PROCESS Process) (instance ?OBJ ?CLASS) (patient ?PROCESSINSTANCE ?OBJ)) (capabilityDuring ?PROCESS agent ?AGENT ?TIMEINT)) |
Catalog.kif 136-145 | |
(=> (and (offersAtTime ?AGENT ?CATALOG ?TIMEINT) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Process)) (capabilityDuring ?CLASS agent ?AGENT ?TIMEINT)) |
Catalog.kif 129-134 |
|
![]() |
![]() |