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 15111-15113
(subclass Organ BodyPart) Merge.kif 15110-15110 臓器体の部分subclass では %n

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


(subclass Bladder Organ) Mid-level-ontology.kif 11271-11271 Bladder臓器subclass では %n
(subclass Breast Organ) Mid-level-ontology.kif 12829-12829 Breast臓器subclass では %n
(subclass Ear Organ) Mid-level-ontology.kif 12140-12140 Ear臓器subclass では %n
(subclass Eye Organ) Mid-level-ontology.kif 12106-12106 Eye臓器subclass では %n
(subclass EyeIris Organ) Mid-level-ontology.kif 12178-12178 EyeIris臓器subclass では %n
(subclass Flower Organ) Mid-level-ontology.kif 9522-9522 Flower臓器subclass では %n
(subclass Gallbladder Organ) Mid-level-ontology.kif 11979-11979 Gallbladder臓器subclass では %n
(subclass Gland Organ) Merge.kif 15120-15120 臓器subclass では %n
(subclass NervousSystem Organ) Mid-level-ontology.kif 11445-11445 NervousSystem臓器subclass では %n
(subclass Nose Organ) Mid-level-ontology.kif 12189-12189 Nose臓器subclass では %n
(subclass Pancreas Organ) Mid-level-ontology.kif 12007-12007 Pancreas臓器subclass では %n
(subclass PlantAreole Organ) Mid-level-ontology.kif 9601-9601 PlantAreole臓器subclass では %n
(subclass PlantLeaf Organ) Mid-level-ontology.kif 9469-9469 PlantLeaf臓器subclass では %n
(subclass PlantRoot Organ) Mid-level-ontology.kif 9501-9501 PlantRoot臓器subclass では %n
(subclass PlantSpinoseStructure Organ) Mid-level-ontology.kif 9577-9577 PlantSpinoseStructure臓器subclass では %n
(subclass PlantStem Organ) Mid-level-ontology.kif 9534-9534 PlantStem臓器subclass では %n
(subclass Rectum Organ) Mid-level-ontology.kif 12069-12069 Rectum臓器subclass では %n
(subclass Retina Organ) Mid-level-ontology.kif 11052-11052 Retina臓器subclass では %n
(subclass SpinalColumn Organ) Mid-level-ontology.kif 10938-10938 SpinalColumn臓器subclass では %n
(subclass SpinalCord Organ) Mid-level-ontology.kif 10952-10952 SpinalCord臓器subclass では %n
(subclass Spleen Organ) Mid-level-ontology.kif 11285-11285 Spleen臓器subclass では %n
(subclass Stomach Organ) Mid-level-ontology.kif 12024-12024 Stomach臓器subclass では %n
(subclass VitalOrgan Organ) Mid-level-ontology.kif 11830-11830 VitalOrgan臓器subclass では %n
(subclass VocalCords Organ) Mid-level-ontology.kif 785-785 VocalCords臓器subclass では %n
(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 15115-15118

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


(=>
    (instance ?L Lesion)
    (exists (?S ?O)
        (and
            (surface ?S ?O)
            (instance ?O Organ)
            (located ?L ?S))))
Mid-level-ontology.kif 9396-9402
(=>
    (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 24034-24039
(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))
Merge.kif 10175-10182


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