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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Organ

Sigma KEE - Organ
Organ(Orgao)

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 15133-15135
(subclass Organ BodyPart) Merge.kif 15132-15132 Orgao e' uma sub-classe de Parte do Corpo

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


(subclass Bladder Organ) Mid-level-ontology.kif 11270-11270 Bladder e' uma sub-classe de Orgao
(subclass Breast Organ) Mid-level-ontology.kif 12828-12828 Breast e' uma sub-classe de Orgao
(subclass Ear Organ) Mid-level-ontology.kif 12139-12139 Ear e' uma sub-classe de Orgao
(subclass Eye Organ) Mid-level-ontology.kif 12105-12105 Eye e' uma sub-classe de Orgao
(subclass EyeIris Organ) Mid-level-ontology.kif 12177-12177 EyeIris e' uma sub-classe de Orgao
(subclass Flower Organ) Mid-level-ontology.kif 9521-9521 Flower e' uma sub-classe de Orgao
(subclass Gallbladder Organ) Mid-level-ontology.kif 11978-11978 Gallbladder e' uma sub-classe de Orgao
(subclass Gland Organ) Merge.kif 15142-15142 Glandula e' uma sub-classe de Orgao
(subclass NervousSystem Organ) Mid-level-ontology.kif 11444-11444 NervousSystem e' uma sub-classe de Orgao
(subclass Nose Organ) Mid-level-ontology.kif 12188-12188 Nose e' uma sub-classe de Orgao
(subclass Pancreas Organ) Mid-level-ontology.kif 12006-12006 Pancreas e' uma sub-classe de Orgao
(subclass PlantAreole Organ) Mid-level-ontology.kif 9600-9600 PlantAreole e' uma sub-classe de Orgao
(subclass PlantLeaf Organ) Mid-level-ontology.kif 9468-9468 PlantLeaf e' uma sub-classe de Orgao
(subclass PlantRoot Organ) Mid-level-ontology.kif 9500-9500 PlantRoot e' uma sub-classe de Orgao
(subclass PlantSpinoseStructure Organ) Mid-level-ontology.kif 9576-9576 PlantSpinoseStructure e' uma sub-classe de Orgao
(subclass PlantStem Organ) Mid-level-ontology.kif 9533-9533 PlantStem e' uma sub-classe de Orgao
(subclass Rectum Organ) Mid-level-ontology.kif 12068-12068 Rectum e' uma sub-classe de Orgao
(subclass Retina Organ) Mid-level-ontology.kif 11051-11051 Retina e' uma sub-classe de Orgao
(subclass SpinalColumn Organ) Mid-level-ontology.kif 10937-10937 SpinalColumn e' uma sub-classe de Orgao
(subclass SpinalCord Organ) Mid-level-ontology.kif 10951-10951 SpinalCord e' uma sub-classe de Orgao
(subclass Spleen Organ) Mid-level-ontology.kif 11284-11284 Spleen e' uma sub-classe de Orgao
(subclass Stomach Organ) Mid-level-ontology.kif 12023-12023 Stomach e' uma sub-classe de Orgao
(subclass VitalOrgan Organ) Mid-level-ontology.kif 11829-11829 VitalOrgan e' uma sub-classe de Orgao
(subclass VocalCords Organ) Mid-level-ontology.kif 785-785 VocalCords e' uma sub-classe de Orgao
(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 15137-15140

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


(=>
    (instance ?L Lesion)
    (exists (?S ?O)
        (and
            (surface ?S ?O)
            (instance ?O Organ)
            (located ?L ?S))))
Mid-level-ontology.kif 9395-9401
(=>
    (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 24033-24038
(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))
Merge.kif 10197-10204


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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