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 businessHours の数値 2 引数は AutonomousAgentinstance では %n
(domainSubclass businessHours 1 TimeInterval) Dining.kif 359-359 businessHours の数値 1 引数は 時間間隔subclass では %n
(instance businessHours BinaryPredicate) Dining.kif 355-355 businessHours2進述語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 standardRetailHoursbusinessHourssubrelation では %n
(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