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 | Die Zahl 2 Argument von standardRetailHours ist ein fall von AutonomousAgent %n{nicht} |
(domainSubclass standardRetailHours 1 TimeInterval) | Dining.kif 369-369 | Die Zahl 1 Argument von standardRetailHours ist eine teilkategorie von TimeInterval %n{nicht} |
(instance standardRetailHours BinaryPredicate) | Dining.kif 365-365 | standardRetailHours ist ein fall von BinaryPredicate %n{nicht} |
(subrelation standardRetailHours businessHours) | Dining.kif 364-364 | standardRetailHours ist eine teilrelation von 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 |
![]() |
![]() |
![]() |