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 14413-14415
(subclass Organ BodyPart) Merge.kif 14412-14412

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


(subclass Breast Organ) Mid-level-ontology.kif 11416-11416
(subclass Ear Organ) Mid-level-ontology.kif 10820-10820
(subclass Eye Organ) Mid-level-ontology.kif 10805-10805
(subclass EyeIris Organ) Mid-level-ontology.kif 10858-10858
(subclass Flower Organ) Mid-level-ontology.kif 8834-8834
(subclass Gallbladder Organ) Mid-level-ontology.kif 10708-10708
(subclass Gland Organ) Merge.kif 14422-14422
(subclass NervousSystem Organ) Mid-level-ontology.kif 10240-10240
(subclass Nose Organ) Mid-level-ontology.kif 10869-10869
(subclass Pancreas Organ) Mid-level-ontology.kif 10720-10720
(subclass PlantLeaf Organ) Mid-level-ontology.kif 8793-8793
(subclass PlantRoot Organ) Mid-level-ontology.kif 8828-8828
(subclass Rectum Organ) Mid-level-ontology.kif 10780-10780
(subclass Retina Organ) Mid-level-ontology.kif 9891-9891
(subclass SpinalColumn Organ) Mid-level-ontology.kif 9778-9778
(subclass SpinalCord Organ) Mid-level-ontology.kif 9792-9792
(subclass Spleen Organ) Mid-level-ontology.kif 10110-10110
(subclass Stomach Organ) Mid-level-ontology.kif 10737-10737
(subclass VitalOrgan Organ) Mid-level-ontology.kif 10560-10560
(subclass VocalCords Organ) Mid-level-ontology.kif 730-730
(termFormat ChineseLanguage Organ "器官") chinese_format.kif 1023-1023
(termFormat EnglishLanguage Organ "organ") english_format.kif 1263-1263

antecedent
-------------------------


(=>
    (instance ?ORGAN Organ)
    (exists (?PURP)
        (hasPurpose ?ORGAN ?PURP)))
Merge.kif 14417-14420

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


(=>
    (instance ?L Lesion)
    (exists (?S ?O)
        (and
            (surface ?S ?O)
            (instance ?O Organ)
            (located ?L ?S))))
Mid-level-ontology.kif 8733-8739
(=>
    (instance ?P Organification)
    (exists (?O)
        (and
            (instance ?O Organ)
            (result ?P ?O))))
Mid-level-ontology.kif 22498-22503
(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))
Merge.kif 9744-9751


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