No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9043-9043 | 子類 流動區域 and Region |
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 9033-9033 | 子類 StreamWaterArea 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. | Geography.kif 4943-4943 | 子類 浪潮 and 流動區域 |