|
|
   FlowRegion
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9044-9058 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9042-9042 | Flow region is a subclass of region |
| appearance as argument number 2 |
|
|
| 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 4943-4943 | Tide 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. | domainEnglishFormat.kif 24344-24344 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24343-24343 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24342-24342 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4893-4893 | The number 1 argument of flow is an instance of flow region |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 597-597 | The number 2 argument of radius of maximum wind is an instance of flow region |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9060-9064 |
|
|
|
|