VitalOrgan - Sigma Knowledge base Browser

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 11858-11861
(subclass VitalOrgan Organ)	Mid-level-ontology.kif 11857-11857	Vital organ is a subclass of organ

appearance as argument number 2

(subclass Brain VitalOrgan)	Mid-level-ontology.kif 11873-11873	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 11362-11362	Heart is a subclass of vital organ
(subclass Kidney VitalOrgan)	Mid-level-ontology.kif 11293-11293	Kidney is a subclass of vital organ
(subclass Liver VitalOrgan)	Mid-level-ontology.kif 11443-11443	Liver is a subclass of vital organ
(subclass Lung VitalOrgan)	Mid-level-ontology.kif 11213-11213	Lung is a subclass of vital organ
(termFormat EnglishLanguage VitalOrgan "vital organ")	Mid-level-ontology.kif 11862-11862

antecedent

(=>
    (and
        (instance ?VO VitalOrgan)
        (instance ?H Animal)
        (not
            (part ?VO ?H)))
    (not
        (attribute ?H Living)))

Mid-level-ontology.kif 11864-11871