| Valve
| |
| appearance as argument number 1 |
|
|
| (documentation Valve EnglishLanguage "A Device that regulates, directs or controls the FlowFn of a Fluid (Gas, Liquid, fluidized solids, or slurries) by opening, closing, or partially obstructing various passageways. (Wikipedia)") | engineering.kif 1223-1223 | |
| (externalImage Valve "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b5/ Water_valves_with_spigots.jpg/ 200px_Water_valves_with_spigots.jpg") | pictureList.kif 1283-1283 | |
| (lexicon Valve LexNoun "valve") | engineering.kif 1224-1224 | |
| (partTypes Valve Faucet) | engineering.kif 1246-1246 | partTypes Valve and Faucet |
| (partTypes Valve Tube) | engineering.kif 1247-1247 | partTypes Valve and Tube |
| (partTypes Valve VentedChestSeal) | Medicine.kif 841-841 | partTypes Valve and VentedChestSeal |
| (subclass Valve EngineeringComponent) | engineering.kif 1225-1225 | Valve est une sous-classe de composant d'un appareil |
| (subclass Valve FluidPowerDevice) | engineering.kif 1226-1226 | Valve est une sous-classe de FluidPowerDevice |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?V Valve) (hasPurpose ?V (exists (?FLUID ?PROC ?FLOW) (and (instance ?FLOW Transfer) (path ?FLOW ?V) (patient ?FLOW ?FLUID) (attribute ?FLUID Fluid) (instance ?PROC Process) (instrument ?PROC ?V) (patient ?PROC ?FLOW))))) |
engineering.kif 1227-1238 |
|
| consequent |
|
|
|
|
|