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 11830-11833
(subclass VitalOrgan Organ)	Mid-level-ontology.kif 11829-11829	Vital organ is a subclass of organ

appearance as argument number 2

(subclass Brain VitalOrgan)	Mid-level-ontology.kif 11845-11845	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 11334-11334	Heart is a subclass of vital organ
(subclass Kidney VitalOrgan)	Mid-level-ontology.kif 11265-11265	Kidney is a subclass of vital organ
(subclass Liver VitalOrgan)	Mid-level-ontology.kif 11415-11415	Liver is a subclass of vital organ
(subclass Lung VitalOrgan)	Mid-level-ontology.kif 11185-11185	Lung is a subclass of vital organ
(termFormat EnglishLanguage VitalOrgan "vital organ")	Mid-level-ontology.kif 11834-11834

antecedent

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

Mid-level-ontology.kif 11836-11843