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 25276-25276 | Whirlpool tub is a subclass of fluid container |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29475-29475 | 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 3323-3323 | Oil pan is a subclass of fluid container |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3592-3592 | Balloon is a subclass of fluid container |