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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Organ
Organ(anga)

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

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


(subclass Bladder Organ) Mid-level-ontology.kif 12620-12620
(subclass Breast Organ) Mid-level-ontology.kif 14178-14178
(subclass Ear Organ) Mid-level-ontology.kif 13489-13489
(subclass Eye Organ) Mid-level-ontology.kif 13455-13455
(subclass EyeIris Organ) Mid-level-ontology.kif 13527-13527
(subclass Flower Organ) Mid-level-ontology.kif 10869-10869
(subclass Gallbladder Organ) Mid-level-ontology.kif 13328-13328
(subclass Gland Organ) Merge.kif 15258-15258
(subclass NervousSystem Organ) Mid-level-ontology.kif 12794-12794
(subclass Nose Organ) Mid-level-ontology.kif 13538-13538
(subclass Pancreas Organ) Mid-level-ontology.kif 13356-13356
(subclass PlantAreole Organ) Mid-level-ontology.kif 10948-10948
(subclass PlantLeaf Organ) Mid-level-ontology.kif 10816-10816
(subclass PlantRoot Organ) Mid-level-ontology.kif 10848-10848
(subclass PlantSpinoseStructure Organ) Mid-level-ontology.kif 10924-10924
(subclass PlantStem Organ) Mid-level-ontology.kif 10881-10881
(subclass Rectum Organ) Mid-level-ontology.kif 13418-13418
(subclass Retina Organ) Mid-level-ontology.kif 12401-12401
(subclass SpinalColumn Organ) Mid-level-ontology.kif 12287-12287
(subclass SpinalCord Organ) Mid-level-ontology.kif 12301-12301
(subclass Spleen Organ) Mid-level-ontology.kif 12634-12634
(subclass Stomach Organ) Mid-level-ontology.kif 13373-13373
(subclass VitalOrgan Organ) Mid-level-ontology.kif 13179-13179
(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 15253-15256

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


(=>
    (instance ?L Lesion)
    (exists (?S ?O)
        (and
            (surface ?S ?O)
            (instance ?O Organ)
            (located ?L ?S))))
Mid-level-ontology.kif 10743-10749
(=>
    (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 4649-4658
(=>
    (instance ?OT OrganTransplant)
    (exists (?H ?O)
        (and
            (instance ?H Animal)
            (instance ?O Organ)
            (needs ?H ?O))))
Medicine.kif 4641-4647
(=>
    (instance ?P Organification)
    (exists (?O)
        (and
            (instance ?O Organ)
            (result ?P ?O))))
Mid-level-ontology.kif 25699-25704
(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))
Merge.kif 10300-10307


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