| Faucet | |
| appearance as argument number 1 |
|
|
| (documentation Faucet EnglishLanguage "A Tube with a Valve meant to control flow of a Fluid. This is differentiated from other combinations of values and pipes in that the valve is meant to control the exit of fluid from the pipe at a site close to that of the valve control. It is also a typicalPart of the fixtures in a Bathroom or Kitchen.") | engineering.kif 925-928 | |
| (subclass Faucet FluidPowerDevice) | engineering.kif 931-931 | |
| (subclass Faucet MechanicalDevice) | engineering.kif 930-930 | |
| (typicalPart Faucet Bathroom) | engineering.kif 935-935 | |
| (typicalPart Faucet Kitchen) | engineering.kif 934-934 |
| appearance as argument number 2 |
|
|
| (havePartTypes Valve Faucet) | engineering.kif 932-932 | |
| (termFormat EnglishLanguage Faucet "faucet") | engineering.kif 936-936 |
| antecedent |
|
|
| (=> (and (instance ?F Faucet) (instance ?LM LiquidMotion) (patient ?LM ?L) (located ?LM ?F)) (holdsDuring (ImmediateFutureFn (WhenFn ?LM)) (not (exists (?T) (and (instance ?T Tube) (contains ?T ?L)))))) |
engineering.kif 938-951 |
|
|
|