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
TotoroLanguage
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
域
圖的角度
, 1 and
二維角度
(
domain
angleOfFigure
2
GeometricFigure
)
Merge.kif 17914-17914
域
圖的角度
, 2 and
幾何圖
(
instance
angleOfFigure
BinaryPredicate
)
Merge.kif 17912-17912
例
圖的角度
and
BinaryPredicate
(
subrelation
angleOfFigure
geometricPart
)
Merge.kif 17911-17911
子關係
圖的角度
and
幾何部分
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
例
幾何圖
and
多邊形
等於
幾何圖
and
直角三角形
二維角度
例
二維角度
and
二維角度
二維角度
是發現在
幾何圖
的
angle
等於
二維角度
and
直角
appearance as argument number 0
(
angleOfFigure
RightAngle
Rectangle
)
Mid-level-ontology.kif 4920-4920
直角
是發現在
長方形
的
angle
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