TreeView Knowledge Base Browser

appearance as argument number 1

(instance rateDetail BinaryPredicate)	Hotel.kif 3001-3001	rate detail is an instance of binary predicate
(documentation rateDetail EnglishLanguage "(rateDetail ?RESERVE ?FORMULA) gives the price detail associated with each item in the reservation")	Hotel.kif 3002-3003	rate detail is an instance of binary predicate
(domain rateDetail 1 Reservation)	Hotel.kif 3006-3006	The number 1 argument of rate detail is an instance of reservation
(domain rateDetail 2 Formula)	Hotel.kif 3007-3007	The number 2 argument of rate detail is an instance of formula

appearance as argument number 2

(termFormat EnglishLanguage rateDetail "rate detail")	Hotel.kif 3004-3004
(format EnglishLanguage rateDetail "the rate detail of %1 is %2")	domainEnglishFormat.kif 4328-4328
(format ChineseTraditionalLanguage rateDetail "%1 的 rate detail 是 %2 ")	domainEnglishFormat.kif 4329-4329
(format ChineseLanguage rateDetail "%1 的 rate detail 是 %2 ")	domainEnglishFormat.kif 4330-4330