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 2939-2940
(domain rateDetail 1 Reservation) Hotel.kif 2943-2943 The number 1 argument of rate detail is an instance of reservation
(domain rateDetail 2 Formula) Hotel.kif 2944-2944 The number 2 argument of rate detail is an instance of formula
(instance rateDetail BinaryPredicate) Hotel.kif 2938-2938 rate detail is an instance of binary predicate

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


(format ChineseLanguage rateDetail "%1 的 rate detail 是 %2 ") domainEnglishFormat.kif 4335-4335
(format ChineseTraditionalLanguage rateDetail "%1 的 rate detail 是 %2 ") domainEnglishFormat.kif 4334-4334
(format EnglishLanguage rateDetail "the rate detail of %1 is %2") domainEnglishFormat.kif 4333-4333
(termFormat EnglishLanguage rateDetail "rate detail") Hotel.kif 2941-2941


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