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 | Il numero 1 argomento suppliesBlood è una sottoclasse diArtery |
(domainSubclass suppliesBlood 2 BodyPart) | Anatomy.kif 1945-1945 | Il numero 2 argomento suppliesBlood è una sottoclasse diParteDelCorpo |
(instance suppliesBlood BinaryPredicate) | Anatomy.kif 1941-1941 | suppliesBlood è un' istanza di PredicatoBinario |
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 |