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

Formal Language: 



Term 1: Term 2:

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


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