Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PistonRing(piston ring) |  | piston_ring |
| appearance as argument number 1 |
|
|
| (subclass PistonRing Gasket) | Cars.kif 3671-3671 | Piston ring is a subclass of gasket |
| (documentation PistonRing EnglishLanguage "A Piston typically has several such rings to seal the piston against the EngineCylinder while allowing it to move, and yet contain Combustion and the Oil that is used for Lubricating the involved surfaces.") | Cars.kif 3673-3676 | Piston ring is a subclass of gasket |
| (typicalPart PistonRing Piston) | Cars.kif 3677-3677 | A piston ring is typically a part of a piston |
| (typicallyContainsPart PistonRing Piston) | Cars.kif 3678-3678 | A piston typically has a part piston ring |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PistonRing "piston ring") | Cars.kif 3672-3672 |
|