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 | Artery is a subclass of blood vessel |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11121-11121 | Vein is internally related to artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1272-1272 | Abdominal aorta is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 982-982 | Acromial artery is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1460-1460 | Afferent arteriole is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 723-723 | Anterior auricular branch artery is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1012-1012 | Anterior humeral circumflex artery is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1558-1558 | Anterior iliac artery division is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1165-1165 | Anterior interosseous artery is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 63-63 | Anterior interventricular artery is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 75-75 | Anterior interventricular diagonal artery is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 69-69 | Anterior interventricular septal artery is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1881-1881 | Anterior lateral malleolar artery is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1876-1876 | Anterior medial malleolar artery is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 787-787 | Anterior spinal artery is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1859-1859 | Anterior tibial artery is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1869-1869 | Anterior tibial recurrent artery is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1144-1144 | Anterior ulnar recurrent artery is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 357-357 | Anterolateral central artery is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1221-1221 | Aorta is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 114-114 | Aortic arch is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1450-1450 | Arcuate artery is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 5-5 | Ascending aorta is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 420-420 | Ascending pharyngeal artery is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 965-965 | Axillary artery is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 811-811 | Basilar artery is a subclass of artery |
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 | The number 1 argument of suppliesBlood is a subclass of artery |
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 |
|