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
diameter
Sigma KEE - diameter
diameter
appearance as argument number 1
(
documentation
diameter
ChineseLanguage
"(
diameter
?CIRCLE ?LENGTH) 的意思是
Circle
?CIRCLE 的直径的长度是 ?LENGTH。")
chinese_format.kif 2653-2654
(
documentation
diameter
EnglishLanguage
"(
diameter
?CIRCLE ?LENGTH) means that the diameter of the
Circle
?CIRCLE has a length of ?LENGTH.")
Merge.kif 7666-7667
(
documentation
diameter
JapaneseLanguage
"(
diameter
?CIRCLE ?LENGTH) とは、
Circle
?CIRCLEの直径が ?LENGTH の長さを有することを意味する。")
japanese_format.kif 1370-1371
(
domain
diameter
1
Circle
)
Merge.kif 7663-7663
O argumento numero 1 de
diameter
e' uma
instancia
de
Circle
(
domain
diameter
2
LengthMeasure
)
Merge.kif 7664-7664
O argumento numero 2 de
diameter
e' uma
instancia
de
Medida de Comprimento
(
instance
diameter
BinaryPredicate
)
Merge.kif 7660-7660
diameter
e' uma
instancia
de
Predicado Binario
(
instance
diameter
SingleValuedRelation
)
Merge.kif 7661-7661
diameter
e' uma
instancia
de
Relacao com Valor Unico
(
instance
diameter
TotalValuedRelation
)
Merge.kif 7662-7662
diameter
e' uma
instancia
de
Relacao Total
appearance as argument number 2
(
format
ChineseLanguage
diameter
"%1 的
diameter
%n 是 %2")
chinese_format.kif 617-617
(
format
EnglishLanguage
diameter
"the
diameter
of %1 is %n %2")
english_format.kif 620-620
(
format
FrenchLanguage
diameter
"le diam�tre de %1 est %n %2")
french_format.kif 373-373
(
format
ItalianLanguage
diameter
"il diametro di %1 è %n %2")
relations-it.txt 73-73
(
format
JapaneseLanguage
diameter
"%1 の
diameter
は %2 では %n")
japanese_format.kif 2107-2107
(
format
PortugueseLanguage
diameter
"o diametro de %1 e' %n %2")
portuguese_format.kif 325-325
(
format
de
diameter
"der durchmesser von %1 ist %2 %n{nicht}")
relations-de.txt 809-809
(
format
hi
diameter
"%1 kaa vyaasa %2 %n hai")
relations-hindi.txt 114-114
(
format
ro
diameter
"
diameter
%t{diametrul} lui %1 %n{nu} este %2")
relations-ro.kif 395-395
(
format
sv
diameter
"
diameter
n på %1 är %n{inte} %2")
relations-sv.txt 414-414
(
format
tg
diameter
"ang bantod ng %1 %n ay %2")
relations-cb.txt 107-107
(
termFormat
ChineseLanguage
diameter
"圆周")
chinese_format.kif 618-618
(
termFormat
ChineseLanguage
diameter
"直径")
domainEnglishFormat.kif 19428-19428
(
termFormat
ChineseTraditionalLanguage
diameter
"直徑")
domainEnglishFormat.kif 19427-19427
(
termFormat
EnglishLanguage
diameter
"diameter")
domainEnglishFormat.kif 19426-19426
(
termFormat
tg
diameter
"bantod")
relations-tg.txt 163-163
antecedent
(=>
(
and
(
instance
?ET
AuditoryCanal
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
diameter
?ET
(
MeasureFn
?N
Millimeter
)))
(
approximateValue
?N 0.7))
Anatomy.kif 1576-1583
Circle
e' uma
instancia
de
AuditoryCanal
Circle
e' uma &parte de
Objeto
Healthy
e' um
atributo
de
Objeto
o
diametro
de
Circle
e'
Numero Real
Millimeter
(s)
approximateValue
Numero Real
and 0.7
(=>
(
and
(
instance
?ET
EustachianTube
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
diameter
?ET
(
MeasureFn
?N
Millimeter
)))
(
approximateValue
?N 3.0))
Anatomy.kif 1526-1533
Circle
e' uma
instancia
de
EustachianTube
Circle
e' uma &parte de
Objeto
Healthy
e' um
atributo
de
Objeto
o
diametro
de
Circle
e'
Numero Real
Millimeter
(s)
approximateValue
Numero Real
and 3.0
(=>
(
diameter
?CIRCLE ?LENGTH)
(
exists
(?NHALF ?UHALF)
(
and
(
radius
?CIRCLE
(
MeasureFn
?NHALF ?UHALF))
(
equal
(
MeasureFn
(
MultiplicationFn
?NHALF 2) ?UHALF) ?LENGTH))))
Merge.kif 7669-7674
O
diametro
de
Circle
e'
Medida de Comprimento
Numero Real
Unidade de Medida
o
radio
de
Circle
e'
Numero Real
Unidade de Medida
(s)
Numero Real
+ 2
Unidade de Medida
(s) e'
igual
a
Medida de Comprimento
consequent
(=>
(
and
(
cylinderBore
?CY ?M)
(
instance
?CY
Cylinder
)
(
instance
?CI
Circle
)
(
part
?CI ?CY))
(
diameter
?CI ?M))
Cars.kif 1538-1544
cylinderBore
Cylinder
and
Medida de Comprimento
Cylinder
e' uma
instancia
de
Cylinder
Circle
e' uma
instancia
de
Circle
Circle
e' uma &parte de
Cylinder
o
diametro
de
Circle
e'
Medida de Comprimento
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
diameter
?O ?Q))
Mid-level-ontology.kif 31157-31162
memberMeasure
Conjunto
,
MeasurementAttribute
and
Medida de Comprimento
Conjunto
e' uma
instancia
de
Conjunto
Circle
e' um
elemento
de
Conjunto
o
diametro
de
Circle
e'
Medida de Comprimento
(=>
(
and
(
memberMeasure
?S
Diameter
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
diameter
?O ?Q))
Mid-level-ontology.kif 31164-31169
memberMeasure
Classe
,
Diameter
and
Medida de Comprimento
Classe
e' uma
instancia
de
Classe
Circle
e' uma
instancia
de
Classe
o
diametro
de
Circle
e'
Medida de Comprimento
(=>
(
circumfrence
?CIRCLE ?LENGTH)
(
exists
(?D ?UNIT)
(
and
(
diameter
?CIRCLE
(
MeasureFn
?D ?UNIT))
(
equal
(
MeasureFn
(
MultiplicationFn
?D 3.14) ?UNIT) ?LENGTH))))
Mid-level-ontology.kif 31138-31146
circumfrence
Circle
and
Medida de Comprimento
Numero Real
Unidade de Medida
o
diametro
de
Circle
e'
Numero Real
Unidade de Medida
(s)
Numero Real
+ 3.14
Unidade de Medida
(s) e'
igual
a
Medida de Comprimento
(=>
(
instance
?HOLE
GolfHole
)
(
exists
(?CYLINDER ?CIRCLE)
(
and
(
instance
?CYLINDER
Cylinder
)
(
attribute
?HOLE ?CYLINDER)
(
top
?CIRCLE ?HOLE)
(
instance
?CIRCLE
Circle
)
(
diameter
?CIRCLE
(
MeasureFn
4.25
Inch
)))))
Sports.kif 964-972
Objeto auto-conectado
e' uma
instancia
de
GolfHole
Atributo
Objeto auto-conectado
Atributo
e' uma
instancia
de
Cylinder
Atributo
e' um
atributo
de
Objeto auto-conectado
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Circle
o
diametro
de
Objeto auto-conectado
e' 4.25
Inch
(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