| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4678-4678 | Fluid container is a subclass of container |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2049-2049 | Tub is a subclass of fluid container |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4688-4688 | Bottle is a subclass of fluid container |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4710-4710 | Drinking cup is a subclass of fluid container |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4721-4721 | Swimming pool is a subclass of fluid container |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25277-25277 | Whirlpool tub is a subclass of fluid container |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29487-29487 | Fish tank is a subclass of fluid container |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3577-3577 | Cask is a subclass of fluid container |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 985-985 | Gas tank is a subclass of fluid container |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3315-3315 | Oil pan is a subclass of fluid container |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3584-3584 | Balloon is a subclass of fluid container |
|
|