Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Exhaling
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Exhaling Breathing) | Mid-level-ontology.kif 12797-12797 | Exhaling is a subclass of breathing |
| (documentation Exhaling EnglishLanguage "Any instance of Breathing where the breath is expelled from the Lungs.") | Mid-level-ontology.kif 12798-12799 | Exhaling is a subclass of breathing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?E Exhaling) (exists (?L) (and (instance ?L Lung) (origin ?E ?L)))) |
Mid-level-ontology.kif 12801-12806 | If X is an instance of exhaling, then there exists Y such that Y is an instance of lung and X originates at Y |
| consequent |
|
|
| (=> (and (instance ?C Coughing) (experiencer ?C ?H)) (exists (?I ?E) (and (instance ?I Inhaling) (instance ?E Exhaling) (subProcess ?I ?C) (subProcess ?E ?C) (experiencer ?I ?H) (experiencer ?E ?H)))) |
Mid-level-ontology.kif 7162-7173 | If X is an instance of coughing and Y experiences X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of inhaling (3) W is an instance of exhaling (4) Z is a subprocess of X (5) W is a subprocess of X (6) Y experiences Z (7) Y experiences W |
| (=> (and (instance ?WI WindInstrument) (instance ?M MakingInstrumentalMusic) (agent ?M ?A) (instrument ?M ?WI)) (exists (?B) (and (instance ?B Exhaling) (agent ?B ?A) (subProcess ?B ?M)))) |
Music.kif 1207-1217 | If X is an instance of wind instrument, Y is an instance of instrumental music, Z is an agent of Y, and X is an instrument for Y, then there exists W such that W is an instance of exhaling, Z is an agent of W, and W is a subprocess of Y |
|