![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 981-981 | connectedBodyPartTypes ThoracoacromialArtery, AxillaryArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 979-979 | |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 977-977 | ThoracoacromialArtery e' uma sub-classe de Artery |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 986-986 | connectedBodyPartTypes AcromialArtery, ThoracoacromialArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 996-996 | connectedBodyPartTypes ClavicularArtery, ThoracoacromialArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1001-1001 | connectedBodyPartTypes DeltoidArtery, ThoracoacromialArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 991-991 | connectedBodyPartTypes PectoralArtery, ThoracoacromialArtery and Humano |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 978-978 |
![]() |
![]() |