Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BodyPosition(body position) |  | address, arabesque, asana, attention, attitude, ballet_position, decubitus, erectness, eversion, guard, lithotomy_position, lotus_position, matsyendra, missionary_position, position, posture, sprawl, sprawling, stance, uprightness |
| appearance as argument number 1 |
|
|
| (subclass BodyPosition BiologicalAttribute) | Merge.kif 18382-18382 | Body position is a subclass of biological attribute |
| (documentation BodyPosition EnglishLanguage "The class of Attributes expressing configurations of bodies or parts of bodies of animals or humans, e.g. standing, sitting, kneeling, lying down, etc.") | Merge.kif 18383-18385 | Body position is a subclass of biological attribute |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?ANIMAL Animal) (or (exists (?MOTION) (and (instance ?MOTION BodyMotion) (agent ?MOTION ?ANIMAL))) (exists (?ATTR) (and (instance ?ATTR BodyPosition) (attribute ?ANIMAL ?ATTR))))) |
Merge.kif 18387-18397 | If X is an instance of animal, then there exists Y such that Y is an instance of body motion and X is an agent of Y or there exists Z such that Z is an instance of body position and Z is an attribute of X |
|