Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 The number 2 argument of business hours is an instance of agent
(domainSubclass businessHours 1 TimeInterval) Dining.kif 359-359 The number 1 argument of business hours is a subclass of time interval
(instance businessHours BinaryPredicate) Dining.kif 355-355 business hours is an instance of binary predicate

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 standard retail hours is a subrelation of business hours
(termFormat EnglishLanguage businessHours "business hours") Dining.kif 361-361

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners