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
LeftRibBone
RibBone
)
Anatomy.kif 275-275
LeftRibBone
e' uma
sub
-classe de
RibBone
(
subclass
LeftTrueRib1Bone
LeftRibBone
)
Anatomy.kif 298-298
LeftTrueRib1Bone
e' uma
sub
-classe de
LeftRibBone
(
subclass
LeftTrueRib2Bone
LeftRibBone
)
Anatomy.kif 313-313
LeftTrueRib2Bone
e' uma
sub
-classe de
LeftRibBone
(
subclass
LeftTrueRib3Bone
LeftRibBone
)
Anatomy.kif 328-328
LeftTrueRib3Bone
e' uma
sub
-classe de
LeftRibBone
(
subclass
LeftTrueRib4Bone
LeftRibBone
)
Anatomy.kif 343-343
LeftTrueRib4Bone
e' uma
sub
-classe de
LeftRibBone
(
subclass
LeftTrueRib5Bone
LeftRibBone
)
Anatomy.kif 358-358
LeftTrueRib5Bone
e' uma
sub
-classe de
LeftRibBone
(
subclass
LeftTrueRib6Bone
LeftRibBone
)
Anatomy.kif 373-373
LeftTrueRib6Bone
e' uma
sub
-classe de
LeftRibBone
(
subclass
LeftTrueRib7Bone
LeftRibBone
)
Anatomy.kif 388-388
LeftTrueRib7Bone
e' uma
sub
-classe de
LeftRibBone
(
subclass
LeftFalseRib8Bone
LeftRibBone
)
Anatomy.kif 419-419
LeftFalseRib8Bone
e' uma
sub
-classe de
LeftRibBone
(
subclass
LeftFalseRib9Bone
LeftRibBone
)
Anatomy.kif 434-434
LeftFalseRib9Bone
e' uma
sub
-classe de
LeftRibBone
(
subclass
LeftFalseRib10Bone
LeftRibBone
)
Anatomy.kif 449-449
LeftFalseRib10Bone
e' uma
sub
-classe de
LeftRibBone
(
subclass
LeftFalseRib11Bone
LeftRibBone
)
Anatomy.kif 464-464
LeftFalseRib11Bone
e' uma
sub
-classe de
LeftRibBone
(
subclass
LeftFalseRib12Bone
LeftRibBone
)
Anatomy.kif 481-481
LeftFalseRib12Bone
e' uma
sub
-classe de
LeftRibBone
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