No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9043-9043 | 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 9033-9033 | 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 |