Term Intersection
: 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
Term 1:
Term 2:
(
subclass
ContentBearingObject
CorpuscularObject
)
Merge.kif 1327-1327
Content bearing object
is a
subclass
of
corpuscular object
(
subclass
ContentBearingObject
ContentBearingPhysical
)
Merge.kif 1328-1328
Content bearing object
is a
subclass
of
content bearing physical
(
subclass
ShipRegistration
ContentBearingObject
)
Transportation.kif 1087-1087
Ship registration
is a
subclass
of
content bearing object
(
subclass
ShipRegister
ContentBearingObject
)
Transportation.kif 1106-1106
Ship register
is a
subclass
of
content bearing object
(
subclass
ProcessState
ContentBearingObject
)
QoSontology.kif 554-554
Process state
is a
subclass
of
content bearing object
(
subclass
Feedback
ContentBearingObject
)
QoSontology.kif 672-672
Feedback
is a
subclass
of
content bearing object
(
subclass
UniformResourceIdentifier
ContentBearingObject
)
QoSontology.kif 1674-1674
Uniform resource identifier
is a
subclass
of
content bearing object
(
subclass
UserAccount
ContentBearingObject
)
QoSontology.kif 2035-2035
User account
is a
subclass
of
content bearing object
(
subclass
Compass
ContentBearingObject
)
Mid-level-ontology.kif 2261-2261
Compass
is a
subclass
of
content bearing object
(
subclass
SheetMusic
ContentBearingObject
)
Mid-level-ontology.kif 14407-14407
Sheet music
is a
subclass
of
content bearing object
(
subclass
HolidayCard
ContentBearingObject
)
Mid-level-ontology.kif 14867-14867
Holiday card
is a
subclass
of
content bearing object
(
subclass
Sign
ContentBearingObject
)
Mid-level-ontology.kif 17119-17119
Sign
is a
subclass
of
content bearing object
(
subclass
PlayingCard
ContentBearingObject
)
Mid-level-ontology.kif 17125-17125
Playing card
is a
subclass
of
content bearing object
(
subclass
Descriptor
ContentBearingObject
)
Mid-level-ontology.kif 24526-24526
Descriptor
is a
subclass
of
content bearing object
(
subclass
DescriptorPart
ContentBearingObject
)
Mid-level-ontology.kif 24543-24543
Descriptor part
is a
subclass
of
content bearing object
(
subclass
VisualContentBearingObject
ContentBearingObject
)
Mid-level-ontology.kif 26211-26211
Visual content bearing object
is a
subclass
of
content bearing object
(
subclass
Document
ContentBearingObject
)
Mid-level-ontology.kif 26386-26386
Document
is a
subclass
of
content bearing object
(
subclass
Recording
ContentBearingObject
)
Merge.kif 1386-1386
Recording
is a
subclass
of
content bearing object
(
subclass
Text
ContentBearingObject
)
Merge.kif 15360-15360
Text
is a
subclass
of
content bearing object
(
subclass
ConstitutionDocument
ContentBearingObject
)
Government.kif 682-682
Constitution document
is a
subclass
of
content bearing object
(
subclass
MultipoleDiagram
ContentBearingObject
)
engineering.kif 381-381
Multipole diagram
is a
subclass
of
content bearing object
(
subclass
WebDocument
ContentBearingObject
)
engineering.kif 1363-1363
Web document
is a
subclass
of
content bearing object
(
subclass
Account
ContentBearingObject
)
ComputingBrands.kif 4540-4540
Account
is a
subclass
of
content bearing object
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