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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InstepBone

 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 InstepBone 是 FootBone 的 subclass

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


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


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

Show without tree


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