No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4449-4449 |
Bag est une sous-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4467-4467 |
Box est une sous-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4143-4143 |
ChestOrCabinet est une sous-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4147-4147 |
Coffin est une sous-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4157-4157 |
Compartment est une sous-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4663-4663 |
Envelope est une sous-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4673-4673 |
FluidContainer est une sous-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1647-1647 |
Holster est une sous-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4169-4169 |
Mailbox est une sous-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2311-2311 |
Oven est une sous-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11415-11415 |
Pericardium est une sous-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4510-4510 |
PorousContainer est une sous-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2342-2342 |
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 1114-1114 |
ProjectileShell est une sous-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2337-2337 |
Refrigerator est une sous-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2714-2714 |
SafeContainer est une sous-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2596-2596 |
ShipContainer est une sous-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4668-4668 |
TravelContainer est une sous-classe de Container |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1659-1659 |
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 |
|