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 12655-12658
(subclass VitalOrgan Organ)	Mid-level-ontology.kif 12654-12654	Vital organ is a subclass of organ

appearance as argument number 2

(subclass Brain VitalOrgan)	Mid-level-ontology.kif 12670-12670	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 12159-12159	Heart is a subclass of vital organ
(subclass Kidney VitalOrgan)	Mid-level-ontology.kif 12090-12090	Kidney is a subclass of vital organ
(subclass Liver VitalOrgan)	Mid-level-ontology.kif 12240-12240	Liver is a subclass of vital organ
(subclass Lung VitalOrgan)	Mid-level-ontology.kif 12010-12010	Lung is a subclass of vital organ
(termFormat EnglishLanguage VitalOrgan "vital organ")	Mid-level-ontology.kif 12659-12659	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 12661-12668