|
|
   Artery
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11104-11106 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4509-4509 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11103-11103 | 子類 動脈 and 血管 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11121-11121 | 相關的內部概念 靜脈 and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1272-1272 | 子類 AbdominalAorta and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 982-982 | 子類 AcromialArtery and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1460-1460 | 子類 AfferentArteriole and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 723-723 | 子類 AnteriorAuricularBranchArtery and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1012-1012 | 子類 AnteriorHumeralCircumflexArtery and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1558-1558 | 子類 AnteriorIliacArteryDivision and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1165-1165 | 子類 AnteriorInterosseousArtery and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 63-63 | 子類 AnteriorInterventricularArtery and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 75-75 | 子類 AnteriorInterventricularDiagonalArtery and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 69-69 | 子類 AnteriorInterventricularSeptalArtery and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1881-1881 | 子類 AnteriorLateralMalleolarArtery and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1876-1876 | 子類 AnteriorMedialMalleolarArtery and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 787-787 | 子類 AnteriorSpinalArtery and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1859-1859 | 子類 AnteriorTibialArtery and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1869-1869 | 子類 AnteriorTibialRecurrentArtery and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1144-1144 | 子類 AnteriorUlnarRecurrentArtery and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 357-357 | 子類 AnterolateralCentralArtery and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1221-1221 | 子類 Aorta and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 114-114 | 子類 AorticArch and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1450-1450 | 子類 ArcuateArtery and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 5-5 | 子類 AscendingAorta and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 420-420 | 子類 AscendingPharyngealArtery and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 965-965 | 子類 AxillaryArtery and 動脈 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 811-811 | 子類 BasilarArtery and 動脈 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1944-1944 | 域子類 suppliesBlood, 1 and 動脈 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11108-11118 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 80-94 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 491-503 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11178-11184 |
|
|
|
