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
angleOfFigure
Sigma KEE - angleOfFigure
angleOfFigure
appearance as argument number 1
(
documentation
angleOfFigure
ChineseLanguage
"(
angleOfFigure
?ANGLE ?FIGURE)的意思是
TwoDimensionalAngle
?ANGLE 是
GeometricFigure
?FIGURE 的一部分。")
chinese_format.kif 3988-3989
(
documentation
angleOfFigure
EnglishLanguage
"(
angleOfFigure
?ANGLE ?FIGURE) means that the
TwoDimensionalAngle
?ANGLE is part of the
GeometricFigure
?FIGURE.")
Merge.kif 17915-17916
(
domain
angleOfFigure
1
TwoDimensionalAngle
)
Merge.kif 17913-17913
Le nombre 1 argument de
angleOfFigure
est une
instance
de
TwoDimensionalAngle
(
domain
angleOfFigure
2
GeometricFigure
)
Merge.kif 17914-17914
Le nombre 2 argument de
angleOfFigure
est une
instance
de
GeometricFigure
(
instance
angleOfFigure
BinaryPredicate
)
Merge.kif 17912-17912
angleOfFigure
est une
instance
de
pr�dicat binaire
(
subrelation
angleOfFigure
geometricPart
)
Merge.kif 17911-17911
angleOfFigure
est une
sous
-relation de
geometricPart
appearance as argument number 2
(
format
ChineseLanguage
angleOfFigure
"%1 是发现在 %2 的 angle ")
domainEnglishFormat.kif 2802-2802
(
format
ChineseTraditionalLanguage
angleOfFigure
"%1 是發現在 %2 的 angle ")
domainEnglishFormat.kif 2801-2801
(
format
EnglishLanguage
angleOfFigure
"%1 is the angle found in %2")
domainEnglishFormat.kif 2800-2800
(
termFormat
ChineseLanguage
angleOfFigure
"图的角度")
domainEnglishFormat.kif 7482-7482
(
termFormat
ChineseTraditionalLanguage
angleOfFigure
"圖的角度")
domainEnglishFormat.kif 7481-7481
(
termFormat
EnglishLanguage
angleOfFigure
"angle of figure")
domainEnglishFormat.kif 7480-7480
consequent
(=>
(
and
(
instance
?T
Polygon
)
(
equal
?T
RightTriangle
))
(
exists
(?A)
(
and
(
instance
?A
TwoDimensionalAngle
)
(
angleOfFigure
?A ?T)
(
equal
?A
RightAngle
))))
Mid-level-ontology.kif 4896-4904
GeometricFigure
est une
instance
de
Polygon
GeometricFigure
est
RightTriangle
TwoDimensionalAngle
TwoDimensionalAngle
est une
instance
de
TwoDimensionalAngle
angleOfFigure
TwoDimensionalAngle
and
GeometricFigure
TwoDimensionalAngle
est
RightAngle
appearance as argument number 0
(
angleOfFigure
RightAngle
Rectangle
)
Mid-level-ontology.kif 4920-4920
angleOfFigure
RightAngle
and
Rectangle
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