standardRetailHours |
appearance as argument number 1 |
(documentation standardRetailHours EnglishLanguage "(%&standardRetailHours ?TIMEINT ?AGENT) means that an ?AGENT engages in Selling processes with customers only within the time specified by ?TIMEINT") | Dining.kif 366-368 | |
(domain standardRetailHours 2 AutonomousAgent) | Dining.kif 370-370 | standardRetailHours の数値 2 引数は AutonomousAgent の instance では %n |
(domainSubclass standardRetailHours 1 TimeInterval) | Dining.kif 369-369 | standardRetailHours の数値 1 引数は 時間間隔 のsubclass では %n |
(instance standardRetailHours BinaryPredicate) | Dining.kif 365-365 | standardRetailHours は 2進述語 の instance では %n |
(subrelation standardRetailHours businessHours) | Dining.kif 364-364 | standardRetailHours は businessHours の subrelation では %n |
appearance as argument number 2 |
(format ChineseLanguage standardRetailHours "standard retail hours 对于 %2 是 %1 ") | domainEnglishFormat.kif 4614-4614 | |
(format ChineseTraditionalLanguage standardRetailHours "standard retail hours 對於 %2 是 %1 ") | domainEnglishFormat.kif 4613-4613 | |
(format EnglishLanguage standardRetailHours "the standard retail hours for %2 are %1") | domainEnglishFormat.kif 4612-4612 | |
(termFormat EnglishLanguage standardRetailHours "standard retail hours") | Dining.kif 371-371 |
antecedent |