Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InstepBone
InstepBone

appearance as argument number 1
-------------------------


(documentation InstepBone EnglishLanguage "instep bone") Anatomy.kif 1229-1229
(subclass InstepBone FootBone) Anatomy.kif 1227-1227

appearance as argument number 2
-------------------------


(subclass LeftMetatarsal1Bone InstepBone) Anatomy.kif 1231-1231
(subclass LeftMetatarsal2Bone InstepBone) Anatomy.kif 1240-1240
(subclass LeftMetatarsal3Bone InstepBone) Anatomy.kif 1249-1249
(subclass LeftMetatarsal4Bone InstepBone) Anatomy.kif 1258-1258
(subclass LeftMetatarsal5Bone InstepBone) Anatomy.kif 1267-1267
(subclass RightMetatarsal1Bone InstepBone) Anatomy.kif 1235-1235
(subclass RightMetatarsal2Bone InstepBone) Anatomy.kif 1244-1244
(subclass RightMetatarsal3Bone InstepBone) Anatomy.kif 1253-1253
(subclass RightMetatarsal4Bone InstepBone) Anatomy.kif 1262-1262
(subclass RightMetatarsal5Bone InstepBone) Anatomy.kif 1271-1271
(termFormat EnglishLanguage InstepBone "instep bone") Anatomy.kif 1228-1228


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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