MultipoleQuantity
|
|
appearance as argument number 1 |
(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 10952-10953 | |
(subclass SpinalCord Organ) | Mid-level-ontology.kif 10951-10951 | SpinalCord は 臓器 の subclass では %n |
appearance as argument number 2 |
(termFormat ChineseLanguage SpinalCord "脊髓") | domainEnglishFormat.kif 54642-54642 | |
(termFormat ChineseTraditionalLanguage SpinalCord "脊髓") | domainEnglishFormat.kif 54641-54641 | |
(termFormat EnglishLanguage SpinalCord "spinal cord") | domainEnglishFormat.kif 54640-54640 |
antecedent |
(=> (instance ?C SpinalCord) (exists (?S) (and (instance ?S NervousSystem) (part ?C ?S)))) |
Mid-level-ontology.kif 10955-10960 |
|
(=> (instance ?C SpinalCord) (exists (?S) (and (instance ?S SpinalColumn) (contains ?S ?C)))) |
Mid-level-ontology.kif 10962-10967 |
|