| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12369-12369 | Colar e' uma sub-classe de Processo Dual |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5598-5598 | Tying e' uma sub-classe de Colar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5607-5607 | Sewing e' uma sub-classe de Colar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5626-5626 | Soldering e' uma sub-classe de Colar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23964-23964 | Fertilisation e' uma sub-classe de Colar |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11526-11526 | Grabbing e' uma sub-classe de Colar |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 61-61 | ApplyingTourniquet e' uma sub-classe de Colar |
|
|