Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
ContentBearingPhysical
Physical
)
Merge.kif 1314-1314
Content bearing physical
is a
subclass
of
physical
(
subclass
VisualContentBearingPhysical
ContentBearingPhysical
)
Mid-level-ontology.kif 28103-28103
Visual content bearing physical
is a
subclass
of
content bearing physical
(
subclass
ContentBearingProcess
ContentBearingPhysical
)
Merge.kif 1326-1326
Content bearing process
is a
subclass
of
content bearing physical
(
subclass
ContentBearingObject
ContentBearingPhysical
)
Merge.kif 1338-1338
Content bearing object
is a
subclass
of
content bearing physical
(
subclass
SymbolicString
ContentBearingPhysical
)
Merge.kif 1346-1346
Symbolic string
is a
subclass
of
content bearing physical
(
subclass
Icon
ContentBearingPhysical
)
Merge.kif 1389-1389
Icon
is a
subclass
of
content bearing physical
(
subclass
LinguisticExpression
ContentBearingPhysical
)
Merge.kif 1407-1407
Linguistic expression
is a
subclass
of
content bearing physical
(
subclass
Brand
ContentBearingPhysical
)
Hotel.kif 1288-1288
Brand
is a
subclass
of
content bearing physical
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
