| No TPTP formula. May not be expressible in strict first order. | engineering.kif 776-776 | Spring e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 723-723 | WireSpring e' uma sub-classe de Spring |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 887-887 | LeafSpring e' uma sub-classe de Spring |
|
|