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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - rateDetail
rateDetail

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(format ChineseLanguage rateDetail "%1 的 rate detail 是 %2 ") domainEnglishFormat.kif 4326-4326
(format ChineseTraditionalLanguage rateDetail "%1 的 rate detail 是 %2 ") domainEnglishFormat.kif 4325-4325
(format EnglishLanguage rateDetail "the rate detail of %1 is %2") domainEnglishFormat.kif 4324-4324
(termFormat EnglishLanguage rateDetail "rate detail") Hotel.kif 2986-2986


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