| Sternum | |
| appearance as argument number 1 |
|
|
| (documentation Sternum EnglishLanguage "sternum") | Anatomy.kif 253-253 | |
| (subclass Sternum ThoraxBone) | Anatomy.kif 251-251 | Sternum ist eine teilkategorie von ThoraxBone |
| appearance as argument number 2 |
|
|
| (connectedBodyPartTypes XyphiodProcess Sternum Human) | Anatomy.kif 268-268 | connectedBodyPartTypes XyphiodProcess, Sternum and Human |
| (termFormat EnglishLanguage Sternum "sternum") | Anatomy.kif 252-252 |
| consequent |
|
|
| (=> (and (instance ?R FalseRibBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (not (exists (?S) (and (instance ?S Sternum) (part ?S ?H) (connected ?S ?R))))) |
Anatomy.kif 505-517 |
|
| (=> (and (instance ?R TrueRibBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S Sternum) (part ?S ?H) (connected ?S ?R)))) |
Anatomy.kif 492-503 |
|
|
|
|