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
Objet exprimant un sens
est une
sous
-classe de
objet corpusculaire
(
subclass
ContentBearingObject
ContentBearingPhysical
)
Merge.kif 1328-1328
Objet exprimant un sens
est une
sous
-classe de
ContentBearingPhysical
(
subclass
ShipRegistration
ContentBearingObject
)
Transportation.kif 1087-1087
ShipRegistration
est une
sous
-classe de
objet exprimant un sens
(
subclass
ShipRegister
ContentBearingObject
)
Transportation.kif 1106-1106
ShipRegister
est une
sous
-classe de
objet exprimant un sens
(
subclass
ProcessState
ContentBearingObject
)
QoSontology.kif 554-554
ProcessState
est une
sous
-classe de
objet exprimant un sens
(
subclass
Feedback
ContentBearingObject
)
QoSontology.kif 672-672
Feedback
est une
sous
-classe de
objet exprimant un sens
(
subclass
UniformResourceIdentifier
ContentBearingObject
)
QoSontology.kif 1674-1674
UniformResourceIdentifier
est une
sous
-classe de
objet exprimant un sens
(
subclass
UserAccount
ContentBearingObject
)
QoSontology.kif 2035-2035
UserAccount
est une
sous
-classe de
objet exprimant un sens
(
subclass
Compass
ContentBearingObject
)
Mid-level-ontology.kif 2261-2261
Compass
est une
sous
-classe de
objet exprimant un sens
(
subclass
SheetMusic
ContentBearingObject
)
Mid-level-ontology.kif 14407-14407
SheetMusic
est une
sous
-classe de
objet exprimant un sens
(
subclass
HolidayCard
ContentBearingObject
)
Mid-level-ontology.kif 14867-14867
HolidayCard
est une
sous
-classe de
objet exprimant un sens
(
subclass
Sign
ContentBearingObject
)
Mid-level-ontology.kif 17119-17119
Sign
est une
sous
-classe de
objet exprimant un sens
(
subclass
PlayingCard
ContentBearingObject
)
Mid-level-ontology.kif 17125-17125
PlayingCard
est une
sous
-classe de
objet exprimant un sens
(
subclass
Descriptor
ContentBearingObject
)
Mid-level-ontology.kif 24526-24526
Descriptor
est une
sous
-classe de
objet exprimant un sens
(
subclass
DescriptorPart
ContentBearingObject
)
Mid-level-ontology.kif 24543-24543
DescriptorPart
est une
sous
-classe de
objet exprimant un sens
(
subclass
VisualContentBearingObject
ContentBearingObject
)
Mid-level-ontology.kif 26211-26211
VisualContentBearingObject
est une
sous
-classe de
objet exprimant un sens
(
subclass
Document
ContentBearingObject
)
Mid-level-ontology.kif 26386-26386
Document
est une
sous
-classe de
objet exprimant un sens
(
subclass
Recording
ContentBearingObject
)
Merge.kif 1386-1386
Recording
est une
sous
-classe de
objet exprimant un sens
(
subclass
Text
ContentBearingObject
)
Merge.kif 15360-15360
Texte
est une
sous
-classe de
objet exprimant un sens
(
subclass
ConstitutionDocument
ContentBearingObject
)
Government.kif 682-682
ConstitutionDocument
est une
sous
-classe de
objet exprimant un sens
(
subclass
MultipoleDiagram
ContentBearingObject
)
engineering.kif 381-381
MultipoleDiagram
est une
sous
-classe de
objet exprimant un sens
(
subclass
WebDocument
ContentBearingObject
)
engineering.kif 1363-1363
WebDocument
est une
sous
-classe de
objet exprimant un sens
(
subclass
Account
ContentBearingObject
)
ComputingBrands.kif 4540-4540
Account
est une
sous
-classe de
objet exprimant un sens
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