| FacialArtery(facial artery)
| | arteria_facialis, arteria_labialis, external_maxillary_artery, facial_artery, labial_artery |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 500-500 | connectedBodyPartTypes facial artery, angular artery terminal branch and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 446-446 | connectedBodyPartTypes facial artery, ascending palatine artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 471-471 | connectedBodyPartTypes facial artery, glandular branch artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 479-479 | connectedBodyPartTypes facial artery, inferior labial artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 493-493 | connectedBodyPartTypes facial artery, lateral nasal branch artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 456-456 | connectedBodyPartTypes facial artery, submental artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 486-486 | connectedBodyPartTypes facial artery, superior labial artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 451-451 | connectedBodyPartTypes facial artery, tonsillar branch artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 434-434 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 473-473 | |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 432-432 | Facial artery is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 262-262 | suppliesBlood facial artery and depressor angula oris muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 253-253 | suppliesBlood facial artery and levator angula oris muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 459-459 | suppliesBlood facial artery and levator veli palatini muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 473-473 | suppliesBlood facial artery and palatopharyngeus muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 211-211 | suppliesBlood facial artery and procerus muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 314-314 | suppliesBlood facial artery and risorius muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 322-322 | suppliesBlood facial artery and zygomatic major muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 330-330 | suppliesBlood facial artery and zygomatic minor muscle |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 436-436 | connectedBodyPartTypes external carotid artery, facial artery and human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 496-496 | Angular artery terminal branch is a subclass of facial artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 475-475 | Inferior labial artery is a subclass of facial artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 489-489 | Lateral nasal branch artery is a subclass of facial artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 482-482 | Superior labial artery is a subclass of facial artery |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 600-600 | suppliesBlood occipital artery and facial artery |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 433-433 |
|
|
|