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
O argumento numero 1 de
approximateDiameter
e' uma
instancia
de
Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17942-17942
O argumento numero 2 de
approximateDiameter
e' uma
instancia
de
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17944-17944
approximateDiameter
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17945-17945
approximateDiameter
e' uma
instancia
de
Relacao com Valor Unico
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17946-17946
approximateDiameter
e' uma
instancia
de
Relacao Total
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
Objeto auto-conectado
e' uma
instancia
de
LiquidDrop
approximateDiameter
Objeto auto-conectado
and
Numero Real
Micrometer
(s) 500.0 e'
menos
que
Numero Real
Objeto auto-conectado
e' uma
instancia
de
Droplet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7440-7451
Objeto
e' uma
instancia
de
ParticulateMatter
Objeto auto-conectado
e' uma &parte de
Objeto
approximateDiameter
Objeto auto-conectado
and
Numero Real
Micrometer
(s) 10.0 e'
maior
que
Numero Real
Numero Real
e'
maior
que 2.5
Objeto
10
Objeto
10 e' uma
instancia
de
CoarseParticulateMatter
Objeto
10 e' uma &parte de
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7469-7479
Objeto
e' uma
instancia
de
ParticulateMatter
Objeto auto-conectado
e' uma &parte de
Objeto
approximateDiameter
Objeto auto-conectado
and
Numero Real
Micrometer
(s)
Numero Real
e'
maior
ou igual a 2.5
Objeto
25
Objeto
25 e' uma
instancia
de
FineParticulateMatter
Objeto
25 e' uma &parte de
Objeto
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17948-17959
approximateDiameter
Objeto auto-conectado
and
Numero Real
Numero Real
M(s)
sphereRadius
Objeto
and
Numero Real
+ 2.0
Numero Real
M(s) a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s)
Numero Real
M e' uma
instancia
de
UnitOfLength
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
Numero Real
e'
igual
a
Numero Real
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7311-7316
Objeto auto-conectado
e' uma
instancia
de
Boulder
approximateDiameter
Objeto auto-conectado
and
Numero Real
Millimeter
(s)
Numero Real
e'
maior
que 256.0
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7288-7295
Objeto auto-conectado
e' uma
instancia
de
Cobble
approximateDiameter
Objeto auto-conectado
and
Numero Real
Millimeter
(s)
256.0 e'
maior
que
Numero Real
Numero Real
e'
maior
que 64.0
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7265-7272
Objeto auto-conectado
e' uma
instancia
de
Pebble
approximateDiameter
Objeto auto-conectado
and
Numero Real
Millimeter
(s)
64.0 e'
maior
que
Numero Real
Numero Real
e'
maior
que 2.0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17972-17980
Objeto auto-conectado
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Clay
approximateDiameter
Objeto auto-conectado
and
Numero Real
Millimeter
(s)
0.004 e'
maior
que
Numero Real
Numero Real
e'
maior
que 0.001
No TPTP formula. May not be expressible in strict first order.
Geography.kif 4375-4383
Objeto auto-conectado
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Sand
approximateDiameter
Objeto auto-conectado
and
Numero Real
Millimeter
(s)
2.0 e'
maior
que
Numero Real
Numero Real
e'
maior
que 0.062
No TPTP formula. May not be expressible in strict first order.
Geography.kif 4420-4428
Objeto auto-conectado
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Silt
approximateDiameter
Objeto auto-conectado
and
Numero Real
Millimeter
(s)
0.062 e'
maior
que
Numero Real
Numero Real
e'
maior
que 0.004
consequent
No TPTP formula. May not be expressible in strict first order.
Food.kif 1083-1088
Objeto auto-conectado
e' uma
instancia
de
Grain
grainSize
Objeto auto-conectado
and
Numero Real
approximateDiameter
Objeto auto-conectado
and
Numero Real
UnitOfLength
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31179-31184
memberMeasure
Conjunto
,
MeasurementAttribute
and
Medida de Comprimento
Conjunto
e' uma
instancia
de
Conjunto
Objeto auto-conectado
e' um
elemento
de
Conjunto
approximateDiameter
Objeto auto-conectado
and
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31186-31191
memberMeasure
Classe
,
ApproximateDiameter
and
Medida de Comprimento
Classe
e' uma
instancia
de
Classe
Objeto auto-conectado
e' uma
instancia
de
Classe
approximateDiameter
Objeto auto-conectado
and
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2803-2815
Transferencia
e' uma
instancia
de
Drizzling
Colecao
Objeto auto-conectado
and
Numero Real
Colecao
e' uma
instancia
de
Colecao
Objeto auto-conectado
e' uma
instancia
de
Agua
Objeto auto-conectado
e' uma
instancia
de
LiquidDrop
Objeto auto-conectado
e'
membro
de
Colecao
objectTransferred
Transferencia
and
Colecao
approximateDiameter
Objeto auto-conectado
and
Numero Real
Millimeter
(s) o argumento
Numero Real
e'
menor
ou igual a 0.5 tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7413-7422
Objeto
e' uma
instancia
de
ParticulateMatter
Objeto auto-conectado
Objeto
and
Numero Real
Objeto
e' uma
instancia
de
AtmosphericRegion
Objeto
e'
situado
em
Objeto
Objeto auto-conectado
e' uma &parte de
Objeto
approximateDiameter
Objeto auto-conectado
and
Numero Real
Micrometer
(s) 1000.0 e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21559-21568
Objeto
e' uma
instancia
de
Colloid
Objeto auto-conectado
Numero Real
Objeto auto-conectado
e' uma &parte de
Objeto
Insoluble
e' um
atributo
de
Objeto auto-conectado
approximateDiameter
Objeto auto-conectado
and
Numero Real
Nanometer
(s) 977.0 e'
maior
que
Numero Real
Numero Real
e'
maior
que 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