| Ossification(ossification) | | ossification |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11541-11542 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11540-11540 | Ossification is a subclass of organ or tissue process |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42666-42666 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42665-42665 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42664-42664 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11544-11549 |
|
|
|
|