| Gasket | |
| appearance as argument number 1 |
|
|
| (documentation Gasket EnglishLanguage "A Device that is designed to allow two imperfect surfaces to mate cleanly, without gaps, and therefore prevent leakage of any Liquids.") | Cars.kif 2818-2820 | |
| (subclass Gasket Device) | Cars.kif 2816-2816 |
| appearance as argument number 2 |
|
|
| (subclass ORing Gasket) | Cars.kif 3392-3392 | |
| (subclass PistonRing Gasket) | Cars.kif 3863-3863 | |
| (termFormat EnglishLanguage Gasket "gasket") | Cars.kif 2817-2817 |
| antecedent |
|
|
| (=> (instance ?G Gasket) (hasPurpose ?G (exists (?O1 ?O2) (and (instance ?O1 CorpuscularObject) (instance ?O2 CorpuscularObject) (meetsSpatially ?O1 ?G) (meetsSpatially ?O2 ?G) (not (exists (?H ?D ?T ?O) (and (instance ?H HoleRegion) (equal ?G (HoleHostFn ?H)) (instance ?T Translocation) (path ?T ?H) (origin ?T ?O) (destination ?T ?D) (contains ?O1 ?O) (not (contains ?O1 ?D)) (meetsSpatially ?O1 ?D) (not (exists (?O3) (and (contains ?H ?O3) (not (contains ?O1 ?O3)) (not (contains ?O2 ?O3)))))))))))) |
Cars.kif 2827-2856 |
|
|
|