Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  AtlantaGeorgia

 Sigma KEE - SpinalCord
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
-------------------------


(termFormat EnglishLanguage SpinalCord "spinal cord") domainEnglishFormat.kif 54637-54637
(termFormat ChineseTraditionalLanguage SpinalCord "脊髓") domainEnglishFormat.kif 54638-54638
(termFormat ChineseLanguage SpinalCord "脊髓") domainEnglishFormat.kif 54639-54639

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners