| InferiorAlveolarArtery(inferior alveolar artery) | | arteria_alveolaris_inferior, inferior_alveolar_artery |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 590-590 | connectedBodyPartTypes inferior alveolar artery, incisor branch artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 600-600 | connectedBodyPartTypes inferior alveolar artery, lingual branch artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 595-595 | connectedBodyPartTypes inferior alveolar artery, mental branch artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 605-605 | connectedBodyPartTypes inferior alveolar artery, mylohyoid branch artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 582-582 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 580-580 | Inferior alveolar artery is a subclass of external carotid terminal first portion artery |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 584-584 | connectedBodyPartTypes maxillary artery, inferior alveolar artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 581-581 |
|
|
|