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 | Le nombre 1 argument de offersAtTime est une instance de AutonomousAgent |
(domain offersAtTime 2 Entity) | Catalog.kif 127-127 | Le nombre 2 argument de offersAtTime est une instance de entit� |
(domain offersAtTime 3 TimeInterval) | Catalog.kif 128-128 | Le nombre 3 argument de offersAtTime est une instance de interval temporel |
(instance offersAtTime TernaryPredicate) | Catalog.kif 125-125 | offersAtTime est une instance de pr�dicat ternaire |
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 |