| Faucet(faucet) | | faucet, spigot |
| 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 1240-1243 | |
| (subclass Faucet FluidPowerDevice) | engineering.kif 1245-1245 | Faucet is a subclass of fluid power device |
| (typicalPart Faucet Bathroom) | engineering.kif 1249-1249 | A faucet is typically a part of a bathroom |
| (typicalPart Faucet Kitchen) | engineering.kif 1248-1248 | A faucet is typically a part of a kitchen |
| appearance as argument number 2 |
|
|
| (partTypes Valve Faucet) | engineering.kif 1246-1246 | Every valve is a part of a faucet |
| (termFormat EnglishLanguage Faucet "faucet") | engineering.kif 1250-1250 | Every valve is a part of a faucet |
| 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 1252-1265 |
|
| consequent |
|
|
| (=> (instance ?TW TapWater) (exists (?LM ?F) (and (instance ?LM WaterMotion) (patient ?LM ?TW) (origin ?LM ?F) (instance ?F Faucet)))) |
Food.kif 276-283 |
|
|
|
|