No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4515-4515 | Porous container is a subclass of container |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4488-4488 | Basket is a subclass of porous container |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4526-4526 | Sieve is a subclass of porous container |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4545-4545 | Strainer is a subclass of porous container |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4566-4566 | Colander is a subclass of porous container |