No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9042-9042 | Flow region is a subclass of region |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 62-62 | Air stream is a subclass of flow region |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9032-9032 | Stream water area is a subclass of flow region |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4931-4931 | Water current is a subclass of flow region |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4943-4943 | Tide is a subclass of flow region |
![]() |