No TPTP formula. May not be expressible in strict first order. | Merge.kif 11210-11210 | GeologicalProcess e' uma sub-classe de NaturalProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11211-11211 | GeologicalProcess e' uma sub-classe de Movimento |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11212-11212 | GeologicalProcess e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2304-2304 | Earthquake e' uma sub-classe de GeologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2318-2318 | EarthTremor e' uma sub-classe de GeologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2431-2431 | VolcanicEruption e' uma sub-classe de GeologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2627-2627 | CarbonCycle e' uma sub-classe de GeologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2675-2675 | Erosion e' uma sub-classe de GeologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6763-6763 | Landslide e' uma sub-classe de GeologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6769-6769 | LandSubsidence e' uma sub-classe de GeologicalProcess |
![]() |