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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VitalOrgan
VitalOrgan(vital organ)

appearance as argument number 1
-------------------------


(documentation VitalOrgan EnglishLanguage "An Organ of the body, without which, even for a short time, life is not possible, at least without some immediate artificial organ (such as a heart-lung machine) that can temporarily handle the same functions.") Mid-level-ontology.kif 13180-13183
(subclass VitalOrgan Organ) Mid-level-ontology.kif 13179-13179 Vital organ is a subclass of organ

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


(subclass Brain VitalOrgan) Mid-level-ontology.kif 13195-13195 Brain is a subclass of vital organ
(subclass Gills VitalOrgan) Medicine.kif 266-266 Gills is a subclass of vital organ
(subclass Heart VitalOrgan) Mid-level-ontology.kif 12684-12684 Heart is a subclass of vital organ
(subclass Kidney VitalOrgan) Mid-level-ontology.kif 12615-12615 Kidney is a subclass of vital organ
(subclass Liver VitalOrgan) Mid-level-ontology.kif 12765-12765 Liver is a subclass of vital organ
(subclass Lung VitalOrgan) Mid-level-ontology.kif 12535-12535 Lung is a subclass of vital organ
(termFormat EnglishLanguage VitalOrgan "vital organ") Mid-level-ontology.kif 13184-13184 Lung is a subclass of vital organ

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


(=>
    (and
        (instance ?VO VitalOrgan)
        (instance ?H Animal)
        (not
            (part ?VO ?H)))
    (not
        (attribute ?H Living)))
Mid-level-ontology.kif 13186-13193


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