| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12806-12806 | Criacao e' uma sub-classe de Mudanca Interna |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1197-1197 | DevelopPrograms e' uma sub-classe de Criacao |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1225-1225 | ProduceStudies e' uma sub-classe de Criacao |
| 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. | ComputerInput.kif 2368-2368 | OpeningNewGraphicalWindow e' uma sub-classe de Criacao |
|
|