Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Supine
|
|
|
| appearance as argument number 1 |
|
|
| (subAttribute Supine Prostrate) | Anatomy.kif 1831-1831 | Supine is a subattribute of prostrate |
| (documentation Supine EnglishLanguage "Lying face up, on one's back.") | Anatomy.kif 1833-1833 | Supine is a subattribute of prostrate |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Supine "supine") | Anatomy.kif 1832-1832 | |
| (contraryAttribute Prone Supine) | Anatomy.kif 1834-1834 | Prone is the opposite of supine |
| antecedent |
|
|
| (=> (and (holdsDuring ?T (and (attribute ?H Supine) (orientation ?H ?O On))) (equal ?B (BackFn ?H))) (meetsSpatially ?B ?O)) |
Anatomy.kif 1836-1843 | If supine is an attribute of X and X is on to Y holds during Z and equal W and the back of X, then W meets Y |
|