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 2952-2953
(domain rateDetail 1 Reservation) Hotel.kif 2956-2956 domain rateDetail, 1 and Reservation
(domain rateDetail 2 Formula) Hotel.kif 2957-2957 domain rateDetail, 2 and Formula
(instance rateDetail BinaryPredicate) Hotel.kif 2951-2951 instance rateDetail and BinaryPredicate

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


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