Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   BodyJoint
|
|
|
| appearance as argument number 1 |
|
|
| (subclass BodyJoint BodyJunction) | Mid-level-ontology.kif 13203-13203 | Body joint is a subclass of body junction |
| (documentation BodyJoint EnglishLanguage "BodyJunctions where different parts of the same Skeleton come together.") | Mid-level-ontology.kif 13204-13205 | Body joint is a subclass of body junction |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?J BodyJoint) (exists (?S ?P1 ?P2) (and (instance ?S Skeleton) (component ?P1 ?S) (component ?P2 ?S) (component ?J ?S) (connects ?J ?P1 ?P2)))) |
Mid-level-ontology.kif 13207-13215 | If X is an instance of body joint, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of skeleton (3) Z is a component of Y (4) W is a component of Y (5) X is a component of Y (6) X connects Z (7) W |
| statement |
|
|
| (subclass JointPain (PainFn BodyJoint)) |
Medicine.kif 1998-1998 | Joint pain is a subclass of pain in the body joint |
| (subclass Arthritis (PainFn BodyJoint)) |
Medicine.kif 2224-2224 | Arthritis is a subclass of pain in the body joint |
|