Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FingerBone(finger bone) |
| appearance as argument number 1 |
|
| (subclass FingerBone ArmBone) | Anatomy.kif 897-897 | Finger bone is a subclass of arm bone |
| (documentation FingerBone EnglishLanguage "finger bone") | Anatomy.kif 899-899 | Finger bone is a subclass of arm bone |
| (initialPart FingerBone Hand) | Anatomy.kif 900-900 | Every finger bone is initially part of a hand |
| (subclass FingerBone Phalanx) | Anatomy.kif 1307-1307 | Finger bone is a subclass of phalanx |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (partition Phalanx ToeBone FingerBone) | Anatomy.kif 1308-1308 | Phalanx is exhaustively partitioned into toe bone and finger bone |
|