Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Gasket(gasket) |  | gasket, head_gasket, washer |
| appearance as argument number 1 |
|
|
| (subclass Gasket Device) | Cars.kif 2670-2670 | Gasket is a subclass of device |
| (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 2672-2674 | Gasket is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Gasket "gasket") | Cars.kif 2671-2671 | |
| (subclass ORing Gasket) | Cars.kif 3221-3221 | O_ring is a subclass of gasket |
| (subclass PistonRing Gasket) | Cars.kif 3671-3671 | Piston ring is a subclass of gasket |
| 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 2681-2710 | If X is an instance of gasket, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of corpuscular object (3) Z is an instance of corpuscular object (4) Y meets X (5) Z meets X (6) there don't exist W, V,, , U (7) T such that W is an instance of hole (8) equal X (9) the host of the hole W (10) U is an instance of translocation (11) W is path along which U occurs (12) U originates at T (13) U ends up at V (14) Y contains T (15) Y doesn't contain V (16) Y meets V (17) there doesn't exist S such that W contains S (18) Y doesn't contain S (19) Z doesn't contain S |
|