No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1551-1551 |
BleederValve est une sous-classe de Valve |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 957-957 |
DirectionalControlValve est une sous-classe de Valve |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2664-2664 |
ExhaustValve est une sous-classe de Valve |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2689-2689 |
IntakeValve est une sous-classe de Valve |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3263-3263 |
ManifoldHeatControlValve est une sous-classe de Valve |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3819-3819 |
PositiveCrankcaseVentilationValve est une sous-classe de Valve |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 966-966 |
PressureControlValve est une sous-classe de Valve |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1099-1099 |
SalineLock est une sous-classe de Valve |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 976-976 |
VolumeControlValve est une sous-classe de Valve |
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 |
|