No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4449-4449 |
Bag is a subclass of container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4467-4467 |
Box is a subclass of container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4143-4143 |
Chest or cabinet is a subclass of container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4147-4147 |
Coffin is a subclass of container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4157-4157 |
Compartment is a subclass of container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4663-4663 |
Envelope is a subclass of container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4673-4673 |
Fluid container is a subclass of container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1647-1647 |
Holster is a subclass of container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4169-4169 |
Mailbox is a subclass of container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2311-2311 |
Oven is a subclass of container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11415-11415 |
Pericardial sac is a subclass of container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4510-4510 |
Porous container is a subclass of container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2342-2342 |
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 1114-1114 |
Projectile shell is a subclass of container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2337-2337 |
Refrigerator is a subclass of container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2714-2714 |
Safe container is a subclass of container |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2608-2608 |
Ship container is a subclass of container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4668-4668 |
Travel container is a subclass of container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1659-1659 |
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 |
|