No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1551-1551 |
BleederValve e' uma sub-classe de Valve |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 957-957 |
DirectionalControlValve e' uma sub-classe de Valve |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2641-2641 |
ExhaustValve e' uma sub-classe de Valve |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2666-2666 |
IntakeValve e' uma sub-classe de Valve |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3240-3240 |
ManifoldHeatControlValve e' uma sub-classe de Valve |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3796-3796 |
PositiveCrankcaseVentilationValve e' uma sub-classe de Valve |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 966-966 |
PressureControlValve e' uma sub-classe de Valve |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1099-1099 |
SalineLock e' uma sub-classe de Valve |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 976-976 |
VolumeControlValve e' uma sub-classe de Valve |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61216-61216 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61215-61215 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61214-61214 |
|