TreeView Knowledge Base Browser

appearance as argument number 1

(subclass VitalOrgan Organ)	Mid-level-ontology.kif 13330-13330	Vital organ is a subclass of organ
(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 13331-13334	Vital organ is a subclass of organ

appearance as argument number 2

(subclass Lung VitalOrgan)	Mid-level-ontology.kif 12676-12676	Lung is a subclass of vital organ
(subclass Kidney VitalOrgan)	Mid-level-ontology.kif 12762-12762	Kidney is a subclass of vital organ
(subclass Heart VitalOrgan)	Mid-level-ontology.kif 12831-12831	Heart is a subclass of vital organ
(subclass Liver VitalOrgan)	Mid-level-ontology.kif 12916-12916	Liver is a subclass of vital organ
(termFormat EnglishLanguage VitalOrgan "vital organ")	Mid-level-ontology.kif 13335-13335	Liver is a subclass of vital organ
(subclass Brain VitalOrgan)	Mid-level-ontology.kif 13346-13346	Brain is a subclass of vital organ
(subclass Gills VitalOrgan)	Medicine.kif 268-268	Gills is a subclass of vital organ

antecedent

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

If X is an instance of vital organ, Y is an instance of animal, and X is not a part of Y, then living is not an attribute of Y