| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9042-9042 | FlowRegion e' uma sub-classe de Regiao |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 62-62 | AirStream e' uma sub-classe de FlowRegion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9032-9032 | Area aquatica em movimento e' uma sub-classe de FlowRegion |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4931-4931 | WaterCurrent e' uma sub-classe de FlowRegion |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4943-4943 | Tide e' uma sub-classe de FlowRegion |
|
|