| 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 15340-15340 | |
| (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 15339-15339 | 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 1130-1130 | 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 12859-12859 | Horn is a subclass of bone |
| (subclass Ivory Bone) | Mid-level-ontology.kif 12870-12870 | 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 1316-1316 | Phalanx is a subclass of bone |
| (subclass RibBone Bone) | Mid-level-ontology.kif 12580-12580 | 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 12819-12819 | 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 13031-13038 | 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 15341-15343 |
|
| consequent |
|
|
|
|
|