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 17851-17852
(
domain
pointOfFigure
1
GeometricPoint
)
Merge.kif 17849-17849
O argumento numero 1 de
pointOfFigure
e' uma
instancia
de
GeometricPoint
(
domain
pointOfFigure
2
GeometricFigure
)
Merge.kif 17850-17850
O argumento numero 2 de
pointOfFigure
e' uma
instancia
de
GeometricFigure
(
instance
pointOfFigure
BinaryPredicate
)
Merge.kif 17848-17848
pointOfFigure
e' uma
instancia
de
Predicado Binario
(
subrelation
pointOfFigure
geometricPart
)
Merge.kif 17847-17847
pointOfFigure
e' uma
sub
-relacao de
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 4960-4965
CenterOfCircleFn
Objeto
e'
igual
a
GeometricPoint
GeometricPoint
2 e' um
ponto
de
Objeto
geometricDistance
GeometricPoint
2,
GeometricPoint
and
Medida de Comprimento
RadiusFn
Objeto
e'
igual
a
Medida de Comprimento
consequent
(=>
(
and
(
attribute
?OBJ ?SPHERE)
(
instance
?SPHERE
Sphere
))
(
exists
(?CENTER ?DIST)
(
forall
(?PT)
(=>
(
pointOfFigure
?PT ?OBJ)
(
geometricDistance
?PT ?CENTER ?DIST)))))
Mid-level-ontology.kif 4989-4997
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
Sphere
GeometricPoint
Medida de Comprimento
GeometricPoint
GeometricPoint
e' um
ponto
de
Objeto
geometricDistance
GeometricPoint
,
GeometricPoint
and
Medida de Comprimento
(=>
(
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
Objeto auto-conectado
e' uma
instancia
de
Objeto
ConvexRoundShape
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
TwoDimensionalObject
GeometricPoint
GeometricPoint
e' uma &parte de
Objeto auto-conectado
GeometricPoint
e' um
atributo
de
GeometricPoint
GeometricPoint
e' um
ponto
de
Objeto auto-conectado
GeometricPoint
encontra
Objeto auto-conectado
GeometricPoint
encontra
Objeto auto-conectado
OneDimensionalFigure
a
tangente
de
Objeto auto-conectado
e'
OneDimensionalFigure
(=>
(
pointOfIntersection
?FIGURE1 ?FIGURE2 ?POINT)
(
and
(
pointOfFigure
?POINT ?FIGURE1)
(
pointOfFigure
?POINT ?FIGURE2)))
Merge.kif 17868-17872
pointOfIntersection
OneDimensionalFigure
,
OneDimensionalFigure
and
GeometricPoint
GeometricPoint
e' um
ponto
de
OneDimensionalFigure
GeometricPoint
e' um
ponto
de
OneDimensionalFigure
(=>
(
radius
?CIRCLE ?RADIUS)
(
exists
(?POINT)
(
forall
(?PART)
(=>
(
pointOfFigure
?PART ?CIRCLE)
(
geometricDistance
?PART ?POINT ?RADIUS)))))
Merge.kif 7665-7671
O
radio
de
Objeto
e'
Medida de Comprimento
GeometricPoint
GeometricPoint
GeometricPoint
e' um
ponto
de
Objeto
geometricDistance
GeometricPoint
,
GeometricPoint
and
Medida de Comprimento
(=>
(
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
A
tangente
de
TwoDimensionalObject
e'
OneDimensionalFigure
GeometricPoint
GeometricPoint
e' um
ponto
de
OneDimensionalFigure
GeometricPoint
e' um
ponto
de
TwoDimensionalObject
GeometricPoint
GeometricPoint
e' um
ponto
de
OneDimensionalFigure
GeometricPoint
e' um
ponto
de
TwoDimensionalObject
GeometricPoint
e'
igual
a
GeometricPoint
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