| appearance as argument number 1 |
|
| (documentation BodyAreaFn EnglishLanguage "A Function that denotes the area near a given organ or structure of the body such as 'bicep area' or 'stomach area'.") | Medicine.kif 6248-6249 | |
| (domainSubclass BodyAreaFn 1 BodyPart) | Medicine.kif 6251-6251 | |
| (instance BodyAreaFn UnaryFunction) | Medicine.kif 6246-6246 | |
| (rangeSubclass BodyAreaFn BodyPart) | Medicine.kif 6252-6252 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BodyAreaFn "body area") | Medicine.kif 6247-6247 |
| antecedent |
|
|
| (=> (and (instance ?A (BodyAreaFn ?OC)) (instance ?H Animal) (part ?A ?H)) (exists (?O) (and (instance ?O ?OC) (orientation ?A ?O Near) (part ?O ?H)))) |
Medicine.kif 6254-6263 |
| statement |
|
|
| (subclass LeftThigh (BodyAreaFn (BodySideFn Left ThighMuscle))) |
Medicine.kif 2931-2931 | |
| (subclass RightThigh (BodyAreaFn (BodySideFn Right ThighMuscle))) |
Medicine.kif 2934-2934 |
|
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