Bone - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Bone ChineseLanguage "这是大致由钙质所组成的坚硬Tissue，它构成了 Vertebrate 的骨架。注：这个 Class 也包括牙齿。")	chinese_format.kif 3526-3527
(documentation Bone EnglishLanguage "A Bone that is (or was) part of a Primate.")	Anatomy.kif 21-21
(documentation Bone EnglishLanguage "Parts of the body that are made up of BoneTissue.")	Merge.kif 15377-15377
(externalImage Bone "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Humerus_ant.jpg")	pictureList.kif 45-45
(initialPart Bone Primate)	Anatomy.kif 20-20	Every bone is initially part of a primate
(subclass Bone BodyPart)	Merge.kif 15376-15376	Bone is a subclass of body part

appearance as argument number 2

(initialPart BoneMarrow Bone)	Medicine.kif 1213-1213	Every bone marrow is initially part of a bone
(subclass ArmBone Bone)	Anatomy.kif 700-700	Arm bone is a subclass of bone
(subclass Coccyx Bone)	Anatomy.kif 1057-1057	Coccyx is a subclass of bone
(subclass FootBone Bone)	Anatomy.kif 1128-1128	Foot bone is a subclass of bone
(subclass HeadBone Bone)	Anatomy.kif 52-52	Head bone is a subclass of bone
(subclass Horn Bone)	Mid-level-ontology.kif 12835-12835	Horn is a subclass of bone
(subclass Ivory Bone)	Mid-level-ontology.kif 12846-12846	Ivory is a subclass of bone
(subclass LegBone Bone)	Anatomy.kif 1063-1063	Leg bone is a subclass of bone
(subclass PelvicBone Bone)	Anatomy.kif 1031-1031	Pelvis is a subclass of bone
(subclass Phalanx Bone)	Anatomy.kif 1314-1314	Phalanx is a subclass of bone
(subclass RibBone Bone)	Mid-level-ontology.kif 12556-12556	Rib bone is a subclass of bone
(subclass Sacrum Bone)	Anatomy.kif 1048-1048	Sacrum is a subclass of bone
(subclass ShoulderGirdleBone Bone)	Anatomy.kif 228-228	Shoulder girdle bone is a subclass of bone
(subclass ThoraxBone Bone)	Anatomy.kif 261-261	Thorax bone is a subclass of bone
(subclass ThroatBone Bone)	Anatomy.kif 217-217	Throat bone is a subclass of bone
(subclass Tooth Bone)	Mid-level-ontology.kif 12795-12795	Tooth is a subclass of bone
(termFormat ChineseLanguage Bone "骨骼")	chinese_format.kif 1026-1026	Tooth is a subclass of bone
(termFormat EnglishLanguage Bone "Bone")	Anatomy.kif 18-18	Tooth is a subclass of bone
(termFormat EnglishLanguage Bone "bone")	english_format.kif 1264-1264	Tooth is a subclass of bone
(termFormat FrenchLanguage Bone "os")	french_format.kif 704-704	Tooth is a subclass of bone
(termFormat Hindi Bone "asthi")	terms-hindi.txt 235-235	Tooth is a subclass of bone
(termFormat ItalianLanguage Bone "Osso")	terms-it.txt 238-238	Tooth is a subclass of bone
(termFormat JapaneseLanguage Bone "骨")	japanese_format.kif 2387-2387	Tooth is a subclass of bone
(termFormat PortugueseLanguage Bone "Osso")	portuguese_format.kif 656-656	Tooth is a subclass of bone

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(<=> (instance ?BONE Bone) (exists (?SKELETON) (and (or (instance ?SKELETON Skeleton) (instance ?SKELETON Exoskeleton)) (part ?BONE ?SKELETON))))	Mid-level-ontology.kif 13007-13014	An object is an instance of bone if and only if there exists another object such that the other object is an instance of skeleton or the other object is an instance of exoskeleton and the object is a part of the other object
(=> (instance ?B Bone) (material BoneTissue ?B))	Merge.kif 15378-15380	If a corpuscular object is an instance of bone, then the corpuscular object is made of bone tissue

consequent

(=> (and (instance ?A Amputating) (patient ?A ?H) (instance ?L Limb)) (exists (?P ?B) (and (part ?P ?L) (part ?B ?P) (instance ?B Bone) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (part ?P ?H)) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (not (part ?P ?H))))))	Medicine.kif 6275-6293	If a process is an instance of amputation and an entity is a patient of the process and an object is an instance of limb, then there exist another object and a third object such that the other object is a part of the object and the third object is a part of the other object and the third object is an instance of bone and the other object is a part of the entity holds during immediately before the time of existence of the process and the other object is not a part of the entity holds during immediately before the time of existence of the process
(=> (holdsDuring ?T (attribute ?H BoneFracture)) (exists (?S ?B) (and (instance ?S Separating) (patient ?S ?B) (instance ?B Bone) (part ?B ?H) (meetsTemporally (WhenFn ?S) ?T))))	Medicine.kif 6146-6155	If bone fracture is an attribute of an object holds during a time interval, then there exist a process and another object such that the process is an instance of separating and the other object is a patient of the process and the other object is an instance of bone and the other object is a part of the object and the time of existence of the process meets the time interval
(=> (holdsDuring ?T (attribute ?H OpenFracture)) (exists (?S ?B) (and (instance ?S Skin) (part ?S ?H) (instance ?B Bone) (part ?B ?H) (holdsDuring ?T (traverses ?B ?S)))))	Medicine.kif 6162-6172	If open fracture is an attribute of an object holds during a time position, then there exist another object and a third object such that the other object is an instance of skin and the other object is a part of the object and the third object is an instance of bone and the third object is a part of the object and the third object traverses the other object holds during the time position
(=> (instance ?O Ossification) (exists (?B) (and (instance ?B Bone) (result ?O ?B))))	Mid-level-ontology.kif 12869-12874	If a process is an instance of ossification, then there exists an entity such that the entity is an instance of bone and the entity is a result of the process
(=> (instance ?S Skull) (memberType ?S Bone))	Mid-level-ontology.kif 12808-12810	If a collection is an instance of skull, then bone is a member type of the collection
(=> (instance ?T Tendon) (exists (?M ?B) (and (instance ?M Muscle) (instance ?B Bone) (connects ?T ?M ?B))))	Mid-level-ontology.kif 10772-10778	If an object is an instance of tendon, then there exist another object and a third object such that the other object is an instance of muscle and the third object is an instance of bone and the object connects the other object and the third object

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

KB Term:			Term intersection

English Word: