Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SpinalCord(spinal cord) |  | medulla_spinalis, spinal_cord |
| appearance as argument number 1 |
|
|
| (subclass SpinalCord Organ) | Mid-level-ontology.kif 12430-12430 | Spinal cord is a subclass of organ |
| (documentation SpinalCord EnglishLanguage "A cord of nerves that carries impulses to and from the Brain. It is contained within the SpinalColumn.") | Mid-level-ontology.kif 12431-12432 | Spinal cord is a subclass of organ |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?C SpinalCord) (exists (?S) (and (instance ?S NervousSystem) (part ?C ?S)))) |
Mid-level-ontology.kif 12434-12439 | If X is an instance of spinal cord, then there exists Y such that Y is an instance of nervous system and X is a part of Y |
| (=> (instance ?C SpinalCord) (exists (?S) (and (instance ?S SpinalColumn) (contains ?S ?C)))) |
Mid-level-ontology.kif 12441-12446 | If X is an instance of spinal cord, then there exists Y such that Y is an instance of spinal column and Y contains X |
|