Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Swallowing(swallowing) |
| appearance as argument number 1 |
|
| (subclass Swallowing BodyMotion) | Mid-level-ontology.kif 7675-7675 | Swallowing is a subclass of body motion |
| (subclass Swallowing Transfer) | Mid-level-ontology.kif 7676-7676 | Swallowing is a subclass of transfer |
| (documentation Swallowing EnglishLanguage "A BodyMotion where an Object is subject to Ingesting, passing from the Mouth through the Esophagus to the Stomach.") | Mid-level-ontology.kif 7677-7679 | Swallowing is a subclass of transfer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Swallowing "swallowing") | Mid-level-ontology.kif 7681-7681 |
| antecedent |
|
|
| (=> (and (instance ?S Swallowing) (agent ?S ?H)) (exists (?M ?E ?ST ?O) (and (instance ?M Mouth) (instance ?E Esophagus) (instance ?ST Stomach) (objectTransferred ?S ?O) (origin ?S ?M) (destination ?S ?ST) (path ?S ?E)))) |
Mid-level-ontology.kif 7683-7695 | If X is an instance of swallowing and Y is an agent of X, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of mouth (3) W is an instance of esophagus (4) V is an instance of stomach (5) the object transferred in X is U (6) X originates at Z (7) X ends up at V (8) W is path along which X occurs |
| (=> (instance ?S Swallowing) (exists (?I) (and (instance ?I Ingesting) (subProcess ?I ?S)))) |
Mid-level-ontology.kif 7698-7703 | If X is an instance of swallowing, then there exists Y such that Y is an instance of ingesting and Y is a subprocess of X |
|