Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| offers |
| appearance as argument number 1 |
|
| (documentation offers EnglishLanguage "(offers ?AGENT ?CATALOG) means that ?AGENT offers items of ?CATALOG to its customers") | Catalog.kif 79-80 | |
| (instance offers BinaryPredicate) | Catalog.kif 81-81 | offers is an instance of binary predicate |
| (domain offers 1 AutonomousAgent) | Catalog.kif 82-82 | The number 1 argument of offers is an instance of agent |
| (domain offers 2 Abstract) | Catalog.kif 83-83 | The number 2 argument of offers is an instance of abstract |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage offers "offers") | Catalog.kif 84-84 | |
| (format EnglishLanguage offers "%1 offers items for sale in %2") | domainEnglishFormat.kif 4016-4016 | |
| (format ChineseTraditionalLanguage offers "%1 offers 拍賣樣品在 %2 ") | domainEnglishFormat.kif 4017-4017 | |
| (format ChineseLanguage offers "%1 offers 拍卖样品在 %2 ") | domainEnglishFormat.kif 4018-4018 |
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (instance ?CATALOG Catalog) (exists (?X) (and (instance ?X AutonomousAgent) (offers ?X ?CATALOG)))) |
Catalog.kif 36-41 | If X is an instance of catalog, then there exists Y such that Y is an instance of agent and Y offers items for sale in X |
| (=> (and (offersAtTime ?AGENT ?ATTR ?TIMEINT) (instance ?ATTR Attribute)) (holdsDuring ?TIMEINT (offers ?AGENT ?ATTR))) |
Catalog.kif 152-157 | If X offers items for sale in Y during Z and Y is an instance of attribute, then X offers items for sale in Y holds during Z |
|