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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Organ
Organ

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

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


(subclass Bladder Organ) Mid-level-ontology.kif 11489-11489
(subclass Breast Organ) Mid-level-ontology.kif 13047-13047
(subclass Ear Organ) Mid-level-ontology.kif 12358-12358
(subclass Eye Organ) Mid-level-ontology.kif 12324-12324
(subclass EyeIris Organ) Mid-level-ontology.kif 12396-12396
(subclass Flower Organ) Mid-level-ontology.kif 9740-9740
(subclass Gallbladder Organ) Mid-level-ontology.kif 12197-12197
(subclass Gland Organ) Merge.kif 15166-15166
(subclass NervousSystem Organ) Mid-level-ontology.kif 11663-11663
(subclass Nose Organ) Mid-level-ontology.kif 12407-12407
(subclass Pancreas Organ) Mid-level-ontology.kif 12225-12225
(subclass PlantAreole Organ) Mid-level-ontology.kif 9819-9819
(subclass PlantLeaf Organ) Mid-level-ontology.kif 9687-9687
(subclass PlantRoot Organ) Mid-level-ontology.kif 9719-9719
(subclass PlantSpinoseStructure Organ) Mid-level-ontology.kif 9795-9795
(subclass PlantStem Organ) Mid-level-ontology.kif 9752-9752
(subclass Rectum Organ) Mid-level-ontology.kif 12287-12287
(subclass Retina Organ) Mid-level-ontology.kif 11270-11270
(subclass SpinalColumn Organ) Mid-level-ontology.kif 11156-11156
(subclass SpinalCord Organ) Mid-level-ontology.kif 11170-11170
(subclass Spleen Organ) Mid-level-ontology.kif 11503-11503
(subclass Stomach Organ) Mid-level-ontology.kif 12242-12242
(subclass VitalOrgan Organ) Mid-level-ontology.kif 12048-12048
(subclass VocalCords Organ) Mid-level-ontology.kif 778-778
(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 9614-9620
(=>
    (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 24322-24327
(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))
Merge.kif 10211-10218


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