Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| businessHours |
| appearance as argument number 1 |
|
| (instance businessHours BinaryPredicate) | Dining.kif 355-355 | business hours is an instance of binary predicate |
| (documentation businessHours EnglishLanguage "(businessHours ?TIMEINT ?AGENT) means that an ?AGENT conducts business_related activities during ?TIMEINT") | Dining.kif 356-358 | business hours is an instance of binary predicate |
| (domainSubclass businessHours 1 TimeInterval) | Dining.kif 359-359 | The number 1 argument of business hours is a subclass of timeframe |
| (domain businessHours 2 AutonomousAgent) | Dining.kif 360-360 | The number 2 argument of business hours is an instance of agent |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage businessHours "business hours") | Dining.kif 361-361 | |
| (subrelation standardRetailHours businessHours) | Dining.kif 364-364 | standard retail hours is a subrelation of business hours |
| (format EnglishLanguage businessHours "the business hours of %2 are %1") | domainEnglishFormat.kif 2932-2932 | standard retail hours is a subrelation of business hours |
| (format ChineseTraditionalLanguage businessHours "%2 的 business 時數是 %1 ") | domainEnglishFormat.kif 2933-2933 | standard retail hours is a subrelation of business hours |
| (format ChineseLanguage businessHours "%2 的 business 时数是 %1 ") | domainEnglishFormat.kif 2934-2934 | standard retail hours is a subrelation of business hours |
|