| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6393-6404 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11400-11400 | Remover e' uma sub-classe de Transferencia |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 250-250 | Exfiltration e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2113-2113 | Excreting e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5563-5563 | Sweeping e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5573-5573 | Washing e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11804-11804 | HairRemoval e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11815-11815 | Peeling e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18071-18071 | Harvesting e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21054-21054 | Circumision e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21490-21490 | Aborting e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24007-24007 | Nascimento e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24084-24084 | Biopsy e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11415-11415 | Descobrir e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12795-12795 | Secar e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 878-878 | Thoracentesis e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6248-6248 | Amputating e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2654-2654 | Deforestation e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2656-2656 | Dredging e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2674-2674 | Erosion e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2915-2915 | Sanitation e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6442-6442 | Moulting e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1513-1513 | BleedingAir e' uma sub-classe de Remover |
|
|