Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| suppliesBlood |
| appearance as argument number 1 |
|
| (instance suppliesBlood BinaryPredicate) | Anatomy.kif 1968-1968 | supplies blood is an instance of binary predicate |
| (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 1971-1972 | supplies blood is an instance of binary predicate |
| (domainSubclass suppliesBlood 1 Artery) | Anatomy.kif 1973-1973 | The number 1 argument of supplies blood is a subclass of artery |
| (domainSubclass suppliesBlood 2 BodyPart) | Anatomy.kif 1974-1974 | The number 2 argument of supplies blood is a subclass of body part |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage suppliesBlood "supplies blood") | Anatomy.kif 1969-1969 |
| 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 1976-1987 | If supplies blood X and Y, Z is an instance of X, and W is an instance of Y, then Z has the purpose there exist V, U such that V is an instance of liquid motion, the object transferred in V is U, U is an instance of blood, and V ends up at W |
| appearance as argument number 0 |
|
|
|