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 7684-7685
(
documentation
diameter
JapaneseLanguage
"(
diameter
?CIRCLE ?LENGTH) とは、
Circle
?CIRCLEの直径が ?LENGTH の長さを有することを意味する。")
japanese_format.kif 1370-1371
(
domain
diameter
1
Object
)
Merge.kif 7681-7681
圆周
的 1 数量 是
客体
的
instance
(
domain
diameter
2
LengthMeasure
)
Merge.kif 7682-7682
圆周
的 2 数量 是
长度测量
的
instance
(
instance
diameter
BinaryPredicate
)
Merge.kif 7678-7678
圆周
是
二元谓语
的
instance
(
instance
diameter
SingleValuedRelation
)
Merge.kif 7679-7679
圆周
是
单值关系
的
instance
(
instance
diameter
TotalValuedRelation
)
Merge.kif 7680-7680
圆周
是
总值关系
的
instance
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
如果
客体
是
AuditoryCanal
的
instance
和
那个 客体
是
另一个 客体
的
part
和
Healthy
是
那个 另外 客体
的
attribute
和
那个 客体
的
diameter
是
实数
毫米
,
然后
approximateValue
那个 实数
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
如果
客体
是
EustachianTube
的
instance
和
那个 客体
是
另一个 客体
的
part
和
Healthy
是
那个 另外 客体
的
attribute
和
那个 客体
的
diameter
是
实数
毫米
,
然后
approximateValue
那个 实数
and 3.0
(=>
(
diameter
?CIRCLE ?LENGTH)
(
exists
(?NHALF ?UHALF)
(
and
(
radius
?CIRCLE
(
MeasureFn
?NHALF ?UHALF))
(
equal
(
MeasureFn
(
MultiplicationFn
?NHALF 2) ?UHALF) ?LENGTH))))
Merge.kif 7687-7692
如果
客体
的
diameter
是
长度测量
,
然后 有存在
实数
和
测量单位
这样
那个 客体
的
radius
是
那个 实数
那个 测量单位
和
那个 实数
和 2
那个 测量单位
equal
那个 长度测量
(=>
(
diameter
?CIRCLE ?LENGTH)
(
shape
?CIRCLE
Circle
))
Merge.kif 7694-7696
如果
客体
的
diameter
是
长度测量
,
然后
那个 客体
是
圈
consequent
(=>
(
and
(
cylinderBore
?CY ?M)
(
instance
?CY
HoleRegion
)
(
shape
?CY
Cylinder
)
(
part
?CI ?CY)
(
instance
?CI
Region
)
(
shape
?CI
Circle
))
(
diameter
?CI ?M))
Cars.kif 1541-1549
如果
cylinderBore
洞
and
长度测量
和
那个 洞
是
洞
的
instance
和
那个 洞
是
圆筒
和
客体
是
那个 洞
的
part
和
那个 客体
是
地区
的
instance
和
那个 客体
是
圈
,
然后
那个 客体
的
diameter
是
那个 长度测量
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
diameter
?O ?Q))
Mid-level-ontology.kif 31153-31158
如果
memberMeasure
集合
,
MeasurementAttribute
and
长度测量
和
那个 集合
是
集合
的
instance
和
客体
是
那个 集合
的
element
,
然后
那个 客体
的
diameter
是
那个 长度测量
(=>
(
and
(
memberMeasure
?S
Diameter
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
diameter
?O ?Q))
Mid-level-ontology.kif 31160-31165
如果
memberMeasure
类
,
Diameter
and
长度测量
和
那个 类
是
类
的
instance
和
客体
是
那个 类
的
instance
,
然后
那个 客体
的
diameter
是
那个 长度测量
(=>
(
circumfrence
?CIRCLE ?LENGTH)
(
exists
(?D ?UNIT)
(
and
(
diameter
?CIRCLE
(
MeasureFn
?D ?UNIT))
(
equal
(
MeasureFn
(
MultiplicationFn
?D 3.14) ?UNIT) ?LENGTH))))
Mid-level-ontology.kif 31131-31139
如果
circumfrence
客体
and
长度测量
,
然后 有存在
实数
和
测量单位
这样
那个 客体
的
diameter
是
那个 实数
那个 测量单位
和
那个 实数
和 3.14
那个 测量单位
equal
那个 长度测量
(=>
(
instance
?HOLE
GolfHole
)
(
exists
(?C)
(
and
(
shape
?HOLE
Cylinder
)
(
top
?C ?HOLE)
(
instance
?C
Region
)
(
shape
?C
Circle
)
(
diameter
?C
(
MeasureFn
4.25
Inch
)))))
Sports.kif 964-973
如果
自身连接物体
是
高尔夫球洞
的
instance
,
然后 有存在
另一个 自身连接物体
这样
那个 自身连接物体
是
圆筒
和
那个 另外 自身连接物体
是
那个 自身连接物体
的
top
和
那个 另外 自身连接物体
是
地区
的
instance
和
那个 另外 自身连接物体
是
圈
和
那个 另外 自身连接物体
的
diameter
是 4.25
英寸
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