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 |
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. | 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 5546-5546 | Waterfall 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 5656-5656 | River mouth is a subclass of stream water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5673-5673 | Creek is a subclass of stream water area |