No TPTP formula. May not be expressible in strict first order. | Merge.kif 12140-12140 | Mesurer est une sous-classe de calculer |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1726-1726 | SurfaceWindSpeedMeasuring est une sous-classe de mesurer |