StreamWaterArea(stream water area) | East_River, Erie_Canal, Fountain_of_Youth, Harlem_River, Nilotic, Old_Faithful, Verrazano_Narrows, affluent, alluvial_cone, alluvial_fan, billabong, branch, channel, confluent, crossing, feeder, flume, fluvial, ford, fountainhead, geyser, gulch, gully, head, headspring, headstream, headwater, hot_spring, midstream, rill, rivulet, run, runnel, stream, streamlet, thalweg, thermal_spring, tidal_river, tidal_stream, tidewater_river, tidewater_stream, tideway, tributary, water_gap, water_system, watercourse, white_water, whitewater |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9061-9061 | Stream water area is disjoint from static water area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9062-9064 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9060-9060 | Stream water area is a subclass of flow region |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9059-9059 | Stream water area is a subclass of water area |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5673-5673 | Creek is a subclass of stream water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5633-5633 | Rapids is a subclass of stream water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5472-5472 | River is a subclass of stream water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5656-5656 | River mouth is a subclass of stream water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5546-5546 | Waterfall is a subclass of stream water area |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 953-953 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1113-1113 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 629-629 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 160-160 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 163-163 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2314-2314 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 581-581 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 197-197 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 650-650 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 164-164 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5533-5542 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5415-5421 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5498-5505 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5489-5496 |
|