Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Organ
Organ

appearance as argument number 1
-------------------------


(documentation Organ ChineseLanguage "这是一个颇为独立的 BodyPart, 负责特定的功能。注:这个功能 定义包含身体系统,例如:消化系统或中枢神经系统。") chinese_format.kif 3519-3520
(documentation Organ EnglishLanguage "A somewhat independent BodyPart that performs a specialized function. Note that this functional definition covers bodily systems, e.g. the digestive system or the central nervous system.") Merge.kif 14057-14059
(subclass Organ BodyPart) Merge.kif 14056-14056 subclass Organ and BodyPart

appearance as argument number 2
-------------------------


(subclass Brain Organ) Mid-level-ontology.kif 9999-9999 subclass Brain and Organ
(subclass Breast Organ) Mid-level-ontology.kif 10498-10498 subclass Breast and Organ
(subclass Ear Organ) Mid-level-ontology.kif 10064-10064 subclass Ear and Organ
(subclass Eye Organ) Mid-level-ontology.kif 10049-10049 subclass Eye and Organ
(subclass EyeIris Organ) Mid-level-ontology.kif 10101-10101 subclass EyeIris and Organ
(subclass Flower Organ) Mid-level-ontology.kif 9101-9101 subclass Flower and Organ
(subclass Gland Organ) Merge.kif 14066-14066 subclass Gland and Organ
(subclass Heart Organ) Mid-level-ontology.kif 9642-9642 subclass Heart and Organ
(subclass Kidney Organ) Mid-level-ontology.kif 9588-9588 subclass Kidney and Organ
(subclass Liver Organ) Mid-level-ontology.kif 9655-9655 subclass Liver and Organ
(subclass Lung Organ) Mid-level-ontology.kif 9561-9561 subclass Lung and Organ
(subclass NervousSystem Organ) Mid-level-ontology.kif 9684-9684 subclass NervousSystem and Organ
(subclass Nose Organ) Mid-level-ontology.kif 10111-10111 subclass Nose and Organ
(subclass PlantLeaf Organ) Mid-level-ontology.kif 9060-9060 subclass PlantLeaf and Organ
(subclass PlantRoot Organ) Mid-level-ontology.kif 9095-9095 subclass PlantRoot and Organ
(subclass Retina Organ) Mid-level-ontology.kif 9430-9430 subclass Retina and Organ
(subclass SpinalColumn Organ) Mid-level-ontology.kif 9368-9368 subclass SpinalColumn and Organ
(subclass SpinalCord Organ) Mid-level-ontology.kif 9382-9382 subclass SpinalCord and Organ
(subclass Spleen Organ) Mid-level-ontology.kif 9593-9593 subclass Spleen and Organ
(subclass Stomach Organ) Mid-level-ontology.kif 10012-10012 subclass Stomach and Organ
(subclass VocalCords Organ) Mid-level-ontology.kif 1175-1175 subclass VocalCords and Organ
(termFormat ChineseLanguage Organ "器官") chinese_format.kif 1023-1023
(termFormat EnglishLanguage Organ "organ") english_format.kif 1263-1263

antecedent
-------------------------


(=>
    (instance ?ORGAN Organ)
    (exists (?PURP)
        (hasPurpose ?ORGAN ?PURP)))
Merge.kif 14061-14064

consequent
-------------------------


(=>
    (instance ?L Lesion)
    (exists (?S ?O)
        (and
            (surface ?S ?O)
            (instance ?O Organ)
            (located ?L ?S))))
Mid-level-ontology.kif 9000-9006
(=>
    (instance ?P Organification)
    (exists (?O)
        (and
            (instance ?O Organ)
            (result ?P ?O))))
Mid-level-ontology.kif 21845-21850
(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))
Merge.kif 9608-9615


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners