Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass InstepBone FootBone) Anatomy.kif 1227-1227
(subclass LeftMetatarsal1Bone InstepBone) Anatomy.kif 1231-1231
(subclass RightMetatarsal1Bone InstepBone) Anatomy.kif 1235-1235
(subclass LeftMetatarsal2Bone InstepBone) Anatomy.kif 1240-1240
(subclass RightMetatarsal2Bone InstepBone) Anatomy.kif 1244-1244
(subclass LeftMetatarsal3Bone InstepBone) Anatomy.kif 1249-1249
(subclass RightMetatarsal3Bone InstepBone) Anatomy.kif 1253-1253
(subclass LeftMetatarsal4Bone InstepBone) Anatomy.kif 1258-1258
(subclass RightMetatarsal4Bone InstepBone) Anatomy.kif 1262-1262
(subclass LeftMetatarsal5Bone InstepBone) Anatomy.kif 1267-1267
(subclass RightMetatarsal5Bone InstepBone) Anatomy.kif 1271-1271


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