No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4454-4454 |
Bag e' uma sub-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4472-4472 |
Box e' uma sub-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4150-4150 |
ChestOrCabinet e' uma sub-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4154-4154 |
Coffin e' uma sub-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4164-4164 |
Compartment e' uma sub-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4668-4668 |
Envelope e' uma sub-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4678-4678 |
FluidContainer e' uma sub-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1654-1654 |
Holster e' uma sub-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4176-4176 |
Mailbox e' uma sub-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2318-2318 |
Oven e' uma sub-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11388-11388 |
Pericardium e' uma sub-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4515-4515 |
PorousContainer e' uma sub-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2349-2349 |
PotOrPan e' uma sub-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5155-5155 |
ProductPackage e' uma sub-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1121-1121 |
ProjectileShell e' uma sub-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2344-2344 |
Refrigerator e' uma sub-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2721-2721 |
SafeContainer e' uma sub-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4673-4673 |
TravelContainer e' uma sub-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1666-1666 |
Wastebasket e' uma sub-classe de 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 |
|