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 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 4668-4668 |
Envelope 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 1654-1654 |
Holster 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 2318-2318 |
Oven 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. |
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 2349-2349 |
Pot or pan 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 |
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 2344-2344 |
Refrigerator 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 4673-4673 |
Travel container 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. |
domainEnglishFormat.kif 16896-16896 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16895-16895 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16894-16894 |
|