| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4307-4307 | Holder e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4315-4315 | Saddle e' uma sub-classe de Holder |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4422-4422 | Tray e' uma sub-classe de Holder |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4426-4426 | Dish e' uma sub-classe de Holder |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4439-4439 | Container e' uma sub-classe de Holder |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4637-4637 | TrapOrCage e' uma sub-classe de Holder |
|
|