Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   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 1334-1337 | |
| (subclass Faucet FluidPowerDevice) | engineering.kif 1339-1339 | Faucet is a subclass of fluid power device |
| (typicalPart Faucet Kitchen) | engineering.kif 1342-1342 | A faucet is typically a part of a kitchen |
| (typicalPart Faucet Bathroom) | engineering.kif 1343-1343 | A faucet is typically a part of a bathroom |
| appearance as argument number 2 |
|
|
| (partTypes Valve Faucet) | engineering.kif 1340-1340 | Every valve is a part of a faucet |
| (termFormat EnglishLanguage Faucet "faucet") | engineering.kif 1344-1344 | 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 1346-1359 | If X is an instance of faucet, Y is an instance of liquid motion, Z is a patient of Y, and Y is located at X, then there doesn't exist W such that W is an instance of tube and W contains Z holds during immediately after the time of existence of Y |
| consequent |
|
|
| (=> (instance ?TW TapWater) (exists (?LM ?F) (and (instance ?LM WaterMotion) (patient ?LM ?TW) (origin ?LM ?F) (instance ?F Faucet)))) |
Food.kif 277-284 | If X is an instance of tap water, then there exist Y, Z such that Y is an instance of water motion, X is a patient of Y, Y originates at Z, and Z is an instance of faucet |
|