Gyrator Stating
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 626-628 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4711-4711 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 629-629 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 908-908 | models Gyrator and FluidCylinder |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 630-630 | Gyrator est une sous-classe de Transducer |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27168-27168 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27167-27167 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27166-27166 |