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