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 BodyJunction BodyPart) | Merge.kif 15382-15382 | Body junction is a subclass of body part |
| (documentation BodyJunction EnglishLanguage "The place where two BodyParts meet or connect.") | Merge.kif 15383-15384 | Body junction is a subclass of body part |
| (externalImage BodyJunction "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 16/ Knee_diagram.png/ 250px_Knee_diagram.png") | pictureList.kif 1051-1051 | Body junction is a subclass of body part |
| appearance as argument number 2 |
|
|
| (subclass BodyJoint BodyJunction) | Mid-level-ontology.kif 13203-13203 | Body joint is a subclass of body junction |
| (termFormat EnglishLanguage BodyJunction "body junction") | english_format.kif 1256-1256 | Body joint is a subclass of body junction |
| antecedent |
|
|
| (=> (instance ?JUNCT BodyJunction) (exists (?OBJ1 ?OBJ2) (and (instance ?OBJ1 BodyPart) (instance ?OBJ2 BodyPart) (connects ?JUNCT ?OBJ1 ?OBJ2)))) |
Merge.kif 15386-15392 | If X is an instance of body junction, then there exist Y, Z such that Y is an instance of body part, Z is an instance of body part, X connects Y, and Z |
|
