No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1717-1717 |
Engine 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 |
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. |
domainEnglishFormat.kif 58804-58804 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58803-58803 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58802-58802 |
|