| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12858-12858 | Fazer e' uma sub-classe de Criacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12859-12859 | 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 3269-3269 | Sculpting e' uma sub-classe de Fazer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4619-4619 | Weaving e' uma sub-classe de Fazer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20439-20439 | Copying e' uma sub-classe de Fazer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20816-20816 | Carpentry e' uma sub-classe de Fazer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26358-26358 | Photocopying e' uma sub-classe de Fazer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12870-12870 | Construcao e' uma sub-classe de Fazer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12887-12887 | Manufatura e' uma sub-classe de Fazer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12907-12907 | Cozinhar e' uma sub-classe de Fazer |
|
|