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
defaultMaximumSphereRadius
Sigma KEE - defaultMaximumSphereRadius
defaultMaximumSphereRadius
appearance as argument number 1
(
documentation
defaultMaximumSphereRadius
EnglishLanguage
"A
BinaryPredicate
that states the assumed maximum
sphereRadius
of a spherical
Object
")
Mid-level-ontology.kif 13482-13483
(
domain
defaultMaximumSphereRadius
2
LengthMeasure
)
Mid-level-ontology.kif 13481-13481
域
defaultMaximumSphereRadius
, 2 and
LengthMeasure
(
domainSubclass
defaultMaximumSphereRadius
1
Object
)
Mid-level-ontology.kif 13480-13480
域子類
defaultMaximumSphereRadius
, 1 and
Object
(
instance
defaultMaximumSphereRadius
BinaryPredicate
)
Mid-level-ontology.kif 13479-13479
例
defaultMaximumSphereRadius
and
BinaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
defaultMaximumSphereRadius
"%1 的 maximum 預期半径是 %2 ")
domainEnglishFormat.kif 3186-3186
(
format
ChineseTraditionalLanguage
defaultMaximumSphereRadius
"%1 的 maximum 預期半徑是 %2 ")
domainEnglishFormat.kif 3185-3185
(
format
EnglishLanguage
defaultMaximumSphereRadius
"the maximum expected radius of %1 is %2")
domainEnglishFormat.kif 3184-3184
(
termFormat
EnglishLanguage
defaultMaximumSphereRadius
"default maximum sphere radius")
Mid-level-ontology.kif 13484-13484
antecedent
(=>
(
and
(
defaultMaximumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
greaterThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13486-13497
Object
的
maximum
預期半徑是
測量
RealNumber
and
UnitOfMeasure
例
Object
and
Object
attribute
Object
and
球
模態屬性
RealNumber
ADIUS
Object
的
radius
是
測量
RealNumber
ADIUS and
UnitOfMeasure
比較多
RealNumber
ADIUS and
RealNumber
and
較不可能
consequent
(=>
(
instance
?RAIN
Raining
)
(
exists
(?CLTN ?R ?CLASS)
(
and
(
instance
?CLTN
Collection
)
(
instance
?R
Water
)
(
instance
?R
LiquidDrop
)
(
instance
?R ?CLASS
(
member
?R ?CLTN)
(
objectTransferred
?RAIN ?CLTN)
(
defaultMinimumSphereRadius
?CLASS
(
MeasureFn
0.1
Millimeter
))
(
defaultMaximumSphereRadius
?CLASS
(
MeasureFn
9.0
Millimeter
))))))
Weather.kif 1057-1070
例
Entity
and
下雨
Entity
Entity
and
Class
例
Entity
and
Collection
例
Entity
and
Water
例
Entity
and
LiquidDrop
例
Entity
,
Class
,
會員
Entity
and
Entity
,
objectTransferred
Entity
and
Entity
,
Class
的
minimum
預期半徑是
測量
0.1 and
毫米
and
Class
的
maximum
預期半徑是
測量
9.0 and
毫米
(=>
(
instance
?STUFF
Hailstone
)
(
exists
(?CLASS)
(
and
(
instance
?STUFF ?CLASS)
(
defaultMinimumSphereRadius
?CLASS
(
MeasureFn
0.5
Centimeter
))
(
defaultMaximumSphereRadius
?CLASS
(
MeasureFn
15.0
Centimeter
)))))
Weather.kif 3083-3089
例
Entity
and
Hailstone
Object
例
Entity
and
Object
Object
的
minimum
預期半徑是
測量
0.5 and
厘米
Object
的
maximum
預期半徑是
測量
15.0 and
厘米
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