No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1546-1546 |
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 2658-2658 |
ExhaustValve 是 阀 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2683-2683 |
IntakeValve 是 阀 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3255-3255 |
ManifoldHeatControlValve 是 阀 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3811-3811 |
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 |
|