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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Organ
Organ(organ)CNS, GU, MPS, RES, Roman_nose, agonadal, ala, anlage, antheridium, articulator, athlete's_heart, auditory_apparatus, auditory_system, baroreceptor, beak, biauriculate_heart, bladderlike, bladdery, boob, book_lung, bosom, branchia, breast, button, calyx_tube, cardiac, caudal_fin, central_nervous_system, ceras, cerebral, cerebrally, cerebrospinal, chemoreceptor, clit, clitoris, cock, conk, contractile_organ, contractor, craw, crop, crotch, ctenidium, cunt, cupule, dick, dorsal_fin, effector, ego, enteroceptor...

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


(documentation Organ ChineseLanguage "这是一个颇为独立的 BodyPart, 负责特定的功能。注:这个功能 定义包含身体系统,例如:消化系统或中枢神经系统。") Merge.kif 15261-15262
(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 15258-15260
(subclass Organ BodyPart) Merge.kif 15257-15257 Organ is a subclass of body part

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


(subclass Brain Organ) Mid-level-ontology.kif 10000-10000 Brain is a subclass of organ
(subclass Breast Organ) Mid-level-ontology.kif 10468-10468 Breast is a subclass of organ
(subclass Ear Organ) Mid-level-ontology.kif 10065-10065 Ear is a subclass of organ
(subclass Eye Organ) Mid-level-ontology.kif 10050-10050 Eye is a subclass of organ
(subclass EyeIris Organ) Mid-level-ontology.kif 10102-10102 EyeIris is a subclass of organ
(subclass Flower Organ) Mid-level-ontology.kif 9117-9117 Flower is a subclass of organ
(subclass Gland Organ) Merge.kif 15269-15269 Gland is a subclass of organ
(subclass Heart Organ) Mid-level-ontology.kif 9643-9643 Heart is a subclass of organ
(subclass Kidney Organ) Mid-level-ontology.kif 9589-9589 Kidney is a subclass of organ
(subclass Liver Organ) Mid-level-ontology.kif 9656-9656 Liver is a subclass of organ
(subclass Lung Organ) Mid-level-ontology.kif 9577-9577 Lung is a subclass of organ
(subclass NervousSystem Organ) Mid-level-ontology.kif 9685-9685 Nervous system is a subclass of organ
(subclass Nose Organ) Mid-level-ontology.kif 10112-10112 Nose is a subclass of organ
(subclass PlantLeaf Organ) Mid-level-ontology.kif 9076-9076 PlantLeaf is a subclass of organ
(subclass PlantRoot Organ) Mid-level-ontology.kif 9111-9111 Plant root is a subclass of organ
(subclass Retina Organ) Mid-level-ontology.kif 9446-9446 Retina is a subclass of organ
(subclass SpinalColumn Organ) Mid-level-ontology.kif 9384-9384 Spinal column is a subclass of organ
(subclass SpinalCord Organ) Mid-level-ontology.kif 9398-9398 Spinal cord is a subclass of organ
(subclass Spleen Organ) Mid-level-ontology.kif 9594-9594 Spleen is a subclass of organ
(subclass Stomach Organ) Mid-level-ontology.kif 10013-10013 Stomach is a subclass of organ
(subclass VocalCords Organ) Mid-level-ontology.kif 1176-1176 VocalCords is a subclass of organ
(termFormat ChineseLanguage Organ "器官") chinese_format.kif 1023-1023 "器官" is the printable form of organ in ChineseLanguage
(termFormat EnglishLanguage Organ "organ") english_format.kif 710-710 "organ" is the printable form of organ in english language

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


(=>
    (instance ?ORGAN Organ)
    (exists (?PURP)
        (hasPurpose ?ORGAN ?PURP)))
Merge.kif 15264-15267

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


(=>
    (instance ?L Lesion)
    (exists (?S ?O)
        (and
            (surface ?S ?O)
            (instance ?O Organ)
            (located ?L ?S))))
Mid-level-ontology.kif 9016-9022
(=>
    (instance ?P Organification)
    (exists (?O)
        (and
            (instance ?O Organ)
            (result ?P ?O))))
Mid-level-ontology.kif 21801-21806
(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))
Merge.kif 10232-10239


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners