offersAtTime |
appearance as argument number 1 |
(documentation offersAtTime EnglishLanguage "(%&offersAtTime ?AGENT ?CATALOG ?TIMEINT) means that ?AGENT offers items of ?CATALOG to its customer only during the specified ?TIMEINT") | Catalog.kif 122-124 | |
(domain offersAtTime 1 AutonomousAgent) | Catalog.kif 126-126 | offersAtTime の数値 1 引数は AutonomousAgent の instance では %n |
(domain offersAtTime 2 Entity) | Catalog.kif 127-127 | offersAtTime の数値 2 引数は エンティティー の instance では %n |
(domain offersAtTime 3 TimeInterval) | Catalog.kif 128-128 | offersAtTime の数値 3 引数は 時間間隔 の instance では %n |
(instance offersAtTime TernaryPredicate) | Catalog.kif 125-125 | offersAtTime は 3進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage offersAtTime "%1 offers 拍卖样品在 %2 在其间 %3 ") | domainEnglishFormat.kif 4018-4018 | |
(format ChineseTraditionalLanguage offersAtTime "%1 offers 拍賣樣品在 %2 在其間 %3 ") | domainEnglishFormat.kif 4017-4017 | |
(format EnglishLanguage offersAtTime "%1 offers items for sale in %2 during %3") | domainEnglishFormat.kif 4016-4016 | |
(termFormat EnglishLanguage offersAtTime "offers at time") | domainEnglishFormat.kif 65889-65889 |
antecedent |