No TPTP formula. May not be expressible in strict first order. | Merge.kif 11254-11254 | WaterMotion e' uma sub-classe de LiquidMotion |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1551-1551 | HeavySurf e' uma sub-classe de WaterMotion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11228-11228 | Precipitation e' uma sub-classe de WaterMotion |