| 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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners