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 17908-17909
(
domain
pointOfFigure
1
GeometricPoint
)
Merge.kif 17906-17906
Le nombre 1 argument de
pointOfFigure
est une
instance
de
GeometricPoint
(
domain
pointOfFigure
2
GeometricFigure
)
Merge.kif 17907-17907
Le nombre 2 argument de
pointOfFigure
est une
instance
de
GeometricFigure
(
instance
pointOfFigure
BinaryPredicate
)
Merge.kif 17905-17905
pointOfFigure
est une
instance
de
pr�dicat binaire
(
subrelation
pointOfFigure
geometricPart
)
Merge.kif 17904-17904
pointOfFigure
est une
sous
-relation 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 46358-46358
(
termFormat
ChineseTraditionalLanguage
pointOfFigure
"點圖")
domainEnglishFormat.kif 46357-46357
(
termFormat
EnglishLanguage
pointOfFigure
"point of figure")
domainEnglishFormat.kif 46356-46356
antecedent
(=>
(
and
(
equal
(
CenterOfCircleFn
?C) ?P)
(
pointOfFigure
?P2 ?C)
(
geometricDistance
?P2 ?P ?R))
(
equal
(
RadiusFn
?C) ?R))
Mid-level-ontology.kif 4955-4960
CenterOfCircleFn
objet
est
GeometricPoint
GeometricPoint
2 est un
point
de
objet
geometricDistance
GeometricPoint
2,
GeometricPoint
and
mesure de longueur
RadiusFn
objet
est
mesure de longueur
consequent
(=>
(
and
(
attribute
?OBJ ?SPHERE)
(
instance
?SPHERE
Sphere
))
(
exists
(?CENTER ?DIST)
(
forall
(?PT)
(=>
(
pointOfFigure
?PT ?OBJ)
(
geometricDistance
?PT ?CENTER ?DIST)))))
Mid-level-ontology.kif 4984-4992
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
Sphere
GeometricPoint
mesure de longueur
GeometricPoint
GeometricPoint
est un
point
de
objet
geometricDistance
GeometricPoint
,
GeometricPoint
and
mesure de longueur
(=>
(
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 4814-4828
Objet en une partie
est une
instance
de
objet
ConvexRoundShape
est un
attribut
de
objet en une partie
objet en une partie
est une
surface
de
objet en une partie
objet en une partie
est une
instance
de
TwoDimensionalObject
GeometricPoint
GeometricPoint
est une
partie
de
objet en une partie
GeometricPoint
est un
attribut
de
GeometricPoint
GeometricPoint
est un
point
de
objet en une partie
GeometricPoint
rencontre
objet en une partie
GeometricPoint
rencontre
objet en une partie
OneDimensionalFigure
la
tangente
de
objet en une partie
est
OneDimensionalFigure
(=>
(
pointOfIntersection
?FIGURE1 ?FIGURE2 ?POINT)
(
and
(
pointOfFigure
?POINT ?FIGURE1)
(
pointOfFigure
?POINT ?FIGURE2)))
Merge.kif 17925-17929
pointOfIntersection
OneDimensionalFigure
,
OneDimensionalFigure
and
GeometricPoint
GeometricPoint
est un
point
de
OneDimensionalFigure
GeometricPoint
est un
point
de
OneDimensionalFigure
(=>
(
radius
?CIRCLE ?RADIUS)
(
exists
(?POINT)
(
forall
(?PART)
(=>
(
pointOfFigure
?PART ?CIRCLE)
(
geometricDistance
?PART ?POINT ?RADIUS)))))
Merge.kif 7679-7685
Le
radius
de
objet
est
mesure de longueur
GeometricPoint
GeometricPoint
GeometricPoint
est un
point
de
objet
geometricDistance
GeometricPoint
,
GeometricPoint
and
mesure de longueur
(=>
(
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 4779-4790
La
tangente
de
TwoDimensionalObject
est
OneDimensionalFigure
GeometricPoint
GeometricPoint
est un
point
de
OneDimensionalFigure
GeometricPoint
est un
point
de
TwoDimensionalObject
GeometricPoint
GeometricPoint
est un
point
de
OneDimensionalFigure
GeometricPoint
est un
point
de
TwoDimensionalObject
GeometricPoint
est
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