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
Die Zahl 1 Argument von
angleOfFigure
ist ein
fall
von
TwoDimensionalAngle
%n{nicht}
(
domain
angleOfFigure
2
GeometricFigure
)
Merge.kif 17914-17914
Die Zahl 2 Argument von
angleOfFigure
ist ein
fall
von
GeometricFigure
%n{nicht}
(
instance
angleOfFigure
BinaryPredicate
)
Merge.kif 17912-17912
angleOfFigure
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
angleOfFigure
geometricPart
)
Merge.kif 17911-17911
angleOfFigure
ist eine
teilrelation
von
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
Wenn
GeometricFigure
ist ein
fall
von
Polygon
%n{nicht} und
** GeometricFigure
ist gleich
RightTriangle
%n{nicht},
dann es gibt
TwoDimensionalAngle
um
** TwoDimensionalAngle
ist ein
fall
von
TwoDimensionalAngle
%n{nicht} und
angleOfFigure
** TwoDimensionalAngle
and
** GeometricFigure
und
** TwoDimensionalAngle
ist gleich
RightAngle
%n{nicht}
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