Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Bone BodyPart) | Merge.kif 15497-15497 | Bone is a subclass of body part |
| (documentation Bone EnglishLanguage "Parts of the body that are made up of BoneTissue.") | Merge.kif 15498-15498 | Bone is a subclass of body part |
| (initialPart Bone Primate) | Anatomy.kif 18-18 | Every bone is initially part of a primate |
| (externalImage Bone "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Humerus_ant.jpg") | pictureList.kif 45-45 | Every bone is initially part of a primate |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?B Bone) (material BoneTissue ?B)) |
Merge.kif 15499-15501 | If X is an instance of bone, then X is made of bone tissue |
| (<=> (instance ?BONE Bone) (exists (?SKELETON) (and (or (instance ?SKELETON Skeleton) (instance ?SKELETON Exoskeleton)) (part ?BONE ?SKELETON)))) |
Mid-level-ontology.kif 13182-13189 | X is an instance of bone if, only if there exists Y such that Y is an instance of skeleton or Y is an instance of exoskeleton, and X is a part of Y |
| consequent |
|
|
| (=> (instance ?T Tendon) (exists (?M ?B) (and (instance ?M Muscle) (instance ?B Bone) (connects ?T ?M ?B)))) |
Mid-level-ontology.kif 10940-10946 | If X is an instance of tendon, then there exist Y, Z such that Y is an instance of muscle, Z is an instance of bone, X connects Y, and Z |
| (=> (instance ?S Skull) (memberType ?S Bone)) |
Mid-level-ontology.kif 12983-12985 | If X is an instance of skull, then bone is a member type of X |
| (=> (instance ?O Ossification) (exists (?B) (and (instance ?B Bone) (result ?O ?B)))) |
Mid-level-ontology.kif 13044-13049 | If X is an instance of ossification, then there exists Y such that Y is an instance of bone and Y is a result of X |
| (=> (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 6159-6168 | If bone fracture is an attribute of X holds during Y, then there exist Z, W such that Z is an instance of separating, W is a patient of Z, W is an instance of bone, W is a part of X, and the time of existence of Z meets Y |
| (=> (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 6175-6185 | If open fracture is an attribute of X holds during Y, then there exist Z, W such that Z is an instance of skin, Z is a part of X, W is an instance of bone, W is a part of X, and W traverses Z holds during Y |
| (=> (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 6288-6306 | If X is an instance of amputation, Y is a patient of X, and Z is an instance of limb, then there exist W, V such that W is a part of Z, V is a part of W, V is an instance of bone, W is a part of Y holds during immediately before the time of existence of X, and W is not a part of Y holds during immediately before the time of existence of X |
|
