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 Il numero 1 argomenti di rateDetail è un istanza di Reservation
(domain rateDetail 2 Formula) Hotel.kif 2989-2989 Il numero 2 argomenti di rateDetail è un istanza di Formula
(instance rateDetail BinaryPredicate) Hotel.kif 2983-2983 rateDetail è un' istanza di PredicatoBinario

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