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 | Le nombre 2 argument de standardRetailHours est une instance de AutonomousAgent |
(domainSubclass standardRetailHours 1 TimeInterval) | Dining.kif 369-369 | Le nombre 1 argument de standardRetailHours est une sous-classe de interval temporel |
(instance standardRetailHours BinaryPredicate) | Dining.kif 365-365 | standardRetailHours est une instance de pr�dicat binaire |
(subrelation standardRetailHours businessHours) | Dining.kif 364-364 | standardRetailHours est une sous-relation de businessHours |
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 |