No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10936-10936 |
Diminuir e' relacionado internamente por SUMO a Remover |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21491-21491 |
Aborting 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. |
Mid-level-ontology.kif 24085-24085 |
Biopsy e' uma sub-classe de Remover |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24008-24008 |
Nascimento 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 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21055-21055 |
Circumision 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. |
Merge.kif 12773-12773 |
Secar 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. |
Mid-level-ontology.kif 2113-2113 |
Excreting e' uma sub-classe de Remover |
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 11805-11805 |
HairRemoval e' uma sub-classe de Remover |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18072-18072 |
Harvesting 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. |
Mid-level-ontology.kif 11816-11816 |
Peeling 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. |
Mid-level-ontology.kif 5564-5564 |
Sweeping 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. |
Merge.kif 11393-11393 |
Descobrir e' uma sub-classe de Remover |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5574-5574 |
Washing e' uma sub-classe de Remover |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1120-1120 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1457-1457 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |