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 引数は Artery のsubclass では %n |
(domainSubclass suppliesBlood 2 BodyPart) | Anatomy.kif 1945-1945 | suppliesBlood の数値 2 引数は 体の部分 のsubclass では %n |
(instance suppliesBlood BinaryPredicate) | Anatomy.kif 1941-1941 | suppliesBlood は 2進述語 の instance では %n |
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 |