Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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 2995-2996
(
domain
rateDetail
1
Reservation
)
Hotel.kif 2999-2999
(
domain
rateDetail
2
Formula
)
Hotel.kif 3000-3000
(
instance
rateDetail
BinaryPredicate
)
Hotel.kif 2994-2994
appearance as argument number 2
(
format
ChineseLanguage
rateDetail
"%1 的 rate
de
tail 是 %2 ")
domainEnglishFormat.kif 4330-4330
(
format
ChineseTraditionalLanguage
rateDetail
"%1 的 rate
de
tail 是 %2 ")
domainEnglishFormat.kif 4329-4329
(
format
EnglishLanguage
rateDetail
"the rate
de
tail of %1 is %2")
domainEnglishFormat.kif 4328-4328
(
termFormat
EnglishLanguage
rateDetail
"rate detail")
Hotel.kif 2997-2997
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