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
CenterOfCircleFn
Sigma KEE - CenterOfCircleFn
CenterOfCircleFn
appearance as argument number 1
(
documentation
CenterOfCircleFn
ChineseLanguage
"(CenterOfCircleFn ?CIRCLE) 表示
Circle
?CIRCLE 的中心的
GeometricPoint
。")
chinese_format.kif 2649-2650
(
documentation
CenterOfCircleFn
EnglishLanguage
"(CenterOfCircleFn ?CIRCLE) denotes the
GeometricPoint
that is the center of the
Circle
?CIRCLE.")
Merge.kif 7657-7658
(
documentation
CenterOfCircleFn
JapaneseLanguage
"(CenterOfCircleFn ?CIRCLE)は、
Circle
?CIRCLEの中心である
GeometricPoint
を示す。")
japanese_format.kif 1366-1367
(
domain
CenterOfCircleFn
1
Object
)
Merge.kif 7662-7662
Die Zahl 1 Argument von
CenterOfCircleFn
ist ein
fall
von
Object
%n{nicht}
(
instance
CenterOfCircleFn
TotalValuedRelation
)
Merge.kif 7661-7661
CenterOfCircleFn
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
instance
CenterOfCircleFn
UnaryFunction
)
Merge.kif 7660-7660
CenterOfCircleFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
CenterOfCircleFn
GeometricPoint
)
Merge.kif 7663-7663
bildbereich
von
CenterOfCircleFn
ist ein fall von
GeometricPoint
{nicht}
appearance as argument number 2
(
format
ChineseLanguage
CenterOfCircleFn
"圆 %1 的 center ")
domainEnglishFormat.kif 404-404
(
format
ChineseTraditionalLanguage
CenterOfCircleFn
"圓 %1 的 center ")
domainEnglishFormat.kif 403-403
(
format
EnglishLanguage
CenterOfCircleFn
"the center of circle of %1")
domainEnglishFormat.kif 402-402
(
termFormat
ChineseLanguage
CenterOfCircleFn
"圆心")
domainEnglishFormat.kif 13758-13758
(
termFormat
ChineseTraditionalLanguage
CenterOfCircleFn
"圓心")
domainEnglishFormat.kif 13757-13757
(
termFormat
EnglishLanguage
CenterOfCircleFn
"center of circle")
domainEnglishFormat.kif 13756-13756
antecedent
(=>
(
and
(
equal
(
CenterOfCircleFn
?C) ?P)
(
pointOfFigure
?P2 ?C)
(
geometricDistance
?P2 ?P ?R))
(
equal
(
RadiusFn
?C) ?R))
Mid-level-ontology.kif 4955-4960
Wenn
CenterOfCircleFn
Object
ist gleich
GeometricPoint
%n{nicht} und
pointOfFigure
** GeometricPoint
2 and
** Object
und
geometricDistance
** GeometricPoint
2,
** GeometricPoint
and
LengthMeasure
,
dann
RadiusFn
** Object
ist gleich
** LengthMeasure
%n{nicht}
(=>
(
equal
?P
(
CenterOfCircleFn
?C))
(
shape
?C
Circle
))
Merge.kif 7665-7668
Wenn
GeometricPoint
ist gleich
CenterOfCircleFn
Object
%n{nicht},
dann
shape
** Object
and
Circle
consequent
(=>
(
and
(
instance
?C
Object
)
(
shape
?C
Circle
))
(
exists
(?P)
(
equal
(
CenterOfCircleFn
?C) ?P)))
Merge.kif 7650-7655
Wenn
Object
ist ein
fall
von
Object
%n{nicht} und
shape
** Object
and
Circle
,
dann es gibt
GeometricPoint
um
CenterOfCircleFn
** Object
ist gleich
** GeometricPoint
%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