Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Knuckle(knuckle) |  | knuckle, knuckle_joint, metacarpophalangeal_joint |
| appearance as argument number 1 |
|
|
| (subclass Knuckle BodyJoint) | Mid-level-ontology.kif 14409-14409 | Knuckle is a subclass of body joint |
| (documentation Knuckle EnglishLanguage "Any joint in a Finger.") | Mid-level-ontology.kif 14410-14410 | Knuckle is a subclass of body joint |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?KNUCKLE Knuckle) (exists (?FINGER) (and (instance ?FINGER Finger) (part ?KNUCKLE ?FINGER)))) |
Mid-level-ontology.kif 14412-14417 | If X is an instance of knuckle, then there exists Y such that Y is an instance of finger and X is a part of Y |
|