| 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 | |
| (domain offers 1 AutonomousAgent) | Catalog.kif 82-82 | offers 的 1 数量 是 施事体 的 instance |
| (domain offers 2 Abstract) | Catalog.kif 83-83 | offers 的 2 数量 是 抽象体 的 instance |
| (instance offers BinaryPredicate) | Catalog.kif 81-81 | offers 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage offers "%1 offers 拍卖样品在 %2 ") | domainEnglishFormat.kif 4014-4014 | |
| (format ChineseTraditionalLanguage offers "%1 offers 拍賣樣品在 %2 ") | domainEnglishFormat.kif 4013-4013 | |
| (format EnglishLanguage offers "%1 offers items for sale in %2") | domainEnglishFormat.kif 4012-4012 | |
| (termFormat EnglishLanguage offers "offers") | Catalog.kif 84-84 |
| antecedent |
|
|
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (and (offers ?AGENT ?CATALOG) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Process)) (capability ?CLASS agent ?AGENT)) |
Catalog.kif 88-93 | |
| (=> (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 (?P ?S ?X) (and (instance ?P ?PROP) (realization ?X ?P) (instance ?S Selling) (patient ?S ?X) (agent ?S ?AGENT))) Possibility)) |
Catalog.kif 64-76 | |
| (=> (and (offers ?HOTEL ?MP) (instance ?MP MealPlan) (includedMeal ?MP ?ATTR) (attribute ?HOTEL TravelerAccommodation) (guest ?GUEST ?HOTEL) (buys ?GUEST ?HOTEL ?MP)) (holdsDuring (WhenFn (guest ?GUEST ?HOTEL)) (exists (?TI) (holdsDuring ?TI (exists (?MEAL) (and (attribute ?MEAL ?ATTR) (hasPurpose ?MEAL (exists (?E) (and (instance ?E Eating) (agent ?E ?GUEST) (patient ?E ?MEAL)))))))))) |
Hotel.kif 1558-1578 |
|
| consequent |
|
|
| (=> (and (offersAtTime ?AGENT ?ATTR ?TIMEINT) (instance ?ATTR Attribute)) (holdsDuring ?TIMEINT (offers ?AGENT ?ATTR))) |
Catalog.kif 152-157 | |
| (=> (instance ?CATALOG Catalog) (exists (?X) (and (instance ?X AutonomousAgent) (offers ?X ?CATALOG)))) |
Catalog.kif 36-41 |
|
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