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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ArmBone

appearance as argument number 1

(documentation ArmBone EnglishLanguage "arm bone") Anatomy.kif 687-687
(initialPart ArmBone Arm) Anatomy.kif 688-688 initialPart ArmBone and Arm
(subclass ArmBone Bone) Anatomy.kif 685-685 ArmBonesubclass では %n

appearance as argument number 2

(subclass FingerBone ArmBone) Anatomy.kif 877-877 FingerBoneArmBonesubclass では %n
(subclass Humerus ArmBone) Anatomy.kif 691-691 HumerusArmBonesubclass では %n
(subclass PalmBone ArmBone) Anatomy.kif 829-829 PalmBoneArmBonesubclass では %n
(subclass Radius ArmBone) Anatomy.kif 722-722 RadiusArmBonesubclass では %n
(subclass Ulna ArmBone) Anatomy.kif 704-704 UlnaArmBonesubclass では %n
(subclass WristBone ArmBone) Anatomy.kif 741-741 WristBoneArmBonesubclass では %n
(termFormat EnglishLanguage ArmBone "arm bone") Anatomy.kif 686-686

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