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 14504-14506
(subclass Organ BodyPart) Merge.kif 14503-14503

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


(subclass Bladder Organ) Mid-level-ontology.kif 10747-10747
(subclass Breast Organ) Mid-level-ontology.kif 12263-12263
(subclass Ear Organ) Mid-level-ontology.kif 11592-11592
(subclass Eye Organ) Mid-level-ontology.kif 11558-11558
(subclass EyeIris Organ) Mid-level-ontology.kif 11630-11630
(subclass Flower Organ) Mid-level-ontology.kif 9095-9095
(subclass Gallbladder Organ) Mid-level-ontology.kif 11431-11431
(subclass Gland Organ) Merge.kif 14513-14513
(subclass NervousSystem Organ) Mid-level-ontology.kif 10918-10918
(subclass Nose Organ) Mid-level-ontology.kif 11641-11641
(subclass Pancreas Organ) Mid-level-ontology.kif 11459-11459
(subclass PlantAreole Organ) Mid-level-ontology.kif 9171-9171
(subclass PlantLeaf Organ) Mid-level-ontology.kif 9039-9039
(subclass PlantRoot Organ) Mid-level-ontology.kif 9074-9074
(subclass PlantSpinoseStructure Organ) Mid-level-ontology.kif 9147-9147
(subclass PlantStem Organ) Mid-level-ontology.kif 9107-9107
(subclass Rectum Organ) Mid-level-ontology.kif 11521-11521
(subclass Retina Organ) Mid-level-ontology.kif 10529-10529
(subclass SpinalColumn Organ) Mid-level-ontology.kif 10415-10415
(subclass SpinalCord Organ) Mid-level-ontology.kif 10429-10429
(subclass Spleen Organ) Mid-level-ontology.kif 10759-10759
(subclass Stomach Organ) Mid-level-ontology.kif 11476-11476
(subclass VitalOrgan Organ) Mid-level-ontology.kif 11285-11285
(subclass VocalCords Organ) Mid-level-ontology.kif 729-729
(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 14508-14511

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


(=>
    (instance ?L Lesion)
    (exists (?S ?O)
        (and
            (surface ?S ?O)
            (instance ?O Organ)
            (located ?L ?S))))
Mid-level-ontology.kif 8966-8972
(=>
    (instance ?P Organification)
    (exists (?O)
        (and
            (instance ?O Organ)
            (result ?P ?O))))
Mid-level-ontology.kif 23421-23426
(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))
Merge.kif 9811-9818


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