| 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 | |
| (domainSubclass suppliesBlood 2 BodyPart) | Anatomy.kif 1945-1945 | |
| (instance suppliesBlood BinaryPredicate) | Anatomy.kif 1941-1941 |
| 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 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners