Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
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
priceRange
Sigma KEE - priceRange
priceRange
appearance as argument number 1
(
documentation
priceRange
EnglishLanguage
"(
priceRange
?OBJ ?MIN ?MAX ?AGENT) means that
AutonomousAgent
?AGENT attaches range of possible
productPrice
for ?OBJ with minimum ?MIN and maximum ?MAX")
Catalog.kif 198-200
(
domain
priceRange
2
CurrencyMeasure
)
Catalog.kif 204-204
Le nombre 2 argument de
priceRange
est une
instance
de
mesure de devise
(
domain
priceRange
3
CurrencyMeasure
)
Catalog.kif 205-205
Le nombre 3 argument de
priceRange
est une
instance
de
mesure de devise
(
domain
priceRange
4
AutonomousAgent
)
Catalog.kif 206-206
Le nombre 4 argument de
priceRange
est une
instance
de
AutonomousAgent
(
domainSubclass
priceRange
1
Entity
)
Catalog.kif 203-203
Le nombre 1 argument de
priceRange
est une
sous
-classe de
entit�
(
instance
priceRange
QuaternaryPredicate
)
Catalog.kif 197-197
priceRange
est une
instance
de
pr�dicat quaternaire
appearance as argument number 2
(
format
ChineseLanguage
priceRange
"%1 costs
between
%2 和 %3 从 %4 ")
domainEnglishFormat.kif 4214-4214
(
format
ChineseTraditionalLanguage
priceRange
"%1 costs
between
%2 和 %3 從 %4 ")
domainEnglishFormat.kif 4213-4213
(
format
EnglishLanguage
priceRange
"%1 costs
between
%2 and %3 from %4")
domainEnglishFormat.kif 4212-4212
(
termFormat
EnglishLanguage
priceRange
"price range")
Catalog.kif 201-201
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