| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14160-14160 | Area Aquatica nao-salgada e' uma sub-classe de Area Aquatica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5473-5473 | River e' uma sub-classe de Area Aquatica nao-salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5624-5624 | Reservoir e' uma sub-classe de Area Aquatica nao-salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5674-5674 | Creek e' uma sub-classe de Area Aquatica nao-salgada |
|
|