| 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 | 子類 流動區域 and Region |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 62-62 | 子類 氣流 and 流動區域 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9032-9032 | 子類 StreamWaterArea and 流動區域 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4943-4943 | 子類 浪潮 and 流動區域 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4931-4931 | 子類 水流 and 流動區域 |
| 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 | 域 流, 1 and 流動區域 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 597-597 | 域 radiusOfMaximumWind, 2 and 流動區域 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9060-9064 |
|
|
|