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
geometricPart
Sigma KEE - geometricPart
geometricPart
appearance as argument number 1
(
documentation
geometricPart
ChineseLanguage
"(
geometricPart
?PART ?WHOLE)的意思是
GeometricFigure
?PART 是
GeometricFigure
?WHOLE 的一部分。")
chinese_format.kif 3984-3985
(
documentation
geometricPart
EnglishLanguage
"(
geometricPart
?PART ?WHOLE) means that the
GeometricFigure
?PART is part of the
GeometricFigure
?WHOLE.")
Merge.kif 17822-17823
(
domain
geometricPart
1
GeometricFigure
)
Merge.kif 17820-17820
Die Zahl 1 Argument von
geometricPart
ist ein
fall
von
GeometricFigure
%n{nicht}
(
domain
geometricPart
2
GeometricFigure
)
Merge.kif 17821-17821
Die Zahl 2 Argument von
geometricPart
ist ein
fall
von
GeometricFigure
%n{nicht}
(
instance
geometricPart
BinaryPredicate
)
Merge.kif 17818-17818
geometricPart
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
geometricPart
PartialOrderingRelation
)
Merge.kif 17819-17819
geometricPart
ist ein
fall
von
PartialOrderingRelation
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
geometricPart
"%2 %n 是 %1 的 geometric 部分")
domainEnglishFormat.kif 1105-1105
(
format
ChineseTraditionalLanguage
geometricPart
"%2 %n 是 %1 的 geometric 部分")
domainEnglishFormat.kif 1104-1104
(
format
EnglishLanguage
geometricPart
"%2 is %n a geometric part of %1")
domainEnglishFormat.kif 1103-1103
(
subrelation
angleOfFigure
geometricPart
)
Merge.kif 17832-17832
angleOfFigure
ist eine
teilrelation
von
geometricPart
(
subrelation
pointOfFigure
geometricPart
)
Merge.kif 17825-17825
pointOfFigure
ist eine
teilrelation
von
geometricPart
(
subrelation
sideOfFigure
geometricPart
)
Mid-level-ontology.kif 4978-4978
sideOfFigure
ist eine
teilrelation
von
geometricPart
(
termFormat
ChineseLanguage
geometricPart
"几何部分")
domainEnglishFormat.kif 25824-25824
(
termFormat
ChineseTraditionalLanguage
geometricPart
"幾何部分")
domainEnglishFormat.kif 25823-25823
(
termFormat
EnglishLanguage
geometricPart
"geometric part")
domainEnglishFormat.kif 25822-25822
antecedent
(=>
(
and
(
instance
?POLYGON
Polygon
)
(
geometricPart
?PART ?POLYGON))
(
instance
?PART
OneDimensionalFigure
))
Mid-level-ontology.kif 4880-4884
Wenn
GeometricFigure
ist ein
fall
von
Polygon
%n{nicht} und
geometricPart
** GeometricFigure
and
** GeometricFigure
,
dann
** ** GeometricFigure
ist ein
fall
von
OneDimensionalFigure
%n{nicht}
consequent
(=>
(
instance
?POLYGON
Polygon
)
(
exists
(?SIDE)
(
and
(
sideOfFigure
?SIDE ?POLYGON)
(
geometricPart
?SIDE ?POLYGON))))
Mid-level-ontology.kif 4886-4891
Wenn
GeometricFigure
ist ein
fall
von
Polygon
%n{nicht},
dann es gibt
OneDimensionalFigure
um
sideOfFigure
** OneDimensionalFigure
and
** GeometricFigure
und
geometricPart
** OneDimensionalFigure
and
** GeometricFigure
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