| 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 Tube) | engineering.kif 1247-1247 | |
| (partTypes Valve VentedChestSeal) | Medicine.kif 841-841 | |
| (subclass Valve EngineeringComponent) | engineering.kif 1225-1225 | |
| (subclass Valve FluidPowerDevice) | engineering.kif 1226-1226 |
| appearance as argument number 2 |
|
|
| (subclass BleederValve Valve) | Cars.kif 1552-1552 | |
| (subclass DirectionalControlValve Valve) | engineering.kif 1270-1270 | |
| (subclass ExhaustValve Valve) | Cars.kif 2642-2642 | |
| (subclass IntakeValve Valve) | Cars.kif 2667-2667 | |
| (subclass ManifoldHeatControlValve Valve) | Cars.kif 3316-3316 | |
| (subclass PositiveCrankcaseVentilationValve Valve) | Cars.kif 3872-3872 | |
| (subclass PressureControlValve Valve) | engineering.kif 1279-1279 | |
| (subclass SalineLock Valve) | Medicine.kif 1091-1091 | |
| (subclass VolumeControlValve Valve) | engineering.kif 1289-1289 | |
| (termFormat ChineseLanguage Valve "阀") | domainEnglishFormat.kif 61208-61208 | |
| (termFormat ChineseTraditionalLanguage Valve "閥") | domainEnglishFormat.kif 61207-61207 | |
| (termFormat EnglishLanguage Valve "valve") | domainEnglishFormat.kif 61206-61206 |
| 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 |
|
|
| (=> (instance ?B Bugle) (not (exists (?V) (and (instance ?V Valve) (part ?V ?B))))) |
Music.kif 1283-1289 | |
| (=> (instance ?GF GreaseFitting) (exists (?V) (and (instance ?V Valve) (part ?V ?GF)))) |
Cars.kif 3072-3077 | |
| (=> (instance ?RA RockerArm) (hasPurpose ?RA (exists (?P1 ?C ?P2 ?V ?O ?FSE) (and (instance ?P1 Pushing) (instance ?C Cam) (instance ?P2 Pushing) (instance ?V Valve) (instance ?O Opening) (instance ?FSE FourStrokeEngine) (part ?RA ?FSE) (part ?C ?FSE) (part ?V ?FSE) (instrument ?P1 ?C) (destination ?P1 ?RA) (instrument ?P2 ?RA) (destination ?P2 ?V) (causes ?P1 ?P2) (causes ?P2 ?O) (patient ?O ?V))))) |
Cars.kif 3905-3925 |
|
|
|