Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
ContentBearingObject
CorpuscularObject
)
Merge.kif 1280-1280
(
subclass
ContentBearingObject
ContentBearingPhysical
)
Merge.kif 1281-1281
(
subclass
ShipRegistration
ContentBearingObject
)
Transportation.kif 1087-1087
(
subclass
ShipRegister
ContentBearingObject
)
Transportation.kif 1106-1106
(
subclass
ProcessState
ContentBearingObject
)
QoSontology.kif 552-552
(
subclass
Feedback
ContentBearingObject
)
QoSontology.kif 670-670
(
subclass
UniformResourceIdentifier
ContentBearingObject
)
QoSontology.kif 1679-1679
(
subclass
UserAccount
ContentBearingObject
)
QoSontology.kif 2040-2040
(
subclass
Compass
ContentBearingObject
)
Mid-level-ontology.kif 2216-2216
(
subclass
SheetMusic
ContentBearingObject
)
Mid-level-ontology.kif 13873-13873
(
subclass
HolidayCard
ContentBearingObject
)
Mid-level-ontology.kif 14331-14331
(
subclass
Sign
ContentBearingObject
)
Mid-level-ontology.kif 16558-16558
(
subclass
PlayingCard
ContentBearingObject
)
Mid-level-ontology.kif 16564-16564
(
subclass
Descriptor
ContentBearingObject
)
Mid-level-ontology.kif 23899-23899
(
subclass
DescriptorPart
ContentBearingObject
)
Mid-level-ontology.kif 23915-23915
(
subclass
VisualContentBearingObject
ContentBearingObject
)
Mid-level-ontology.kif 25598-25598
(
subclass
Document
ContentBearingObject
)
Mid-level-ontology.kif 25769-25769
(
subclass
SymbolicString
ContentBearingObject
)
Merge.kif 1289-1289
(
subclass
Recording
ContentBearingObject
)
Merge.kif 1326-1326
(
subclass
Text
ContentBearingObject
)
Merge.kif 15085-15085
(
subclass
ConstitutionDocument
ContentBearingObject
)
Government.kif 680-680
(
subclass
MultipoleDiagram
ContentBearingObject
)
engineering.kif 380-380
(
subclass
WebDocument
ContentBearingObject
)
engineering.kif 1362-1362
(
subclass
Account
ContentBearingObject
)
ComputingBrands.kif 4503-4503
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