No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22008-22008 |
Blade e' uma sub-classe de CuttingDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18107-18107 |
Drill e' uma sub-classe de CuttingDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21979-21979 |
Knife e' uma sub-classe de CuttingDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18185-18185 |
PaperShredder e' uma sub-classe de CuttingDevice |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6014-6014 |
Planer e' uma sub-classe de CuttingDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18146-18146 |
Saw e' uma sub-classe de CuttingDevice |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18240-18240 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18239-18239 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18238-18238 |
|