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 12049-12052
(subclass VitalOrgan Organ) Mid-level-ontology.kif 12048-12048 Vital organ is a subclass of organ

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


(subclass Brain VitalOrgan) Mid-level-ontology.kif 12064-12064 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 11553-11553 Heart is a subclass of vital organ
(subclass Kidney VitalOrgan) Mid-level-ontology.kif 11484-11484 Kidney is a subclass of vital organ
(subclass Liver VitalOrgan) Mid-level-ontology.kif 11634-11634 Liver is a subclass of vital organ
(subclass Lung VitalOrgan) Mid-level-ontology.kif 11404-11404 Lung is a subclass of vital organ
(termFormat EnglishLanguage VitalOrgan "vital organ") Mid-level-ontology.kif 12053-12053 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 12055-12062


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