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 7698-7699
(
documentation
diameter
JapaneseLanguage
"(
diameter
?CIRCLE ?LENGTH) とは、
Circle
?CIRCLEの直径が ?LENGTH の長さを有することを意味する。")
japanese_format.kif 1370-1371
(
domain
diameter
1
Object
)
Merge.kif 7695-7695
Die Zahl 1 Argument von
diameter
ist ein
fall
von
Object
%n{nicht}
(
domain
diameter
2
LengthMeasure
)
Merge.kif 7696-7696
Die Zahl 2 Argument von
diameter
ist ein
fall
von
LengthMeasure
%n{nicht}
(
instance
diameter
BinaryPredicate
)
Merge.kif 7692-7692
diameter
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
diameter
SingleValuedRelation
)
Merge.kif 7693-7693
diameter
ist ein
fall
von
SingleValuedRelation
%n{nicht}
(
instance
diameter
TotalValuedRelation
)
Merge.kif 7694-7694
diameter
ist ein
fall
von
TotalValuedRelation
%n{nicht}
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
Wenn
Object
ist ein
fall
von
AuditoryCanal
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
Healthy
ist ein
attribut
von
** ** Object
%n{nicht} und der
durchmesser
von
** Object
ist
RealNumber
Millimeter
(s) %n{nicht},
dann
approximateValue
** RealNumber
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
Wenn
Object
ist ein
fall
von
EustachianTube
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
Healthy
ist ein
attribut
von
** ** Object
%n{nicht} und der
durchmesser
von
** Object
ist
RealNumber
Millimeter
(s) %n{nicht},
dann
approximateValue
** RealNumber
and 3.0
(=>
(
diameter
?CIRCLE ?LENGTH)
(
exists
(?NHALF ?UHALF)
(
and
(
radius
?CIRCLE
(
MeasureFn
?NHALF ?UHALF))
(
equal
(
MeasureFn
(
MultiplicationFn
?NHALF 2) ?UHALF) ?LENGTH))))
Merge.kif 7701-7706
Wenn der
durchmesser
von
Object
ist
LengthMeasure
%n{nicht},
dann es gibt
RealNumber
und
UnitOfMeasure
um
radius
** Object
and
** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
und 2
** UnitOfMeasure
(s) ist gleich
** LengthMeasure
%n{nicht}
(=>
(
diameter
?CIRCLE ?LENGTH)
(
shape
?CIRCLE
Circle
))
Merge.kif 7708-7710
Wenn der
durchmesser
von
Object
ist
LengthMeasure
%n{nicht},
dann
shape
** Object
and
Circle
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
Wenn
cylinderBore
HoleRegion
and
LengthMeasure
und
** HoleRegion
ist ein
fall
von
HoleRegion
%n{nicht} und
shape
** HoleRegion
and
Cylinder
und
Object
ist ein
teil
von
** HoleRegion
%n{nicht} und
** Object
ist ein
fall
von
Region
%n{nicht} und
shape
** Object
and
Circle
,
dann der
durchmesser
von
** Object
ist
** LengthMeasure
%n{nicht}
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
diameter
?O ?Q))
Mid-level-ontology.kif 31189-31194
Wenn
memberMeasure
Set
,
MeasurementAttribute
and
LengthMeasure
und
** Set
ist ein
fall
von
Set
%n{nicht} und
Object
ist ein
element
von
** Set
%n{nicht},
dann der
durchmesser
von
** Object
ist
** LengthMeasure
%n{nicht}
(=>
(
and
(
memberMeasure
?S
Diameter
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
diameter
?O ?Q))
Mid-level-ontology.kif 31196-31201
Wenn
memberMeasure
Class
,
Diameter
and
LengthMeasure
und
** Class
ist ein
fall
von
Class
%n{nicht} und
Object
ist ein
fall
von
** Class
%n{nicht},
dann der
durchmesser
von
** Object
ist
** LengthMeasure
%n{nicht}
(=>
(
circumfrence
?CIRCLE ?LENGTH)
(
exists
(?D ?UNIT)
(
and
(
diameter
?CIRCLE
(
MeasureFn
?D ?UNIT))
(
equal
(
MeasureFn
(
MultiplicationFn
?D 3.14) ?UNIT) ?LENGTH))))
Mid-level-ontology.kif 31167-31175
Wenn
circumfrence
Object
and
LengthMeasure
,
dann es gibt
RealNumber
und
UnitOfMeasure
um der
durchmesser
von
** Object
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
und 3.14
** UnitOfMeasure
(s) ist gleich
** LengthMeasure
%n{nicht}
(=>
(
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
Wenn
SelfConnectedObject
ist ein
fall
von
GolfHole
%n{nicht},
dann es gibt
** SelfConnectedObject
um
shape
** SelfConnectedObject
and
Cylinder
und die
oberseite
von
** SelfConnectedObject
ist
** ** SelfConnectedObject
und
** ** SelfConnectedObject
ist ein
fall
von
Region
%n{nicht} und
shape
** ** SelfConnectedObject
and
Circle
und der
durchmesser
von
** ** SelfConnectedObject
ist 4.25
Inch
(s) %n{nicht}
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