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

KB Term:  Term intersection
English Word: 

Sigma KEE - Organ
Organ

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


(subclass Organ BodyPart) Merge.kif 15406-15406
(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

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


(subclass Gland Organ) Merge.kif 15416-15416
(subclass VocalCords Organ) Mid-level-ontology.kif 768-768
(subclass PlantLeaf Organ) Mid-level-ontology.kif 10960-10960
(subclass PlantRoot Organ) Mid-level-ontology.kif 10992-10992
(subclass Flower Organ) Mid-level-ontology.kif 11013-11013
(subclass PlantStem Organ) Mid-level-ontology.kif 11025-11025
(subclass PlantSpinoseStructure Organ) Mid-level-ontology.kif 11068-11068
(subclass SpinalColumn Organ) Mid-level-ontology.kif 12416-12416
(subclass SpinalCord Organ) Mid-level-ontology.kif 12430-12430
(subclass Retina Organ) Mid-level-ontology.kif 12542-12542
(subclass Bladder Organ) Mid-level-ontology.kif 12767-12767
(subclass Spleen Organ) Mid-level-ontology.kif 12781-12781
(subclass NervousSystem Organ) Mid-level-ontology.kif 12945-12945
(subclass VitalOrgan Organ) Mid-level-ontology.kif 13330-13330
(subclass Gallbladder Organ) Mid-level-ontology.kif 13479-13479
(subclass Pancreas Organ) Mid-level-ontology.kif 13507-13507
(subclass Stomach Organ) Mid-level-ontology.kif 13524-13524
(subclass Rectum Organ) Mid-level-ontology.kif 13576-13576
(subclass Eye Organ) Mid-level-ontology.kif 13613-13613
(subclass EyeIris Organ) Mid-level-ontology.kif 13760-13760
(subclass Ear Organ) Mid-level-ontology.kif 13771-13771
(subclass Nose Organ) Mid-level-ontology.kif 13786-13786
(subclass Breast Organ) Mid-level-ontology.kif 14446-14446
(subclass PlantAreole Organ) Geography.kif 7916-7916
(termFormat EnglishLanguage Organ "organ") english_format.kif 1262-1262

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

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


(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))		 Merge.kif 10401-10408
(=>
    (instance ?L Lesion)
    (exists (?S ?O)
        (and
            (surface ?S ?O)
            (instance ?O Organ)
            (located ?L ?S))))		 Mid-level-ontology.kif 10888-10894
(=>
    (instance ?P Organification)
    (exists (?O)
        (and
            (instance ?O Organ)
            (result ?P ?O))))		 Mid-level-ontology.kif 26317-26322
(=>
    (instance ?OT OrganTransplant)
    (exists (?H ?O)
        (and
            (instance ?H Animal)
            (instance ?O Organ)
            (needs ?H ?O))))		 Medicine.kif 4655-4661
(=>
    (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


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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners