No TPTP formula. May not be expressible in strict first order. | Merge.kif 10206-10206 | 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 6031-6031 | Coughing is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6109-6109 | Sneezing is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6245-6245 | Recovering from illness is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10359-10359 | Breath is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21404-21404 | Vomiting is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21428-21428 | Nausea is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24094-24094 | Mating is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24111-24111 | Laying eggs is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10212-10212 | Birth is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10228-10228 | Death is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10261-10261 | Breathing is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10268-10268 | Ingesting is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10304-10304 | Digesting is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10333-10333 | Replication is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13738-13738 | Vocalizing is a subclass of organism process |