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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Organ
Organ(organe)

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 15000-15002
(subclass Organ BodyPart) Merge.kif 14999-14999 Organe est une sous-classe de partie du corps

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


(subclass Bladder Organ) Mid-level-ontology.kif 11160-11160 Bladder est une sous-classe de organe
(subclass Breast Organ) Mid-level-ontology.kif 12700-12700 Breast est une sous-classe de organe
(subclass Ear Organ) Mid-level-ontology.kif 12010-12010 Ear est une sous-classe de organe
(subclass Eye Organ) Mid-level-ontology.kif 11976-11976 Eye est une sous-classe de organe
(subclass EyeIris Organ) Mid-level-ontology.kif 12048-12048 EyeIris est une sous-classe de organe
(subclass Flower Organ) Mid-level-ontology.kif 9474-9474 Flower est une sous-classe de organe
(subclass Gallbladder Organ) Mid-level-ontology.kif 11849-11849 Gallbladder est une sous-classe de organe
(subclass Gland Organ) Merge.kif 15009-15009 Glande est une sous-classe de organe
(subclass NervousSystem Organ) Mid-level-ontology.kif 11333-11333 NervousSystem est une sous-classe de organe
(subclass Nose Organ) Mid-level-ontology.kif 12059-12059 Nose est une sous-classe de organe
(subclass Pancreas Organ) Mid-level-ontology.kif 11877-11877 Pancreas est une sous-classe de organe
(subclass PlantAreole Organ) Mid-level-ontology.kif 9553-9553 PlantAreole est une sous-classe de organe
(subclass PlantLeaf Organ) Mid-level-ontology.kif 9421-9421 PlantLeaf est une sous-classe de organe
(subclass PlantRoot Organ) Mid-level-ontology.kif 9453-9453 PlantRoot est une sous-classe de organe
(subclass PlantSpinoseStructure Organ) Mid-level-ontology.kif 9529-9529 PlantSpinoseStructure est une sous-classe de organe
(subclass PlantStem Organ) Mid-level-ontology.kif 9486-9486 PlantStem est une sous-classe de organe
(subclass Rectum Organ) Mid-level-ontology.kif 11939-11939 Rectum est une sous-classe de organe
(subclass Retina Organ) Mid-level-ontology.kif 10942-10942 Retina est une sous-classe de organe
(subclass SpinalColumn Organ) Mid-level-ontology.kif 10828-10828 SpinalColumn est une sous-classe de organe
(subclass SpinalCord Organ) Mid-level-ontology.kif 10842-10842 SpinalCord est une sous-classe de organe
(subclass Spleen Organ) Mid-level-ontology.kif 11174-11174 Spleen est une sous-classe de organe
(subclass Stomach Organ) Mid-level-ontology.kif 11894-11894 Stomach est une sous-classe de organe
(subclass VitalOrgan Organ) Mid-level-ontology.kif 11700-11700 VitalOrgan est une sous-classe de organe
(subclass VocalCords Organ) Mid-level-ontology.kif 757-757 VocalCords est une sous-classe de organe
(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 15004-15007

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


(=>
    (instance ?L Lesion)
    (exists (?S ?O)
        (and
            (surface ?S ?O)
            (instance ?O Organ)
            (located ?L ?S))))
Mid-level-ontology.kif 9348-9354
(=>
    (instance ?P Organification)
    (exists (?O)
        (and
            (instance ?O Organ)
            (result ?P ?O))))
Mid-level-ontology.kif 24110-24115
(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))
Merge.kif 10159-10166


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