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 | |
(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 |
(instance offers BinaryPredicate) | Catalog.kif 81-81 | offers is an instance of binary predicate |
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 |
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 |
|