![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 164-164 | connectedBodyPartTypes aortic arch, left common carotid artery and human |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 116-119 | |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 121-121 | |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 114-114 | Aortic arch is a subclass of artery |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 135-135 | connectedBodyPartTypes brachiocephalic artery, aortic arch and human |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 61-61 | connectedBodyPartTypes left coronary artery, aortic arch and human |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 759-759 | connectedBodyPartTypes left subclavian artery, aortic arch and human |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1241-1241 | connectedBodyPartTypes thoracic aorta, aortic arch and human |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 115-115 |
![]() |
![]() |