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 2840-2842 | |
(subclass Gasket Device) | Cars.kif 2838-2838 | 子類 Gasket and Device |
appearance as argument number 2 |
(subclass ORing Gasket) | Cars.kif 3339-3339 | 子類 ORing and Gasket |
(subclass PistonRing Gasket) | Cars.kif 3810-3810 | 子類 PistonRing and Gasket |
(termFormat EnglishLanguage Gasket "gasket") | Cars.kif 2839-2839 |
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 2849-2878 |
|