| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11830-11830 | Vital organ is a subclass of organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11186-11186 | Lung is a subclass of vital organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11266-11266 | Kidney is a subclass of vital organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11335-11335 | Heart is a subclass of vital organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11416-11416 | Liver is a subclass of vital organ |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11846-11846 | Brain is a subclass of vital organ |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 266-266 | Gills is a subclass of vital organ |
|
|