| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10978-10978 | Resfriar e' uma sub-classe de Diminuir |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2023-2023 | VaporCompressionCycle e' uma sub-classe de Resfriar |
|
|