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 12727-12730
(subclass VitalOrgan Organ)	Mid-level-ontology.kif 12726-12726	Vital organ is a subclass of organ

appearance as argument number 2

(subclass Brain VitalOrgan)	Mid-level-ontology.kif 12742-12742	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 12231-12231	Heart is a subclass of vital organ
(subclass Kidney VitalOrgan)	Mid-level-ontology.kif 12162-12162	Kidney is a subclass of vital organ
(subclass Liver VitalOrgan)	Mid-level-ontology.kif 12312-12312	Liver is a subclass of vital organ
(subclass Lung VitalOrgan)	Mid-level-ontology.kif 12082-12082	Lung is a subclass of vital organ
(termFormat EnglishLanguage VitalOrgan "vital organ")	Mid-level-ontology.kif 12731-12731	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 12733-12740