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 927-930 | |
(subclass Faucet FluidPowerDevice) | engineering.kif 932-932 | Faucet 是 流体动力装置 的 subclass |
(typicalPart Faucet Bathroom) | engineering.kif 936-936 | Faucet typically 是 浴室 的 part |
(typicalPart Faucet Kitchen) | engineering.kif 935-935 | Faucet typically 是 厨房 的 part |
appearance as argument number 2 |
(partTypes Valve Faucet) | engineering.kif 933-933 | 每个 阀 是 Faucet 的 part |
(termFormat EnglishLanguage Faucet "faucet") | engineering.kif 937-937 |
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 939-952 |
consequent |
(=> (instance ?TW TapWater) (exists (?LM ?F) (and (instance ?LM WaterMotion) (patient ?LM ?TW) (origin ?LM ?F) (instance ?F Faucet)))) |
Food.kif 276-283 |