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 15264-15266
(subclass Organ BodyPart) Merge.kif 15263-15263 臓器体の部分subclass では

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


(subclass Bladder Organ) Mid-level-ontology.kif 12602-12602 Bladder臓器subclass では
(subclass Breast Organ) Mid-level-ontology.kif 14160-14160 Breast臓器subclass では
(subclass Ear Organ) Mid-level-ontology.kif 13471-13471 Ear臓器subclass では
(subclass Eye Organ) Mid-level-ontology.kif 13437-13437 Eye臓器subclass では
(subclass EyeIris Organ) Mid-level-ontology.kif 13509-13509 EyeIris臓器subclass では
(subclass Flower Organ) Mid-level-ontology.kif 10851-10851 Flower臓器subclass では
(subclass Gallbladder Organ) Mid-level-ontology.kif 13310-13310 Gallbladder臓器subclass では
(subclass Gland Organ) Merge.kif 15273-15273 臓器subclass では
(subclass NervousSystem Organ) Mid-level-ontology.kif 12776-12776 NervousSystem臓器subclass では
(subclass Nose Organ) Mid-level-ontology.kif 13520-13520 Nose臓器subclass では
(subclass Pancreas Organ) Mid-level-ontology.kif 13338-13338 Pancreas臓器subclass では
(subclass PlantAreole Organ) Mid-level-ontology.kif 10930-10930 PlantAreole臓器subclass では
(subclass PlantLeaf Organ) Mid-level-ontology.kif 10798-10798 PlantLeaf臓器subclass では
(subclass PlantRoot Organ) Mid-level-ontology.kif 10830-10830 PlantRoot臓器subclass では
(subclass PlantSpinoseStructure Organ) Mid-level-ontology.kif 10906-10906 PlantSpinoseStructure臓器subclass では
(subclass PlantStem Organ) Mid-level-ontology.kif 10863-10863 PlantStem臓器subclass では
(subclass Rectum Organ) Mid-level-ontology.kif 13400-13400 Rectum臓器subclass では
(subclass Retina Organ) Mid-level-ontology.kif 12383-12383 Retina臓器subclass では
(subclass SpinalColumn Organ) Mid-level-ontology.kif 12269-12269 SpinalColumn臓器subclass では
(subclass SpinalCord Organ) Mid-level-ontology.kif 12283-12283 SpinalCord臓器subclass では
(subclass Spleen Organ) Mid-level-ontology.kif 12616-12616 Spleen臓器subclass では
(subclass Stomach Organ) Mid-level-ontology.kif 13355-13355 Stomach臓器subclass では
(subclass VitalOrgan Organ) Mid-level-ontology.kif 13161-13161 VitalOrgan臓器subclass では
(subclass VocalCords Organ) Mid-level-ontology.kif 778-778 VocalCords臓器subclass では
(termFormat ChineseLanguage Organ "器官") chinese_format.kif 1023-1023 VocalCords臓器subclass では

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

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


(=>
    (instance ?L Lesion)
    (exists (?S ?O)
        (and
            (surface ?S ?O)
            (instance ?O Organ)
            (located ?L ?S))))
Mid-level-ontology.kif 10725-10731
(=>
    (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 25680-25685
(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))
Merge.kif 10315-10322


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