(=>
(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 X offers items for sale in Y, Z is in Y, and Z is a subclass of physical, then the statement there exist W, V such that V is an instance of Z, W is an instance of selling, X is an agent of W, and V is a patient of W 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 X offers items for sale in Y, Z is in Y, and Z is a subclass of proposition, then the statement there exist W, V, U such that W is an instance of Z, U expresses the content of W, V is an instance of selling, U is a patient of V, and X is an agent of V has the modal force of possibility |
(=>
(and
(offers ?AGENT ?CATALOG)
(catalogItem ?CLASS ?CATALOG)
(subclass ?CLASS Process))
(capability ?CLASS agent ?AGENT)) |
Catalog.kif 88-93 |
If X offers items for sale in Y, Z is in Y, and Z is a subclass of process, then X is capable of doing Z as a agent |
(=>
(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 All of the following hold: (1) X offers items for sale in Y (2) Z is in Y (3) Z is a subclass of object (4) W is an instance of V (5) V is a subclass of process (6) U is an instance of Z (7) U is a patient of W, then X is capable of doing V as a agent |
(=>
(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 X offers items for sale in Y during Z, W is in Y, W is a subclass of process, Z is an instance of V, and V is a subclass of timeframe, then X is capable of being a agent in W during V |
(=>
(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 All of the following hold: (1) X offers items for sale in Y during Z (2) W is in Y (3) W is a subclass of object (4) V is an instance of U (5) U is a subclass of process (6) T is an instance of W (7) T is a patient of V (8) Z is an instance of S (9) S is a subclass of timeframe, then X is capable of being a agent in U during S |
(=>
(and
(instance ?MENU Menu)
(catalogItem ?X ?MENU))
(subclass ?X
(FoodForFn Human))) |
Dining.kif 178-182 |
If X is an instance of menu and Y is in X, then Y 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 All of the following hold: (1) X is an instance of set menu (2) Y offers items for sale in X (3) Z is in X (4) Z is a subclass of food (5) W is an instance of V (6) U is an instance of Z (7) equal W and U (8) W is price T for S (9) U is price R for Q, then equal T and R |
(=>
(and
(instance ?MENU BeverageMenu)
(catalogItem ?X ?MENU))
(subclass ?X Beverage)) |
Dining.kif 208-212 |
If X is an instance of drinks menu and Y is in X, then Y is a subclass of beverage |
(=>
(and
(instance ?MENU AlcoholMenu)
(catalogItem ?X ?MENU))
(subclass ?X AlcoholicBeverage)) |
Dining.kif 219-223 |
If X is an instance of cocktail menu and Y is in X, then Y is a subclass of alcoholic beverage |
(=>
(and
(instance ?MENU WineMenu)
(catalogItem ?X ?MENU))
(subclass ?X WineMenu)) |
Dining.kif 229-233 |
If X is an instance of wine list and Y is in X, then Y is a subclass of wine list |
catalogItem