FlowRegion(flow region) | airstream, backwash, race, slipstream, wash |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9045-9059 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9043-9043 | 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 9033-9033 | 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 601-601 | 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 9061-9065 |
|