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
approximateDiameter
Sigma KEE - approximateDiameter
approximateDiameter
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17936-17936
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17934-17935
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17941-17941
域
approximateDiameter
, 1 and
SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17942-17942
域
approximateDiameter
, 2 and
LengthMeasure
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17944-17944
例
approximateDiameter
and
BinaryPredicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17945-17945
例
approximateDiameter
and
SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17946-17946
例
approximateDiameter
and
TotalValuedRelation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2818-2818
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2817-2817
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2816-2816
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17939-17939
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17938-17938
antecedent
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7524-7530
例
SelfConnectedObject
and
LiquidDrop
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
Micrometer
少於
500.0 and
RealNumber
例
SelfConnectedObject
and
Droplet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7440-7451
例
Object
and
ParticulateMatter
部分
SelfConnectedObject
and
Object
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
Micrometer
比較多
10.0 and
RealNumber
比較多
RealNumber
and 2.5
Object
0
例
Object
0 and
CoarseParticulateMatter
部分
Object
0 and
Object
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7469-7479
例
Object
and
ParticulateMatter
部分
SelfConnectedObject
and
Object
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
Micrometer
大於或等於
RealNumber
and 2.5
Object
5
例
Object
5 and
FineParticulateMatter
部分
Object
5 and
Object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17948-17959
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
RealNumber
M
Object
的
radius
是
測量
部
RealNumber
and 2.0 and
RealNumber
M
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
測量
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
例
RealNumber
M and
UnitOfLength
例
UnitOfMeasure
and
UnitOfVolume
等於
RealNumber
and
RealNumber
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7311-7316
例
SelfConnectedObject
and
Boulder
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
毫米
比較多
RealNumber
and 256.0
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7288-7295
例
SelfConnectedObject
and
Cobble
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
毫米
比較多
256.0 and
RealNumber
比較多
RealNumber
and 64.0
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7265-7272
例
SelfConnectedObject
and
Pebble
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
毫米
比較多
64.0 and
RealNumber
比較多
RealNumber
and 2.0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17972-17980
部分
SelfConnectedObject
and
Object
例
Object
and
粘土
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
毫米
比較多
0.004 and
RealNumber
比較多
RealNumber
and 0.001
No TPTP formula. May not be expressible in strict first order.
Geography.kif 4375-4383
部分
SelfConnectedObject
and
Object
例
Object
and
砂
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
毫米
比較多
2.0 and
RealNumber
比較多
RealNumber
and 0.062
No TPTP formula. May not be expressible in strict first order.
Geography.kif 4420-4428
部分
SelfConnectedObject
and
Object
例
Object
and
淤泥
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
毫米
比較多
0.062 and
RealNumber
比較多
RealNumber
and 0.004
consequent
No TPTP formula. May not be expressible in strict first order.
Food.kif 1083-1088
例
SelfConnectedObject
and
Grain
grainSize
SelfConnectedObject
and
RealNumber
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
UnitOfLength
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31179-31184
memberMeasure
Set
,
MeasurementAttribute
and
LengthMeasure
例
Set
and
Set
元件
SelfConnectedObject
and
Set
SelfConnectedObject
的
approximate
diameter
是
LengthMeasure
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31186-31191
memberMeasure
Class
,
ApproximateDiameter
and
LengthMeasure
例
Class
and
Class
例
SelfConnectedObject
and
Class
SelfConnectedObject
的
approximate
diameter
是
LengthMeasure
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2803-2815
例
Transfer
and
Drizzling
Collection
SelfConnectedObject
and
RealNumber
例
Collection
and
Collection
例
SelfConnectedObject
and
Water
例
SelfConnectedObject
and
LiquidDrop
會員
SelfConnectedObject
and
Collection
objectTransferred
Transfer
and
Collection
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
毫米
模態屬性
小於或等於
RealNumber
and 0.5 and
容易
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7413-7422
例
Object
and
ParticulateMatter
SelfConnectedObject
Object
and
RealNumber
例
Object
and
大氣地區
位於
Object
and
Object
部分
SelfConnectedObject
and
Object
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
Micrometer
比較多
1000.0 and
RealNumber
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21559-21568
例
Object
and
膠體
SelfConnectedObject
RealNumber
部分
SelfConnectedObject
and
Object
attribute
SelfConnectedObject
and
Insoluble
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
Nanometer
比較多
977.0 and
RealNumber
比較多
RealNumber
and 0.95
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