(=>
(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
(offers ?AGENT ?ATTR)
(instance ?ATTR Attribute))
(modalAttribute
(exists (?OBJ ?SELL)
(and
(instance ?SELL Selling)
(attribute ?OBJ ?ATTR)
(patient ?SELL ?OBJ)
(agent ?SELL ?AGENT))) Possibility)) |
Catalog.kif 109-119 |
If X offers items for sale in Y and Y is an instance of attribute, then the statement there exist Z, W such that W is an instance of selling, Y is an attribute of Z, Z is a patient of W, and X is an agent of W has the modal force of possibility |
(=>
(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 |
offers