Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ExhaustValve(exhaust valve) |  | exhaust_valve |
| appearance as argument number 1 |
|
|
| (subclass ExhaustValve Valve) | Cars.kif 2496-2496 | Exhaust valve is a subclass of valve |
| (documentation ExhaustValve EnglishLanguage "A Valve that opens to let the Exhaust escape into the ExhaustManifold.") | Cars.kif 2498-2499 | Exhaust valve is a subclass of valve |
| (typicalPart ExhaustValve FourStrokeEngine) | Cars.kif 2500-2500 | A exhaust valve is typically a part of a four stroke engine |
| (typicallyContainsPart ExhaustValve FourStrokeEngine) | Cars.kif 2501-2501 | A four stroke engine typically has a part exhaust valve |
| (documentation ExhaustValve EnglishLanguage "A Valve that opens to let the FuelVapor in to the CombustionChamber.") | Cars.kif 2523-2524 | A four stroke engine typically has a part exhaust valve |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ExhaustValve "exhaust valve") | Cars.kif 2497-2497 |
| antecedent |
|
|
| (=> (instance ?EV ExhaustValve) (hasPurpose ?EV (exists (?E ?T) (and (instance ?T Transfer) (objectTransferred ?T ?E) (path ?T ?EV) (instance ?E Exhaust))))) |
Cars.kif 2503-2511 | If X is an instance of exhaust valve, then X has the purpose there exist Y, Z such that Z is an instance of transfer, the object transferred in Z is Y, X is path along which Z occurs, and Y is an instance of exhaust |
| (=> (instance ?EV ExhaustValve) (hasPurpose ?EV (exists (?EM) (and (instance ?EM ExhaustManifold) (connectedEngineeringComponents ?EV ?EM))))) |
Cars.kif 2513-2519 | If X is an instance of exhaust valve, then X has the purpose there exists Y such that Y is an instance of exhaust manifold and X is connected to Y |
|