Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Exhaust(exhaust) |  | exhaust, exhaust_fumes, fumes |
| appearance as argument number 1 |
|
|
| (subclass Exhaust Mixture) | Cars.kif 1076-1076 | Exhaust is a subclass of mixture |
| (subclass Exhaust Smoke) | Cars.kif 1077-1077 | Exhaust is a subclass of smoke |
| (documentation Exhaust EnglishLanguage "A concept to broadly cover all physical byproducts of Combustion, other than light or heat. While exhaust is often an undesirable byproduct of combustion that serves some particular purpose, and where heat or light is desired, there is also the case of smoke signals or mosquito_repelling smudge pots in which exhaust (and often ineffecient combustion, to produce the most smoke) is the desirable output of combustion. Exhaust differs from Smoke in that it need not be visible.") | Cars.kif 1079-1085 | Exhaust is a subclass of smoke |
| (roomTempState Exhaust Gas) | Cars.kif 1086-1086 | room temperature state exhaust and gas |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Exhaust "exhaust") | Cars.kif 1078-1078 |
| antecedent |
|
|
| (=> (instance ?E Exhaust) (exists (?S ?G ?C) (and (instance ?C Combustion) (attribute ?S Solid) (attribute ?G Gas) (part ?S ?E) (part ?G ?E) (result ?C ?E)))) |
Cars.kif 1088-1097 | If X is an instance of exhaust, then All of the following hold: (1) there exist Y, Z (2) W such that W is an instance of burning (3) solid is an attribute of Y (4) gas is an attribute of Z (5) Y is a part of X (6) Z is a part of X (7) X is a result of W |
| (=> (instance ?E Exhaust) (modalAttribute (capability Seeing patient ?E) Possibility)) |
Cars.kif 1099-1103 | If X is an instance of exhaust, then the statement X is capable of doing seeing as a patient has the modal force of possibility |
| (=> (instance ?E Exhaust) (modalAttribute (not (capability Seeing patient ?E)) Possibility)) |
Cars.kif 1105-1110 | If X is an instance of exhaust, then the statement X is not capable of doing seeing as a patient has the modal force of possibility |
| (=> (and (instance ?E Exhaust) (material Fuel ?E) (instance ?T Transfer) (instance ?ENG Engine) (origin ?T ?ENG) (instance ?CC CatalyticConverter) (destination ?T ?CC) (objectTransferred ?T ?E)) (hasPurpose ?CC (exists (?C) (and (instance ?C Combustion) (instrument ?C ?CC) (patient ?C ?E) (eventLocated ?C ?CC))))) |
Cars.kif 1604-1620 | If All of the following hold: (1) X is an instance of exhaust (2) X is made of fuel (3) Y is an instance of transfer (4) Z is an instance of engine (5) Y originates at Z (6) W is an instance of catalytic converter (7) Y ends up at W (8) the object transferred in Y is X, then W has the purpose there exists V such that V is an instance of burning, W is an instrument for V, X is a patient of V, and V is located at W |
| (=> (and (instance ?T Tailpipe) (instance ?TR Transfer) (instance ?E Exhaust) (instance ?A Automobile) (instance ?AES AutomobileExhaustSystem) (part ?T ?A) (path ?TR ?T) (patient ?TR ?E)) (hasPurpose ?T (not (exists (?O) (and (part ?O ?A) (beforeOnPath ?T ?O ?AES ?TR)))))) |
Cars.kif 3916-3931 | If All of the following hold: (1) X is an instance of tailpipe (2) Y is an instance of transfer (3) Z is an instance of exhaust (4) W is an instance of automobile (5) V is an instance of exhaust system (6) X is a part of W (7) X is path along which Y occurs (8) Z is a patient of Y, then X has the purpose there doesn't exist U such that U is a part of W and X before U on path V during Y |
| consequent |
|
|
|