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

Formal Language: 



KB Term:  Term intersection
English Word: 

  rateDetail

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 Le nombre 1 argument de rateDetail est une instance de Reservation
(domain rateDetail 2 Formula) Hotel.kif 2989-2989 Le nombre 2 argument de rateDetail est une instance de formule
(instance rateDetail BinaryPredicate) Hotel.kif 2983-2983 rateDetail est une instance de pr�dicat binaire

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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