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 13919-13921
(subclass Organ BodyPart) Merge.kif 13918-13918 Organ is a subclass of body part

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


(subclass Brain Organ) Mid-level-ontology.kif 10002-10002 Brain is a subclass of organ
(subclass Breast Organ) Mid-level-ontology.kif 10470-10470 Breast is a subclass of organ
(subclass Ear Organ) Mid-level-ontology.kif 10067-10067 Ear is a subclass of organ
(subclass Eye Organ) Mid-level-ontology.kif 10052-10052 Eye is a subclass of organ
(subclass EyeIris Organ) Mid-level-ontology.kif 10104-10104 EyeIris is a subclass of organ
(subclass Flower Organ) Mid-level-ontology.kif 9119-9119 Flower is a subclass of organ
(subclass Gland Organ) Merge.kif 13928-13928 Gland is a subclass of organ
(subclass Heart Organ) Mid-level-ontology.kif 9645-9645 Heart is a subclass of organ
(subclass Kidney Organ) Mid-level-ontology.kif 9591-9591 Kidney is a subclass of organ
(subclass Liver Organ) Mid-level-ontology.kif 9658-9658 Liver is a subclass of organ
(subclass Lung Organ) Mid-level-ontology.kif 9579-9579 Lung is a subclass of organ
(subclass NervousSystem Organ) Mid-level-ontology.kif 9687-9687 Nervous system is a subclass of organ
(subclass Nose Organ) Mid-level-ontology.kif 10114-10114 Nose is a subclass of organ
(subclass PlantLeaf Organ) Mid-level-ontology.kif 9078-9078 PlantLeaf is a subclass of organ
(subclass PlantRoot Organ) Mid-level-ontology.kif 9113-9113 Plant root is a subclass of organ
(subclass Retina Organ) Mid-level-ontology.kif 9448-9448 Retina is a subclass of organ
(subclass SpinalColumn Organ) Mid-level-ontology.kif 9386-9386 Spinal column is a subclass of organ
(subclass SpinalCord Organ) Mid-level-ontology.kif 9400-9400 Spinal cord is a subclass of organ
(subclass Spleen Organ) Mid-level-ontology.kif 9596-9596 Spleen is a subclass of organ
(subclass Stomach Organ) Mid-level-ontology.kif 10015-10015 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 "器官" is the printable form of organ in ChineseLanguage
(termFormat EnglishLanguage Organ "organ") english_format.kif 1263-1263 "organ" is the printable form of organ in english language

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


(=>
    (instance ?ORGAN Organ)
    (exists (?PURP)
        (hasPurpose ?ORGAN ?PURP)))
Merge.kif 13923-13926

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


(=>
    (instance ?L Lesion)
    (exists (?S ?O)
        (and
            (surface ?S ?O)
            (instance ?O Organ)
            (located ?L ?S))))
Mid-level-ontology.kif 9018-9024
(=>
    (instance ?P Organification)
    (exists (?O)
        (and
            (instance ?O Organ)
            (result ?P ?O))))
Mid-level-ontology.kif 21802-21807
(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))
Merge.kif 9464-9471


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