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
ToeBone
FootBone
)
Anatomy.kif 1279-1279
(
subclass
ToeBone
Phalanx
)
Anatomy.kif 1284-1284
(
subclass
LeftProximalFootPhalanxIBone
ToeBone
)
Anatomy.kif 1290-1290
(
subclass
RightProximalFootPhalanxIBone
ToeBone
)
Anatomy.kif 1295-1295
(
subclass
LeftProximalFootPhalanxIIBone
ToeBone
)
Anatomy.kif 1300-1300
(
subclass
RightProximalFootPhalanxIIBone
ToeBone
)
Anatomy.kif 1305-1305
(
subclass
LeftProximalFootPhalanxIIIBone
ToeBone
)
Anatomy.kif 1310-1310
(
subclass
RightProximalFootPhalanxIIIBone
ToeBone
)
Anatomy.kif 1315-1315
(
subclass
LeftProximalFootPhalanxIVBone
ToeBone
)
Anatomy.kif 1320-1320
(
subclass
RightProximalFootPhalanxIVBone
ToeBone
)
Anatomy.kif 1325-1325
(
subclass
LeftProximalFootPhalanxVBone
ToeBone
)
Anatomy.kif 1330-1330
(
subclass
RightProximalFootPhalanxVBone
ToeBone
)
Anatomy.kif 1335-1335
(
subclass
LeftIntermediateFootPhalanxIIBone
ToeBone
)
Anatomy.kif 1342-1342
(
subclass
RightIntermediateFootPhalanxIIBone
ToeBone
)
Anatomy.kif 1347-1347
(
subclass
LeftIntermediateFootPhalanxIIIBone
ToeBone
)
Anatomy.kif 1352-1352
(
subclass
RightIntermediateFootPhalanxIIIBone
ToeBone
)
Anatomy.kif 1357-1357
(
subclass
LeftIntermediateFootPhalanxIVBone
ToeBone
)
Anatomy.kif 1362-1362
(
subclass
RightIntermediateFootPhalanxIVBone
ToeBone
)
Anatomy.kif 1367-1367
(
subclass
LeftIntermediateFootPhalanxVBone
ToeBone
)
Anatomy.kif 1372-1372
(
subclass
RightIntermediateFootPhalanxVBone
ToeBone
)
Anatomy.kif 1377-1377
(
subclass
LeftDistalFootPhalanxIBone
ToeBone
)
Anatomy.kif 1383-1383
(
subclass
RightDistalFootPhalanxIBone
ToeBone
)
Anatomy.kif 1388-1388
(
subclass
LeftDistalFootPhalanxIIBone
ToeBone
)
Anatomy.kif 1393-1393
(
subclass
RightDistalFootPhalanxIIBone
ToeBone
)
Anatomy.kif 1398-1398
(
subclass
LeftDistalFootPhalanxIIIBone
ToeBone
)
Anatomy.kif 1403-1403
(
subclass
RightDistalFootPhalanxIIIBone
ToeBone
)
Anatomy.kif 1408-1408
(
subclass
LeftDistalFootPhalanxIVBone
ToeBone
)
Anatomy.kif 1413-1413
(
subclass
RightDistalFootPhalanxIVBone
ToeBone
)
Anatomy.kif 1418-1418
(
subclass
LeftDistalFootPhalanxVBone
ToeBone
)
Anatomy.kif 1423-1423
(
subclass
RightDistalFootPhalanxVBone
ToeBone
)
Anatomy.kif 1428-1428
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