Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| EngineFan(engine fan) |
| appearance as argument number 1 |
|
| (subclass EngineFan FanDevice) | Cars.kif 2584-2584 | Engine fan is a subclass of fan device |
| (documentation EngineFan EnglishLanguage "A FanDevice that is part of an Engine, designed for Cooling the engine, and therefore distinguished from fans that are for moving Air in the passenger compartment of an Automobile.") | Cars.kif 2586-2588 | Engine fan is a subclass of fan device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EngineFan "engine fan") | Cars.kif 2585-2585 |
| antecedent |
|
|
| (=> (and (instance ?FB FanBelt) (instance ?EF EngineFan) (instance ?A Automobile) (part ?FB ?A) (part ?EF ?A) (instance ?M Motion) (patient ?M ?FB)) (hasPurpose ?FB (exists (?M2) (and (instance ?M2 Rotating) (causes ?M ?M2) (patient ?M2 ?EF))))) |
Cars.kif 2568-2582 | If All of the following hold: (1) X is an instance of fan belt (2) Y is an instance of engine fan (3) Z is an instance of automobile (4) X is a part of Z (5) Y is a part of Z (6) W is an instance of motion (7) X is a patient of W, then X has the purpose there exists V such that V is an instance of rotating, W causes V, and Y is a patient of V |
| (=> (instance ?EF EngineFan) (hasPurpose ?EF (exists (?C ?E ?A) (and (instance ?A Automobile) (instance ?C Cooling) (instance ?E InternalCombustionEngine) (part ?E ?A) (part ?EF ?A) (instrument ?C ?EF) (patient ?C ?E))))) |
Cars.kif 2590-2601 | If X is an instance of engine fan, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of automobile (3) Y is an instance of cooling (4) Z is an instance of internal combustion engine (5) Z is a part of W (6) X is a part of W (7) X is an instrument for Y (8) Z is a patient of Y |
|