antecedent

(=>     (and         (instance ?MENU AlcoholMenu)         (catalogItem ?X ?MENU))     (subclass ?X AlcoholicBeverage))	Dining.kif 219-223	If a catalog is an instance of cocktail menu and a kind of entity is in the catalog, then a kind of entity is a subclass of alcoholic beverage
(=>     (and         (instance ?MENU BeverageMenu)         (catalogItem ?X ?MENU))     (subclass ?X Beverage))	Dining.kif 208-212	If a catalog is an instance of drinks menu and a kind of entity is in the catalog, then a kind of entity is a subclass of beverage
(=>     (and         (instance ?MENU Menu)         (catalogItem ?X ?MENU))     (subclass ?X         (FoodForFn Human)))	Dining.kif 178-182	If a catalog is an instance of menu and a kind of entity is in the catalog, then a kind of entity is a subclass of food for human
(=>     (and         (instance ?MENU SetMenu)         (offers ?AGENT ?MENU)         (catalogItem ?CLASS ?MENU)         (subclass ?CLASS PreparedFood)         (instance ?X ?VLASS)         (instance ?Y ?CLASS)         (not             (equal ?X ?Y))         (price ?X ?PRICE1 ?AGENT1)         (price ?Y ?PRICE2 ?AGENT2))     (equal ?PRICE1 ?PRICE2))	Dining.kif 189-201	If a catalog is an instance of set menu and an agent offers items for sale in the catalog and a kind of entity is in the catalog and a kind of entity is a subclass of prepared food and a physical is an instance of a class and another physical is an instance of the kind of entity and equal the physical and the other physical and the physical is price a currency measure for the agent1 and the other physical is price another currency measure for the agent2, then equal the currency measure and the other currency measure
(=>     (and         (instance ?MENU WineMenu)         (catalogItem ?X ?MENU))     (subclass ?X WineMenu))	Dining.kif 229-233	If a catalog is an instance of wine list and a kind of entity is in the catalog, then a kind of entity is a subclass of wine list
(=>     (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 98-107	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of object and a process is an instance of another kind of process and another kind of process is a subclass of process and another entity is an instance of the kind of entity and the other entity is a patient of the process, then the agent is capable of doing the other kind of process as a agent
(=>     (and         (offers ?AGENT ?CATALOG)         (catalogItem ?CLASS ?CATALOG)         (subclass ?CLASS Process))     (capability ?CLASS agent ?AGENT))	Catalog.kif 88-93	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of process, then the agent is capable of doing the kind of entity as a agent
(=>     (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	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of physical, then the statement there exist another entity and a third entity such that the third entity is an instance of the kind of entity and the other entity is an instance of selling and the agent is an agent of the other entity and the third entity is a patient of the other entity has the modal force of possibility
(=>     (and         (offers ?AGENT ?CATALOG)         (catalogItem ?PROP ?CATALOG)         (subclass ?PROP Proposition))     (modalAttribute         (exists (?P ?S ?X)             (and                 (instance ?P ?PROP)                 (realization ?X ?P)                 (instance ?S Selling)                 (patient ?S ?X)                 (agent ?S ?AGENT))) Possibility))	Catalog.kif 64-76	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of proposition, then the statement there exist another entity, a third entity and a fourth entity such that the other entity is an instance of the kind of entity and the fourth entity expresses the content of the other entity and the third entity is an instance of selling and the fourth entity is a patient of the third entity and the agent is an agent of the third entity has the modal force of possibility
(=>     (and         (offersAtTime ?AGENT ?CATALOG ?TIMEINT)         (catalogItem ?CLASS ?CATALOG)         (subclass ?CLASS Object)         (instance ?PROCESSINSTANCE ?PROCESS)         (subclass ?PROCESS Process)         (instance ?OBJ ?CLASS)         (patient ?PROCESSINSTANCE ?OBJ)         (instance ?TIMEINT ?TIME)         (subclass ?TIME TimeInterval))     (capabilityDuring ?PROCESS agent ?AGENT ?TIME))	Catalog.kif 139-150	If an agent offers items for sale in a catalog during a time interval and a kind of entity is in the catalog and a kind of entity is a subclass of object and a process is an instance of another kind of process and another kind of process is a subclass of process and another entity is an instance of the kind of entity and the other entity is a patient of the process and the time interval is an instance of another kind of time interval and another kind of time interval is a subclass of time interval, then the agent is capable of being a agent in the other kind of process during the other kind of time interval
(=>     (and         (offersAtTime ?AGENT ?CATALOG ?TIMEINT)         (catalogItem ?CLASS ?CATALOG)         (subclass ?CLASS Process)         (instance ?TIMEINT ?TIME)         (subclass ?TIME TimeInterval))     (capabilityDuring ?CLASS agent ?AGENT ?TIME))	Catalog.kif 130-137	If an agent offers items for sale in a catalog during a time interval and a kind of entity is in the catalog and a kind of entity is a subclass of process and the time interval is an instance of another kind of time interval and another kind of time interval is a subclass of time interval, then the agent is capable of being a agent in the kind of entity during the other kind of time interval

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