| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12834-12834 | Fazer e' uma sub-classe de Criacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12835-12835 | Fazer e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 686-686 | DevelopingWeaponOfMassDestruction e' uma sub-classe de Fazer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 703-703 | DeliveringWeaponOfMassDestruction e' uma sub-classe de Fazer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3276-3276 | Sculpting e' uma sub-classe de Fazer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4624-4624 | Weaving e' uma sub-classe de Fazer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20411-20411 | Copying e' uma sub-classe de Fazer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20788-20788 | Carpentry e' uma sub-classe de Fazer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26313-26313 | Photocopying e' uma sub-classe de Fazer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12846-12846 | Construcao e' uma sub-classe de Fazer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12863-12863 | Manufatura e' uma sub-classe de Fazer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12883-12883 | Cozinhar e' uma sub-classe de Fazer |
|
|