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
The number 1 argument of
diameter
is an
instance
of
object
(
domain
diameter
2
LengthMeasure
)
Merge.kif 7696-7696
The number 2 argument of
diameter
is an
instance
of
length measure
(
instance
diameter
BinaryPredicate
)
Merge.kif 7692-7692
diameter
is an
instance
of
binary predicate
(
instance
diameter
SingleValuedRelation
)
Merge.kif 7693-7693
diameter
is an
instance
of
single valued relation
(
instance
diameter
TotalValuedRelation
)
Merge.kif 7694-7694
diameter
is an
instance
of
total valued relation
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
If
an object
is an
instance
of
auditory canal
and
the object
is a
part
of
another object
and
healthy
is an
attribute
of
the other object
and the
diameter
of
the object
is
a real number
millimeter
(s),
then the approximate value of
the real number
is 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
If
an object
is an
instance
of
Eustachian tube
and
the object
is a
part
of
another object
and
healthy
is an
attribute
of
the other object
and the
diameter
of
the object
is
a real number
millimeter
(s),
then the approximate value of
the real number
is 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
If the
diameter
of
an object
is
a length measure
,
then there exist
a real number
and
an unit of measure
such that the
radius
of
the object
is
the real number
the unit of measure
(s) and
the real number
and 2
the unit of measure
(s) is
equal
to
the length measure
(=>
(
diameter
?CIRCLE ?LENGTH)
(
shape
?CIRCLE
Circle
))
Merge.kif 7708-7710
If the
diameter
of
an object
is
a length measure
,
then
the object
is
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
If the bore of
a hole
is
a length measure
and
the hole
is an
instance
of
hole
and
the hole
is
cylinder
and
an object
is a
part
of
the hole
and
the object
is an
instance
of
region
and
the object
is
circle
,
then the
diameter
of
the object
is
the length measure
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
diameter
?O ?Q))
Mid-level-ontology.kif 31189-31194
If members of
a set
have the measure
a length measure
in terms of
a measurement attribute
and
the set
is an
instance
of
set
and
an object
is an
element
of
the set
,
then the
diameter
of
the object
is
the length measure
(=>
(
and
(
memberMeasure
?S
Diameter
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
diameter
?O ?Q))
Mid-level-ontology.kif 31196-31201
If members of
a class
have the measure
a length measure
in terms of
Diameter
and
the class
is an
instance
of
class
and
an object
is an
instance
of
the class
,
then the
diameter
of
the object
is
the length measure
(=>
(
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
If
circumfrence
an object
and
a length measure
,
then there exist
a real number
and
an unit of measure
such that the
diameter
of
the object
is
the real number
the unit of measure
(s) and
the real number
and 3.14
the unit of measure
(s) is
equal
to
the length measure
(=>
(
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
If
a self connected object
is an
instance
of
golf hole
,
then there exists
another self connected object
such that
the self connected object
is
cylinder
and the
top
of
the self connected object
is
the other self connected object
and
the other self connected object
is an
instance
of
region
and
the other self connected object
is
circle
and the
diameter
of
the other self connected object
is 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