|
|
   Bone
|
|
|
| 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 22-22 | |
| (documentation Bone EnglishLanguage "Parts of the body that are made up of BoneTissue.") | Merge.kif 15248-15248 | |
| (externalImage Bone "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Humerus_ant.jpg") | pictureList.kif 45-45 | |
| (initialPart Bone Primate) | Anatomy.kif 21-21 | initialPart Osso and Primata |
| (subclass Bone BodyPart) | Merge.kif 15247-15247 | Osso e' uma sub-classe de Parte do Corpo |
| (subclass Bone Bone) | Anatomy.kif 18-18 | Osso e' uma sub-classe de Osso |
| appearance as argument number 2 |
|
|
| (initialPart BoneMarrow Bone) | Medicine.kif 1221-1221 | initialPart BoneMarrow and Osso |
| (subclass ArmBone Bone) | Anatomy.kif 685-685 | ArmBone e' uma sub-classe de Osso |
| (subclass Bone Bone) | Anatomy.kif 18-18 | Osso e' uma sub-classe de Osso |
| (subclass Coccyx Bone) | Anatomy.kif 1026-1026 | Coccyx e' uma sub-classe de Osso |
| (subclass FootBone Bone) | Anatomy.kif 1099-1099 | FootBone e' uma sub-classe de Osso |
| (subclass HeadBone Bone) | Anatomy.kif 52-52 | HeadBone e' uma sub-classe de Osso |
| (subclass Horn Bone) | Mid-level-ontology.kif 11537-11537 | Horn e' uma sub-classe de Osso |
| (subclass Ivory Bone) | Mid-level-ontology.kif 11548-11548 | Ivory e' uma sub-classe de Osso |
| (subclass LegBone Bone) | Anatomy.kif 1032-1032 | LegBone e' uma sub-classe de Osso |
| (subclass PelvicBone Bone) | Anatomy.kif 1000-1000 | PelvicBone e' uma sub-classe de Osso |
| (subclass Phalanx Bone) | Anatomy.kif 1283-1283 | Phalanx e' uma sub-classe de Osso |
| (subclass RibBone Bone) | Mid-level-ontology.kif 11258-11258 | RibBone e' uma sub-classe de Osso |
| (subclass Sacrum Bone) | Anatomy.kif 1017-1017 | Sacrum e' uma sub-classe de Osso |
| (subclass ShoulderGirdleBone Bone) | Anatomy.kif 213-213 | ShoulderGirdleBone e' uma sub-classe de Osso |
| (subclass ThoraxBone Bone) | Anatomy.kif 246-246 | ThoraxBone e' uma sub-classe de Osso |
| (subclass ThroatBone Bone) | Anatomy.kif 202-202 | ThroatBone e' uma sub-classe de Osso |
| (subclass Tooth Bone) | Mid-level-ontology.kif 11497-11497 | Tooth e' uma sub-classe de Osso |
| (termFormat ChineseLanguage Bone "骨骼") | chinese_format.kif 1026-1026 | |
| (termFormat EnglishLanguage Bone "Bone") | Anatomy.kif 19-19 | |
| (termFormat EnglishLanguage Bone "bone") | english_format.kif 1264-1264 | |
| (termFormat FrenchLanguage Bone "os") | french_format.kif 704-704 | |
| (termFormat Hindi Bone "asthi") | terms-hindi.txt 235-235 | |
| (termFormat ItalianLanguage Bone "Osso") | terms-it.txt 238-238 | |
| (termFormat JapaneseLanguage Bone "骨") | japanese_format.kif 2387-2387 | |
| 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 11709-11716 | Objeto e' uma instancia de Osso Objeto Objeto e' uma instancia de Skeleton Objeto e' uma instancia de Exoskeleton Objeto e' uma &parte de Objeto |
| (=> (instance ?B Bone) (material BoneTissue ?B)) |
Merge.kif 15249-15251 |
|
| 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 6257-6275 |
|
| (=> (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 6128-6137 | |
| (=> (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 6144-6154 | |
| (=> (instance ?O Ossification) (exists (?B) (and (instance ?B Bone) (result ?O ?B)))) |
Mid-level-ontology.kif 11571-11576 | |
| (=> (instance ?S Skull) (memberType ?S Bone)) |
Mid-level-ontology.kif 11510-11512 | |
| (=> (instance ?T Tendon) (exists (?M ?B) (and (instance ?M Muscle) (instance ?B Bone) (connects ?T ?M ?B)))) |
Mid-level-ontology.kif 9476-9482 |
|
|
|
