| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14329-14329 | Agua e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2959-2959 | Rain e' uma sub-classe de Agua |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8975-8975 | Ice e' uma sub-classe de Agua |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25633-25633 | Steam e' uma sub-classe de Agua |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2730-2730 | FreshWater e' uma sub-classe de Agua |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2743-2743 | GroundWater e' uma sub-classe de Agua |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2820-2820 | SeaWater e' uma sub-classe de Agua |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2847-2847 | BrackishWater e' uma sub-classe de Agua |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 237-237 | PurifiedWater e' uma sub-classe de Agua |
|
|