|
|
   Valve
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 910-910 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1283-1283 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 911-911 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 850-850 | partType 阀 and VentedChestSeal |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 933-933 | 每个 阀 是 Faucet 的 part |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 934-934 | 每个 阀 是 管 的 part |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 912-912 | 阀 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 913-913 | 阀 是 流体动力装置 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1551-1551 | BleederValve 是 阀 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 957-957 | 方向控制阀 是 阀 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2664-2664 | ExhaustValve 是 阀 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2689-2689 | IntakeValve 是 阀 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3263-3263 | ManifoldHeatControlValve 是 阀 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3819-3819 | PositiveCrankcaseVentilationValve 是 阀 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 966-966 | 压力控制阀 是 阀 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1099-1099 | SalineLock 是 阀 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 976-976 | 音量控制阀 是 阀 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61214-61214 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61213-61213 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61212-61212 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 914-925 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1281-1287 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3019-3024 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3852-3872 |
|
|
|
|
