Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Organ

 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
-------------------------


(subclass Organ BodyPart) Merge.kif 15406-15406 Organ is a subclass of body part
(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 15407-15409 Organ is a subclass of body part

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


(subclass Gland Organ) Merge.kif 15416-15416 Gland is a subclass of organ
(subclass VocalCords Organ) Mid-level-ontology.kif 768-768 Vocal cords is a subclass of organ
(subclass PlantLeaf Organ) Mid-level-ontology.kif 10960-10960 Plant leaf is a subclass of organ
(subclass PlantRoot Organ) Mid-level-ontology.kif 10992-10992 Plant root is a subclass of organ
(subclass Flower Organ) Mid-level-ontology.kif 11013-11013 Flower is a subclass of organ
(subclass PlantStem Organ) Mid-level-ontology.kif 11025-11025 Plant stem is a subclass of organ
(subclass PlantSpinoseStructure Organ) Mid-level-ontology.kif 11068-11068 Plant spinose structure is a subclass of organ
(subclass SpinalColumn Organ) Mid-level-ontology.kif 12416-12416 Spinal column is a subclass of organ
(subclass SpinalCord Organ) Mid-level-ontology.kif 12430-12430 Spinal cord is a subclass of organ
(subclass Retina Organ) Mid-level-ontology.kif 12542-12542 Retina is a subclass of organ
(subclass Bladder Organ) Mid-level-ontology.kif 12767-12767 Bladder is a subclass of organ
(subclass Spleen Organ) Mid-level-ontology.kif 12781-12781 Spleen is a subclass of organ
(subclass NervousSystem Organ) Mid-level-ontology.kif 12945-12945 Nervous system is a subclass of organ
(subclass VitalOrgan Organ) Mid-level-ontology.kif 13330-13330 Vital organ is a subclass of organ
(subclass Gallbladder Organ) Mid-level-ontology.kif 13479-13479 Cholecyst is a subclass of organ
(subclass Pancreas Organ) Mid-level-ontology.kif 13507-13507 Pancreas is a subclass of organ
(subclass Stomach Organ) Mid-level-ontology.kif 13524-13524 Stomach is a subclass of organ
(subclass Rectum Organ) Mid-level-ontology.kif 13576-13576 Rectum is a subclass of organ
(subclass Eye Organ) Mid-level-ontology.kif 13613-13613 Eye is a subclass of organ
(subclass EyeIris Organ) Mid-level-ontology.kif 13760-13760 Eye iris is a subclass of organ
(subclass Ear Organ) Mid-level-ontology.kif 13771-13771 Ear is a subclass of organ
(subclass Nose Organ) Mid-level-ontology.kif 13786-13786 Nose is a subclass of organ
(subclass Breast Organ) Mid-level-ontology.kif 14446-14446 Breast is a subclass of organ
(subclass PlantAreole Organ) Geography.kif 7916-7916 Plant areole is a subclass of organ
(termFormat EnglishLanguage Organ "organ") english_format.kif 1262-1262 Plant areole is a subclass of organ

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 15411-15414 If X is an instance of organ, then there exists Y such that X has the purpose Y

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


(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))		 Merge.kif 10401-10408 If X is an instance of organ or tissue process, then there exists Y such that X is located at Y and Y is an instance of organ or Y is an instance of tissue
(=>
    (instance ?L Lesion)
    (exists (?S ?O)
        (and
            (surface ?S ?O)
            (instance ?O Organ)
            (located ?L ?S))))		 Mid-level-ontology.kif 10888-10894 If X is an instance of lesion, then there exist Y, Z such that Y is a surface of Z, Z is an instance of organ, and X is located at Y
(=>
    (instance ?P Organification)
    (exists (?O)
        (and
            (instance ?O Organ)
            (result ?P ?O))))		 Mid-level-ontology.kif 26317-26322 If X is an instance of organification, then there exists Y such that Y is an instance of organ and Y is a result of X
(=>
    (instance ?OT OrganTransplant)
    (exists (?H ?O)
        (and
            (instance ?H Animal)
            (instance ?O Organ)
            (needs ?H ?O))))		 Medicine.kif 4655-4661 If X is an instance of transplant, then there exist Y, Z such that Y is an instance of animal, Z is an instance of organ, and Y needs Z
(=>
    (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 4663-4672 If X is an instance of transplant, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of animal (3) Z is an instance of organ (4) W is an instance of putting (5) W is a subprocess of X (6) the object transferred in W is Z (7) W ends up at Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners