No TPTP formula. May not be expressible in strict first order. | Merge.kif 14138-14138 | Fresh water area is a subclass of water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5473-5473 | River is a subclass of fresh water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5624-5624 | Reservoir is a subclass of fresh water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5674-5674 | Creek is a subclass of fresh water area |