No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3135-3135 |
IDeviceHomeButton est une sous-classe de SwitchDevice |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 749-749 |
Relay est une sous-classe de SwitchDevice |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56565-56565 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56564-56564 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56563-56563 |
|