Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
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
ContentBearingObject
CorpuscularObject
)
Merge.kif 1322-1322
(
subclass
ContentBearingObject
ContentBearingPhysical
)
Merge.kif 1323-1323
(
subclass
ShipRegistration
ContentBearingObject
)
Transportation.kif 1087-1087
(
subclass
ShipRegister
ContentBearingObject
)
Transportation.kif 1106-1106
(
subclass
ProcessState
ContentBearingObject
)
QoSontology.kif 662-662
(
subclass
Feedback
ContentBearingObject
)
QoSontology.kif 781-781
(
subclass
UniformResourceIdentifier
ContentBearingObject
)
QoSontology.kif 1805-1805
(
subclass
UserAccount
ContentBearingObject
)
QoSontology.kif 2166-2166
(
subclass
Compass
ContentBearingObject
)
Mid-level-ontology.kif 2724-2724
(
subclass
SheetMusic
ContentBearingObject
)
Mid-level-ontology.kif 15778-15778
(
subclass
HolidayCard
ContentBearingObject
)
Mid-level-ontology.kif 16240-16240
(
subclass
Sign
ContentBearingObject
)
Mid-level-ontology.kif 18506-18506
(
subclass
PlayingCard
ContentBearingObject
)
Mid-level-ontology.kif 18512-18512
(
subclass
Descriptor
ContentBearingObject
)
Mid-level-ontology.kif 26190-26190
(
subclass
DescriptorPart
ContentBearingObject
)
Mid-level-ontology.kif 26207-26207
(
subclass
VisualContentBearingObject
ContentBearingObject
)
Mid-level-ontology.kif 28111-28111
(
subclass
Document
ContentBearingObject
)
Mid-level-ontology.kif 28287-28287
(
subclass
Recording
ContentBearingObject
)
Merge.kif 1381-1381
(
subclass
Text
ContentBearingObject
)
Merge.kif 15498-15498
(
subclass
ConstitutionDocument
ContentBearingObject
)
Government.kif 646-646
(
subclass
MultipoleDiagram
ContentBearingObject
)
engineering.kif 380-380
(
subclass
WebDocument
ContentBearingObject
)
engineering.kif 1676-1676
(
subclass
Account
ContentBearingObject
)
ComputingBrands.kif 4535-4535
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