suppliesBlood |
appearance as argument number 1 |
(documentation suppliesBlood EnglishLanguage "A relation between a class of Artery and a class of BodyPart that that indicates blood is supplied through the artery to the part in a normal and healthy version of an organism.") | Anatomy.kif 1942-1943 | |
(domainSubclass suppliesBlood 1 Artery) | Anatomy.kif 1944-1944 | suppliesBlood 的 1 数量 是 动脉 的 subclass |
(domainSubclass suppliesBlood 2 BodyPart) | Anatomy.kif 1945-1945 | suppliesBlood 的 2 数量 是 身体部位 的 subclass |
(instance suppliesBlood BinaryPredicate) | Anatomy.kif 1941-1941 | suppliesBlood 是 二元谓语 的 instance |
antecedent |
(=> (and (suppliesBlood ?AC ?BPC) (instance ?A ?AC) (instance ?BP ?BPC)) (hasPurpose ?A (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (destination ?BF ?BP))))) |
Anatomy.kif 1947-1958 |
appearance as argument number 0 |