No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4444-4444 | Container is a subclass of holder |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1121-1121 | Projectile shell is a subclass of container |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1654-1654 | Holster is a subclass of container |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1666-1666 | Wastebasket is a subclass of container |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2318-2318 | Oven is a subclass of container |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2344-2344 | Refrigerator is a subclass of container |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2349-2349 | Pot or pan is a subclass of container |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2721-2721 | Safe container is a subclass of container |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4150-4150 | Chest or cabinet is a subclass of container |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4154-4154 | Coffin is a subclass of container |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4164-4164 | Compartment is a subclass of container |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4176-4176 | Mailbox is a subclass of container |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4454-4454 | Bag is a subclass of container |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4472-4472 | Box is a subclass of container |
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 4668-4668 | Envelope is a subclass of container |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4673-4673 | Travel container is a subclass of container |
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 11388-11388 | Pericardial sac is a subclass of container |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5155-5155 | Product package is a subclass of container |