Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Box
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ExhaustManifold Device) | Cars.kif 2457-2457 | Exhaust manifold is a subclass of device |
| (documentation ExhaustManifold EnglishLanguage "A junction of several Tubes, which take exhaust Gases from the Engine Cylinders and route them to the AutomobileMuffler and Tailpipe. Note that this class also includes what are known as headers, since a header is essentially just a high performance manifold.") | Cars.kif 2459-2462 | Exhaust manifold is a subclass of device |
| (typicalPart ExhaustManifold AutomobileExhaustSystem) | Cars.kif 2464-2464 | A exhaust manifold is typically a part of a exhaust system |
| (typicallyContainsPart ExhaustManifold AutomobileExhaustSystem) | Cars.kif 2465-2465 | A exhaust system typically has a part exhaust manifold |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ExhaustManifold "exhaust manifold") | Cars.kif 2458-2458 | |
| (typicalPart EngineMAPSensor ExhaustManifold) | Cars.kif 3174-3174 | A manifold absolute pressure sensor is typically a part of a exhaust manifold |
| antecedent |
|
|
| (=> (instance ?EM ExhaustManifold) (hasPurpose ?EM (exists (?A ?E ?C ?M ?T) (and (instance ?A Automobile) (instance ?E Exhaust) (instance ?C EngineCylinder) (instance ?M AutomobileMuffler) (instance ?T Transfer) (part ?EM ?A) (part ?C ?A) (part ?M ?A) (origin ?T ?C) (destination ?T ?M) (patient ?T ?E) (instrument ?T ?E))))) |
Cars.kif 2467-2483 | If X is an instance of exhaust manifold, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of automobile (3) Z is an instance of exhaust (4) W is an instance of engine cylinder (5) V is an instance of muffler (6) U is an instance of transfer (7) X is a part of Y (8) W is a part of Y (9) V is a part of Y (10) U originates at W (11) U ends up at V (12) Z is a patient of U (13) Z is an instrument for U |
| (=> (instance ?EM ExhaustManifold) (exists (?T1 ?T2) (and (instance ?T1 Tube) (instance ?T2 Tube) (not (equal ?T1 ?T2)) (part ?T1 ?EM) (part ?T2 ?EM)))) |
Cars.kif 2485-2494 | If X is an instance of exhaust manifold, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of tube (3) Z is an instance of tube (4) equal Y (5) Z (6) Y is a part of X (7) Z is a part of X |
| consequent |
|
|
| (=> (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 |
|