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 13481-13482
(
domain
defaultMaximumSphereRadius
2
LengthMeasure
)
Mid-level-ontology.kif 13480-13480
defaultMaximumSphereRadius
の数値 2 引数は
長さ測定
の
instance
では %n
(
domainSubclass
defaultMaximumSphereRadius
1
Object
)
Mid-level-ontology.kif 13479-13479
defaultMaximumSphereRadius
の数値 1 引数は
オブジェクト
の
subclass
では %n
(
instance
defaultMaximumSphereRadius
BinaryPredicate
)
Mid-level-ontology.kif 13478-13478
defaultMaximumSphereRadius
は
2進述語
の
instance
では %n
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 13483-13483
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 13485-13496
defaultMaximumSphereRadius
オブジェクト
and
実数
の
測定単位
(s)
オブジェクト
は
オブジェクト
の
instance
では %n
Sphere
は
オブジェクト
の
attribute
では %n
ステートメント
実数
ADIUS
sphereRadius
オブジェクト
and
実数
ADIUS の
測定単位
(s)
実数
ADIUS は
実数
より
greater
では %n には
Unlikely
の
modal
force
が ある
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 1053-1066
エンティティー
は
Raining
の
instance
では %n
エンティティー
エンティティー
and
クラス
エンティティー
は
コレクション
の
instance
では %n
エンティティー
は
水
の
instance
では %n
エンティティー
は
LiquidDrop
の
instance
では %n
エンティティー
は
クラス
の
instance
では %n
(=>
(
instance
?STUFF
Hailstone
)
(
exists
(?CLASS)
(
and
(
instance
?STUFF ?CLASS)
(
defaultMinimumSphereRadius
?CLASS
(
MeasureFn
0.5
Centimeter
))
(
defaultMaximumSphereRadius
?CLASS
(
MeasureFn
15.0
Centimeter
)))))
Weather.kif 3079-3085
エンティティー
は
Hailstone
の
instance
では %n
オブジェクト
エンティティー
は
オブジェクト
の
instance
では %n
defaultMinimumSphereRadius
オブジェクト
and 0.5 の
Centimeter
(s)
defaultMaximumSphereRadius
オブジェクト
and 15.0 の
Centimeter
(s)
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