businessHours |
appearance as argument number 1 |
(documentation businessHours EnglishLanguage "(businessHours ?TIMEINT ?AGENT) means that an ?AGENT conducts business-related activities during ?TIMEINT") | Dining.kif 356-358 | |
(domain businessHours 2 AutonomousAgent) | Dining.kif 360-360 | businessHours の数値 2 引数は AutonomousAgent の instance では %n |
(domainSubclass businessHours 1 TimeInterval) | Dining.kif 359-359 | businessHours の数値 1 引数は 時間間隔 のsubclass では %n |
(instance businessHours BinaryPredicate) | Dining.kif 355-355 | businessHours は 2進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage businessHours "%2 的 business 时数是 %1 ") | domainEnglishFormat.kif 2938-2938 | |
(format ChineseTraditionalLanguage businessHours "%2 的 business 時數是 %1 ") | domainEnglishFormat.kif 2937-2937 | |
(format EnglishLanguage businessHours "the business hours of %2 are %1") | domainEnglishFormat.kif 2936-2936 | |
(subrelation standardRetailHours businessHours) | Dining.kif 364-364 | standardRetailHours は businessHours の subrelation では %n |
(termFormat EnglishLanguage businessHours "business hours") | Dining.kif 361-361 |