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
域
priceRange
, 2 and
CurrencyMeasure
(
domain
priceRange
3
CurrencyMeasure
)
Catalog.kif 205-205
域
priceRange
, 3 and
CurrencyMeasure
(
domain
priceRange
4
AutonomousAgent
)
Catalog.kif 206-206
域
priceRange
, 4 and
AutonomousAgent
(
domainSubclass
priceRange
1
Entity
)
Catalog.kif 203-203
域子類
priceRange
, 1 and
Entity
(
instance
priceRange
QuaternaryPredicate
)
Catalog.kif 197-197
例
priceRange
and
QuaternaryPredicate
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