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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - businessHours
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 Le nombre 2 argument de businessHours est une instance de AutonomousAgent
(domainSubclass businessHours 1 TimeInterval) Dining.kif 359-359 Le nombre 1 argument de businessHours est une sous-classe de interval temporel
(instance businessHours BinaryPredicate) Dining.kif 355-355 businessHours est une instance de pr�dicat binaire

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 est une sous-relation de businessHours
(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