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 2926-2927
(domain rateDetail 1 Reservation) Hotel.kif 2930-2930
(domain rateDetail 2 Formula) Hotel.kif 2931-2931
(instance rateDetail BinaryPredicate) Hotel.kif 2925-2925

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 2928-2928


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