| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1322-1326 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11399-11399 | Colocar e' uma sub-classe de Transferencia |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 676-676 | DeployingWeaponOfMassDestruction e' uma sub-classe de Colocar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5485-5485 | Concealing e' uma sub-classe de Colocar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5500-5500 | Dressing e' uma sub-classe de Colocar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17887-17887 | Installing e' uma sub-classe de Colocar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17993-17993 | Burying e' uma sub-classe de Colocar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18037-18037 | Entombing e' uma sub-classe de Colocar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19614-19614 | Diluting e' uma sub-classe de Colocar |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11414-11414 | Cobrir e' uma sub-classe de Colocar |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11420-11420 | Inserting e' uma sub-classe de Colocar |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12747-12747 | Molhar e' uma sub-classe de Colocar |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2577-2577 | Planting e' uma sub-classe de Colocar |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2923-2923 | Siltation e' uma sub-classe de Colocar |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2994-2994 | Lubricating e' uma sub-classe de Colocar |
|
|