No TPTP formula. May not be expressible in strict first order. | Merge.kif 10184-10184 | Organism process is a subclass of physiologic process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2112-2112 | Excreting is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6032-6032 | Coughing is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6110-6110 | Sneezing is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6246-6246 | Recovering from illness is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10360-10360 | Breath is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21405-21405 | Vomiting is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21429-21429 | Nausea is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24095-24095 | Mating is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24112-24112 | Laying eggs is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10190-10190 | Birth is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10206-10206 | Death is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10239-10239 | Breathing is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10246-10246 | Ingesting is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10282-10282 | Digesting is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10311-10311 | Replication is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13716-13716 | Vocalizing is a subclass of organism process |