TreeView Knowledge Base Browser

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	Die Zahl 2 Argument von businessHours ist ein fall von AutonomousAgent %n{nicht}
(domainSubclass businessHours 1 TimeInterval)	Dining.kif 359-359	Die Zahl 1 Argument von businessHours ist eine teilkategorie von TimeInterval %n{nicht}
(instance businessHours BinaryPredicate)	Dining.kif 355-355	businessHours ist ein fall von BinaryPredicate %n{nicht}

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 ist eine teilrelation von businessHours
(termFormat EnglishLanguage businessHours "business hours")	Dining.kif 361-361