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
defaultMinimumSphereRadius
Sigma KEE - defaultMinimumSphereRadius
defaultMinimumSphereRadius
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13490-13491
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13489-13489
域
defaultMinimumSphereRadius
, 2 and
LengthMeasure
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13488-13488
域子類
defaultMinimumSphereRadius
, 1 and
Object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13487-13487
例
defaultMinimumSphereRadius
and
BinaryPredicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3210-3210
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3209-3209
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3208-3208
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13492-13492
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13494-13504
Object
的
minimum
預期半徑是
測量
RealNumber
and
UnitOfMeasure
例
Object
and
Object
attribute
Object
and
球
模態屬性
RealNumber
ADIUS
Object
的
radius
是
測量
RealNumber
ADIUS and
UnitOfMeasure
少於
RealNumber
ADIUS and
RealNumber
and
較不可能
consequent
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1041-1054
例
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
毫米
No TPTP formula. May not be expressible in strict first order.
Weather.kif 3066-3072
例
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