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
图形的顶点
的 1 数量 是
几何点
的
instance
(
domain
pointOfFigure
2
GeometricFigure
)
Merge.kif 17828-17828
图形的顶点
的 2 数量 是
几何图
的
instance
(
instance
pointOfFigure
BinaryPredicate
)
Merge.kif 17826-17826
图形的顶点
是
二元谓语
的
instance
(
subrelation
pointOfFigure
geometricPart
)
Merge.kif 17825-17825
图形的顶点
是
几何部分
的
subrelation
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
如果 圆
圈
的
center
equal
几何点
和
那个 几何点
2 是
那个 圈
的顶点 和
那个 几何点
2 是 对于
长度测量
的
geometric
距离
那个 几何点
,
然后
那个 圈
的
radius
equal
那个 长度测量
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
如果
属性
是
客体
的
attribute
和
那个 属性
是
球
的
instance
,
然后 有存在
几何点
和
长度测量
这样 对所有
另一个 几何点
如果
那个 另外 几何点
是
那个 客体
的顶点,
然后
那个 另外 几何点
是 对于
那个 长度测量
的
geometric
距离
那个 几何点
(=>
(
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
如果
自身连接物体
是
客体
的
instance
和
中凸的圆形
是
那个 自身连接物体
的
attribute
和
另一个 自身连接物体
是
那个 自身连接物体
的
surface
和
那个 另外 自身连接物体
是
二维物体
的
instance
,
然后 对所有
几何点
那个 几何点
是
那个 自身连接物体
的
part
和
几何点
是
那个 几何点
的
attribute
和
那个 几何点
是
那个 自身连接物体
的顶点 和
那个 几何点
接上
那个 自身连接物体
和
那个 几何点
接上
那个 另外 自身连接物体
和 有存在
一维图
这样
那个 另外 自身连接物体
的
tangent
是
那个 一维图
(=>
(
pointOfIntersection
?FIGURE1 ?FIGURE2 ?POINT)
(
and
(
pointOfFigure
?POINT ?FIGURE1)
(
pointOfFigure
?POINT ?FIGURE2)))
Merge.kif 17846-17850
如果
一维图
是 对于
几何点
的 交接点
另一个 一维图
,
然后
那个 几何点
是
那个 一维图
的顶点 和
那个 几何点
是
那个 另外 一维图
的顶点
(=>
(
radius
?CIRCLE ?RADIUS)
(
exists
(?POINT)
(
forall
(?PART)
(=>
(
pointOfFigure
?PART ?CIRCLE)
(
geometricDistance
?PART ?POINT ?RADIUS)))))
Merge.kif 7651-7657
如果
圈
的
radius
是
长度测量
,
然后 有存在
几何点
这样 对所有
另一个 几何点
如果
那个 另外 几何点
是
那个 圈
的顶点,
然后
那个 另外 几何点
是 对于
那个 长度测量
的
geometric
距离
那个 几何点
(=>
(
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
如果
二维物体
的
tangent
是
一维图
,
然后 有存在
几何点
这样
那个 几何点
是
那个 一维图
的顶点 和
那个 几何点
是
那个 二维物体
的顶点 和 对所有
另一个 几何点
如果
那个 另外 几何点
是
那个 一维图
的顶点 和
那个 另外 几何点
是
那个 二维物体
的顶点,
然后
那个 几何点
equal
那个 另外 几何点
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