Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Missouri
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Jaw BodyPart) | Anatomy.kif 1680-1680 | Jaw is a subclass of body part |
| (documentation Jaw EnglishLanguage "The lower part of the Mouth of an Animal. It is involved in Chewing and creating an opening of the Mouth suitable for Breathing in Mammals. Motion of the jaw is involved in Speaking in Humans.") | Anatomy.kif 1681-1683 | Jaw is a subclass of body part |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Jaw "jaw") | Anatomy.kif 1684-1684 |
| antecedent |
|
|
| (=> (and (instance ?S Speaking) (instance ?J Jaw) (agent ?S ?H) (part ?J ?H)) (modalAttribute (exists (?M) (and (instance ?M BodyMotion) (objectTransferred ?M ?J) (during (WhenFn ?M) (WhenFn ?S)))) Likely)) |
Anatomy.kif 1686-1698 | If X is an instance of speaking, Y is an instance of jaw, Z is an agent of X, and Y is a part of Z, then the statement there exists W such that W is an instance of body motion, the object transferred in W is Y, and the time of existence of W takes place during the time of existence of X has the modal force of likely |
|