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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SupportLawEnforcement

Sigma KEE - Organ
Organ(organ)CNS, GU, MPS, RES, Roman_nose, agonadal, 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, entrails...

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 15157-15159
(subclass Organ BodyPart) Merge.kif 15156-15156 Organ is a subclass of body part

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


(subclass Bladder Organ) Mid-level-ontology.kif 11298-11298 Bladder is a subclass of organ
(subclass Breast Organ) Mid-level-ontology.kif 12856-12856 Breast is a subclass of organ
(subclass Ear Organ) Mid-level-ontology.kif 12167-12167 Ear is a subclass of organ
(subclass Eye Organ) Mid-level-ontology.kif 12133-12133 Eye is a subclass of organ
(subclass EyeIris Organ) Mid-level-ontology.kif 12205-12205 Eye iris is a subclass of organ
(subclass Flower Organ) Mid-level-ontology.kif 9549-9549 Flower is a subclass of organ
(subclass Gallbladder Organ) Mid-level-ontology.kif 12006-12006 Cholecyst is a subclass of organ
(subclass Gland Organ) Merge.kif 15166-15166 Gland is a subclass of organ
(subclass NervousSystem Organ) Mid-level-ontology.kif 11472-11472 Nervous system is a subclass of organ
(subclass Nose Organ) Mid-level-ontology.kif 12216-12216 Nose is a subclass of organ
(subclass Pancreas Organ) Mid-level-ontology.kif 12034-12034 Pancreas is a subclass of organ
(subclass PlantAreole Organ) Mid-level-ontology.kif 9628-9628 Plant areole is a subclass of organ
(subclass PlantLeaf Organ) Mid-level-ontology.kif 9496-9496 Plant leaf is a subclass of organ
(subclass PlantRoot Organ) Mid-level-ontology.kif 9528-9528 Plant root is a subclass of organ
(subclass PlantSpinoseStructure Organ) Mid-level-ontology.kif 9604-9604 Plant spinose structure is a subclass of organ
(subclass PlantStem Organ) Mid-level-ontology.kif 9561-9561 Plant stem is a subclass of organ
(subclass Rectum Organ) Mid-level-ontology.kif 12096-12096 Rectum is a subclass of organ
(subclass Retina Organ) Mid-level-ontology.kif 11079-11079 Retina is a subclass of organ
(subclass SpinalColumn Organ) Mid-level-ontology.kif 10965-10965 Spinal column is a subclass of organ
(subclass SpinalCord Organ) Mid-level-ontology.kif 10979-10979 Spinal cord is a subclass of organ
(subclass Spleen Organ) Mid-level-ontology.kif 11312-11312 Spleen is a subclass of organ
(subclass Stomach Organ) Mid-level-ontology.kif 12051-12051 Stomach is a subclass of organ
(subclass VitalOrgan Organ) Mid-level-ontology.kif 11857-11857 Vital organ is a subclass of organ
(subclass VocalCords Organ) Mid-level-ontology.kif 778-778 Vocal cords is a subclass of organ
(termFormat ChineseLanguage Organ "器官") chinese_format.kif 1023-1023

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?ORGAN Organ)
    (exists (?PURP)
        (hasPurpose ?ORGAN ?PURP)))
Merge.kif 15161-15164

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


(=>
    (instance ?L Lesion)
    (exists (?S ?O)
        (and
            (surface ?S ?O)
            (instance ?O Organ)
            (located ?L ?S))))
Mid-level-ontology.kif 9423-9429
(=>
    (instance ?OT OrganTransplant)
    (exists (?H ?O ?P)
        (and
            (instance ?H Animal)
            (instance ?O Organ)
            (instance ?P Putting)
            (subProcess ?P ?OT)
            (objectTransferred ?P ?O)
            (destination ?P ?H))))
Medicine.kif 4642-4651
(=>
    (instance ?OT OrganTransplant)
    (exists (?H ?O)
        (and
            (instance ?H Animal)
            (instance ?O Organ)
            (needs ?H ?O))))
Medicine.kif 4634-4640
(=>
    (instance ?P Organification)
    (exists (?O)
        (and
            (instance ?O Organ)
            (result ?P ?O))))
Mid-level-ontology.kif 24091-24096
(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))
Merge.kif 10211-10218


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 is open source software produced by Articulate Software and its partners