Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ThoraxBone
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ThoraxBone Bone) | Mid-level-ontology.kif 12721-12721 | Thorax bone is a subclass of bone |
| (documentation ThoraxBone EnglishLanguage "thorax bone") | Mid-level-ontology.kif 12723-12723 | Thorax bone is a subclass of bone |
| (initialPart ThoraxBone Torso) | Mid-level-ontology.kif 12724-12724 | Every thorax bone is initially part of a torso |
| appearance as argument number 2 |
|
|
|