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
BodyPart
AnatomicalStructure
)
Merge.kif 14701-14701
Body part
is a
subclass
of
anatomical structure
(
subclass
VirusPart
BodyPart
)
VirusProteinAndCellPart.kif 587-587
Virus part
is a
subclass
of
body part
(
subclass
VocalFold
BodyPart
)
Mid-level-ontology.kif 772-772
VocalFold
is a
subclass
of
body part
(
subclass
NasalSeptum
BodyPart
)
Mid-level-ontology.kif 5804-5804
Septum
is a
subclass
of
body part
(
subclass
PlantBranch
BodyPart
)
Mid-level-ontology.kif 9117-9117
Plant branch
is a
subclass
of
body part
(
subclass
BodySegment
BodyPart
)
Mid-level-ontology.kif 10130-10130
BodySegment
is a
subclass
of
body part
(
subclass
CellPart
BodyPart
)
Mid-level-ontology.kif 10433-10433
Cell part
is a
subclass
of
body part
(
subclass
Mouth
BodyPart
)
Mid-level-ontology.kif 10976-10976
Mouth
is a
subclass
of
body part
(
subclass
Tongue
BodyPart
)
Mid-level-ontology.kif 10988-10988
Tongue
is a
subclass
of
body part
(
subclass
Hoof
BodyPart
)
Mid-level-ontology.kif 11012-11012
Hoof
is a
subclass
of
body part
(
subclass
AnimalShell
BodyPart
)
Mid-level-ontology.kif 11062-11062
Animal shell
is a
subclass
of
body part
(
subclass
Lip
BodyPart
)
Mid-level-ontology.kif 11125-11125
Lip
is a
subclass
of
body part
(
subclass
Skeleton
BodyPart
)
Mid-level-ontology.kif 11187-11187
Skeleton
is a
subclass
of
body part
(
subclass
Exoskeleton
BodyPart
)
Mid-level-ontology.kif 11206-11206
Exoskeleton
is a
subclass
of
body part
(
subclass
Medulla
BodyPart
)
Mid-level-ontology.kif 11386-11386
Medulla
is a
subclass
of
body part
(
subclass
Pons
BodyPart
)
Mid-level-ontology.kif 11392-11392
Pons
is a
subclass
of
body part
(
subclass
ParietalLobe
BodyPart
)
Mid-level-ontology.kif 11398-11398
Parietal lobe
is a
subclass
of
body part
(
subclass
FrontalLobe
BodyPart
)
Mid-level-ontology.kif 11406-11406
Frontal lobe
is a
subclass
of
body part
(
subclass
OccipitalLobes
BodyPart
)
Mid-level-ontology.kif 11414-11414
Occipital lobes
is a
subclass
of
body part
(
subclass
TemporalLobes
BodyPart
)
Mid-level-ontology.kif 11421-11421
Temporal lobes
is a
subclass
of
body part
(
subclass
Hypothalamus
BodyPart
)
Mid-level-ontology.kif 11629-11629
Hypothalamus
is a
subclass
of
body part
(
subclass
Cornea
BodyPart
)
Mid-level-ontology.kif 11669-11669
Cornea
is a
subclass
of
body part
(
subclass
DigitAppendage
BodyPart
)
Mid-level-ontology.kif 12018-12018
Digit appendage
is a
subclass
of
body part
(
subclass
Limb
BodyPart
)
Mid-level-ontology.kif 12086-12086
Limb
is a
subclass
of
body part
(
subclass
Toe
BodyPart
)
Mid-level-ontology.kif 12278-12278
Toe
is a
subclass
of
body part
(
subclass
Shoulder
BodyPart
)
Mid-level-ontology.kif 12301-12301
Shoulder
is a
subclass
of
body part
(
subclass
Torso
BodyPart
)
Mid-level-ontology.kif 12327-12327
Torso
is a
subclass
of
body part
(
subclass
Waist
BodyPart
)
Mid-level-ontology.kif 12343-12343
Waist
is a
subclass
of
body part
(
subclass
Head
BodyPart
)
Mid-level-ontology.kif 12386-12386
Head
is a
subclass
of
body part
(
subclass
Neck
BodyPart
)
Mid-level-ontology.kif 12391-12391
Neck
is a
subclass
of
body part
(
subclass
Face
BodyPart
)
Mid-level-ontology.kif 12403-12403
Face
is a
subclass
of
body part
(
subclass
Chin
BodyPart
)
Mid-level-ontology.kif 12439-12439
Chin
is a
subclass
of
body part
(
subclass
Feather
BodyPart
)
Mid-level-ontology.kif 19729-19729
Feather
is a
subclass
of
body part
(
subclass
ReproductiveBody
BodyPart
)
Merge.kif 14770-14770
Reproductive body
is a
subclass
of
body part
(
subclass
BodyCovering
BodyPart
)
Merge.kif 14823-14823
Body covering
is a
subclass
of
body part
(
subclass
BodyJunction
BodyPart
)
Merge.kif 14837-14837
Body junction
is a
subclass
of
body part
(
subclass
BodyCavity
BodyPart
)
Merge.kif 14849-14849
Body cavity
is a
subclass
of
body part
(
subclass
Cell
BodyPart
)
Merge.kif 14857-14857
Cell
is a
subclass
of
body part
(
subclass
Organ
BodyPart
)
Merge.kif 14861-14861
Organ
is a
subclass
of
body part
(
subclass
Bone
BodyPart
)
Merge.kif 14947-14947
Bone
is a
subclass
of
body part
(
subclass
Muscle
BodyPart
)
Merge.kif 14975-14975
Muscle
is a
subclass
of
body part
(
subclass
EggYolk
BodyPart
)
Food.kif 522-522
EggYolk
is a
subclass
of
body part
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
