Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LegBone(leg bone) |  | leg_bone |
| appearance as argument number 1 |
|
|
| (subclass LegBone Bone) | Anatomy.kif 1052-1052 | Leg bone is a subclass of bone |
| (documentation LegBone EnglishLanguage "leg bone") | Anatomy.kif 1054-1054 | Leg bone is a subclass of bone |
| (initialPart LegBone Leg) | Anatomy.kif 1055-1055 | Every leg bone is initially part of a leg |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LegBone "leg bone") | Anatomy.kif 1053-1053 | |
| (subclass Femur LegBone) | Anatomy.kif 1057-1057 | Femur is a subclass of leg bone |
| (subclass Patella LegBone) | Anatomy.kif 1072-1072 | Patella is a subclass of leg bone |
| (subclass Tibia LegBone) | Anatomy.kif 1085-1085 | Tibia is a subclass of leg bone |
| (subclass Fibula LegBone) | Anatomy.kif 1102-1102 | Fibula is a subclass of leg bone |
|