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