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, 负责特定的功能。注:这个功能 定义包含身体系统,例如:消化系统或中枢神经系统。") 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 14010-14012
(subclass Organ BodyPart) Merge.kif 14009-14009 Organ is a subclass of body part

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


(subclass Brain Organ) Mid-level-ontology.kif 10003-10003 Brain is a subclass of organ
(subclass Breast Organ) Mid-level-ontology.kif 10471-10471 Breast is a subclass of organ
(subclass Ear Organ) Mid-level-ontology.kif 10068-10068 Ear is a subclass of organ
(subclass Eye Organ) Mid-level-ontology.kif 10053-10053 Eye is a subclass of organ
(subclass EyeIris Organ) Mid-level-ontology.kif 10105-10105 EyeIris is a subclass of organ
(subclass Flower Organ) Mid-level-ontology.kif 9120-9120 Flower is a subclass of organ
(subclass Gland Organ) Merge.kif 14019-14019 Gland is a subclass of organ
(subclass Heart Organ) Mid-level-ontology.kif 9646-9646 Heart is a subclass of organ
(subclass Kidney Organ) Mid-level-ontology.kif 9592-9592 Kidney is a subclass of organ
(subclass Liver Organ) Mid-level-ontology.kif 9659-9659 Liver is a subclass of organ
(subclass Lung Organ) Mid-level-ontology.kif 9580-9580 Lung is a subclass of organ
(subclass NervousSystem Organ) Mid-level-ontology.kif 9688-9688 Nervous system is a subclass of organ
(subclass Nose Organ) Mid-level-ontology.kif 10115-10115 Nose is a subclass of organ
(subclass PlantLeaf Organ) Mid-level-ontology.kif 9079-9079 PlantLeaf is a subclass of organ
(subclass PlantRoot Organ) Mid-level-ontology.kif 9114-9114 Plant root is a subclass of organ
(subclass Retina Organ) Mid-level-ontology.kif 9449-9449 Retina is a subclass of organ
(subclass SpinalColumn Organ) Mid-level-ontology.kif 9387-9387 Spinal column is a subclass of organ
(subclass SpinalCord Organ) Mid-level-ontology.kif 9401-9401 Spinal cord is a subclass of organ
(subclass Spleen Organ) Mid-level-ontology.kif 9597-9597 Spleen is a subclass of organ
(subclass Stomach Organ) Mid-level-ontology.kif 10016-10016 Stomach is a subclass of organ
(subclass VocalCords Organ) Mid-level-ontology.kif 1175-1175 VocalCords is a subclass of 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 14014-14017

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


(=>
    (instance ?L Lesion)
    (exists (?S ?O)
        (and
            (surface ?S ?O)
            (instance ?O Organ)
            (located ?L ?S))))
Mid-level-ontology.kif 9019-9025
(=>
    (instance ?P Organification)
    (exists (?O)
        (and
            (instance ?O Organ)
            (result ?P ?O))))
Mid-level-ontology.kif 21814-21819
(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))
Merge.kif 9555-9562


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