| 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 15276-15276 | |
| (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 15275-15275 | Bone is a subclass of body part |
| appearance as argument number 2 |
|
|
| (initialPart BoneMarrow Bone) | Medicine.kif 1209-1209 | Every bone marrow is initially part of a bone |
| (subclass ArmBone Bone) | Anatomy.kif 684-684 | Arm bone is a subclass of bone |
| (subclass Coccyx Bone) | Anatomy.kif 1025-1025 | Coccyx is a subclass of bone |
| (subclass FootBone Bone) | Anatomy.kif 1098-1098 | Foot bone is a subclass of bone |
| (subclass HeadBone Bone) | Anatomy.kif 51-51 | Head bone is a subclass of bone |
| (subclass Horn Bone) | Mid-level-ontology.kif 12406-12406 | Horn is a subclass of bone |
| (subclass Ivory Bone) | Mid-level-ontology.kif 12417-12417 | Ivory is a subclass of bone |
| (subclass LegBone Bone) | Anatomy.kif 1031-1031 | Leg bone is a subclass of bone |
| (subclass PelvicBone Bone) | Anatomy.kif 999-999 | Pelvis is a subclass of bone |
| (subclass Phalanx Bone) | Anatomy.kif 1282-1282 | Phalanx is a subclass of bone |
| (subclass RibBone Bone) | Mid-level-ontology.kif 12127-12127 | Rib bone is a subclass of bone |
| (subclass Sacrum Bone) | Anatomy.kif 1016-1016 | Sacrum is a subclass of bone |
| (subclass ShoulderGirdleBone Bone) | Anatomy.kif 212-212 | Shoulder girdle bone is a subclass of bone |
| (subclass ThoraxBone Bone) | Anatomy.kif 245-245 | Thorax bone is a subclass of bone |
| (subclass ThroatBone Bone) | Anatomy.kif 201-201 | Throat bone is a subclass of bone |
| (subclass Tooth Bone) | Mid-level-ontology.kif 12366-12366 | 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 12578-12585 | 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 15277-15279 |
|
| consequent |
|
|
|
|
|