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
pointOfFigure
Sigma KEE - pointOfFigure
pointOfFigure
appearance as argument number 1
(
documentation
pointOfFigure
ChineseLanguage
"(
pointOfFigure
?POINT ?FIGURE)的意思是
GeometricPoint
?POINT 是
GeometricFigure
?FIGURE 的一部分。")
chinese_format.kif 3986-3987
(
documentation
pointOfFigure
EnglishLanguage
"(
pointOfFigure
?POINT ?FIGURE) means that the
GeometricPoint
?POINT is part of the
GeometricFigure
?FIGURE.")
Merge.kif 17829-17830
(
domain
pointOfFigure
1
GeometricPoint
)
Merge.kif 17827-17827
Die Zahl 1 Argument von
pointOfFigure
ist ein
fall
von
GeometricPoint
%n{nicht}
(
domain
pointOfFigure
2
GeometricFigure
)
Merge.kif 17828-17828
Die Zahl 2 Argument von
pointOfFigure
ist ein
fall
von
GeometricFigure
%n{nicht}
(
instance
pointOfFigure
BinaryPredicate
)
Merge.kif 17826-17826
pointOfFigure
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
pointOfFigure
geometricPart
)
Merge.kif 17825-17825
pointOfFigure
ist eine
teilrelation
von
geometricPart
appearance as argument number 2
(
format
ChineseLanguage
pointOfFigure
"%1 %n 是 %2 的顶点")
chinese_format.kif 794-794
(
format
EnglishLanguage
pointOfFigure
"%1 is %n a vertex of %2")
english_format.kif 799-799
(
format
FrenchLanguage
pointOfFigure
"%1 est %n un point de %2")
french_format.kif 478-478
(
format
JapaneseLanguage
pointOfFigure
"%1 の vertex は %2 では %n")
english_format.kif 800-800
(
format
PortugueseLanguage
pointOfFigure
"%1 e' %n um ponto de %2")
portuguese_format.kif 430-430
(
format
ro
pointOfFigure
"%1 %n{nu} este un vertex%t{vârf} al lui %2")
relations-ro.kif 500-500
(
termFormat
ChineseLanguage
pointOfFigure
"图形的顶点")
chinese_format.kif 795-795
(
termFormat
ChineseLanguage
pointOfFigure
"点图")
domainEnglishFormat.kif 46356-46356
(
termFormat
ChineseTraditionalLanguage
pointOfFigure
"點圖")
domainEnglishFormat.kif 46355-46355
(
termFormat
EnglishLanguage
pointOfFigure
"point of figure")
domainEnglishFormat.kif 46354-46354
antecedent
(=>
(
and
(
equal
(
CenterOfCircleFn
?C) ?P)
(
pointOfFigure
?P2 ?C)
(
geometricDistance
?P2 ?P ?R))
(
equal
(
RadiusFn
?C) ?R))
Mid-level-ontology.kif 4966-4971
Wenn
CenterOfCircleFn
Circle
ist gleich
GeometricPoint
%n{nicht} und
pointOfFigure
** GeometricPoint
2 and
** Circle
und
geometricDistance
** GeometricPoint
2,
** GeometricPoint
and
LengthMeasure
,
dann
RadiusFn
** Circle
ist gleich
** LengthMeasure
%n{nicht}
consequent
(=>
(
and
(
attribute
?OBJ ?SPHERE)
(
instance
?SPHERE
Sphere
))
(
exists
(?CENTER ?DIST)
(
forall
(?PT)
(=>
(
pointOfFigure
?PT ?OBJ)
(
geometricDistance
?PT ?CENTER ?DIST)))))
Mid-level-ontology.kif 4990-4998
Wenn
Attribute
ist ein
attribut
von
Object
%n{nicht} und
** Attribute
ist ein
fall
von
Sphere
%n{nicht},
dann es gibt
GeometricPoint
und
LengthMeasure
um fuer alle
** GeometricPoint
wenn
pointOfFigure
** ** GeometricPoint
and
** Object
,
dann
geometricDistance
** ** GeometricPoint
,
** GeometricPoint
and
** LengthMeasure
(=>
(
and
(
instance
?O
Object
)
(
attribute
?O
ConvexRoundShape
)
(
surface
?TO ?O)
(
instance
?TO
TwoDimensionalObject
))
(
forall
(?P)
(
and
(
part
?P ?O)
(
attribute
?P
GeometricPoint
)
(
pointOfFigure
?P ?O)
(
meetsSpatially
?P ?O)
(
meetsSpatially
?P ?TO)
(
exists
(?T)
(
tangent
?T ?TO)))))
Mid-level-ontology.kif 4819-4833
Wenn
SelfConnectedObject
ist ein
fall
von
Object
%n{nicht} und
ConvexRoundShape
ist ein
attribut
von
** SelfConnectedObject
%n{nicht} und
** SelfConnectedObject
ist eine
flaeche
von
** SelfConnectedObject
%n{nicht} und
** ** SelfConnectedObject
ist ein
fall
von
TwoDimensionalObject
%n{nicht},
dann fuer alle
GeometricPoint
** GeometricPoint
ist ein
teil
von
** SelfConnectedObject
%n{nicht} und
GeometricPoint
ist ein
attribut
von
** GeometricPoint
%n{nicht} und
pointOfFigure
** GeometricPoint
and
** SelfConnectedObject
und
** GeometricPoint
schliesst
** SelfConnectedObject
raeumlich an und
** GeometricPoint
schliesst
** ** SelfConnectedObject
raeumlich an und es gibt
OneDimensionalFigure
um
tangent
** OneDimensionalFigure
and
** ** SelfConnectedObject
(=>
(
pointOfIntersection
?FIGURE1 ?FIGURE2 ?POINT)
(
and
(
pointOfFigure
?POINT ?FIGURE1)
(
pointOfFigure
?POINT ?FIGURE2)))
Merge.kif 17846-17850
Wenn
pointOfIntersection
OneDimensionalFigure
,
** OneDimensionalFigure
and
GeometricPoint
,
dann
pointOfFigure
** GeometricPoint
and
** OneDimensionalFigure
und
pointOfFigure
** GeometricPoint
and
** ** OneDimensionalFigure
(=>
(
radius
?CIRCLE ?RADIUS)
(
exists
(?POINT)
(
forall
(?PART)
(=>
(
pointOfFigure
?PART ?CIRCLE)
(
geometricDistance
?PART ?POINT ?RADIUS)))))
Merge.kif 7651-7657
Wenn
radius
Circle
and
LengthMeasure
,
dann es gibt
GeometricPoint
um fuer alle
** GeometricPoint
wenn
pointOfFigure
** ** GeometricPoint
and
** Circle
,
dann
geometricDistance
** ** GeometricPoint
,
** GeometricPoint
and
** LengthMeasure
(=>
(
tangent
?LINE ?CIRCLE)
(
exists
(?POINT1)
(
and
(
pointOfFigure
?POINT1 ?LINE)
(
pointOfFigure
?POINT1 ?CIRCLE)
(
forall
(?POINT2)
(=>
(
and
(
pointOfFigure
?POINT2 ?LINE)
(
pointOfFigure
?POINT2 ?CIRCLE))
(
equal
?POINT1 ?POINT2))))))
Mid-level-ontology.kif 4784-4795
Wenn
tangent
OneDimensionalFigure
and
TwoDimensionalObject
,
dann es gibt
GeometricPoint
um
pointOfFigure
** GeometricPoint
and
** OneDimensionalFigure
und
pointOfFigure
** GeometricPoint
and
** TwoDimensionalObject
und fuer alle
** GeometricPoint
wenn
pointOfFigure
** ** GeometricPoint
and
** OneDimensionalFigure
und
pointOfFigure
** ** GeometricPoint
and
** TwoDimensionalObject
,
dann
** GeometricPoint
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