| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1722-1722 | Transducer e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1724-1724 | Engine e' uma sub-classe de Transducer |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 624-624 | Transformer e' uma sub-classe de Transducer |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 630-630 | Gyrator e' uma sub-classe de Transducer |
|
|