| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12060-12072 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10520-10520 | Processo Intencional e' uma sub-classe de Processo |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 675-675 | DeployingWeaponOfMassDestruction e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 731-731 | DismantlingWeaponOfMassDestruction e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 257-257 | ListOnSite e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2540-2540 | Evacuation e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 439-439 | Dodging e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6612-6612 | Punching e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7947-7947 | Ceremony e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13145-13145 | Ducking e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13886-13886 | CriminalAction e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15909-15909 | Commenting e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18034-18034 | Digging e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18048-18048 | Tilling e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18121-18121 | Drilling e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20449-20449 | WorkLeave e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10546-10546 | Processo Psicologico Intencional e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10557-10557 | Recreacao ou Exercicio e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10569-10569 | Processo Organizacional e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10884-10884 | Designing e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11173-11173 | Ambulating e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11203-11203 | Nadar e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11653-11653 | Guiar e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12220-12220 | Manter e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12265-12265 | Preservar e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12269-12269 | Consertar e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12377-12377 | Cutucar e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12717-12717 | Desenvolvimento de Conteudo e' uma sub-classe de Processo Intencional |
| 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. | Merge.kif 12920-12920 | Perseguir e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12969-12969 | Investigacao e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13045-13045 | Interacao Social e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13431-13431 | Manobra e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13599-13599 | Looking e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13673-13673 | Listening e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 114-114 | Modeling e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1197-1197 | EngineersSubprocess e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1310-1310 | ITProcess e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1167-1167 | UserAction e' uma sub-classe de Processo Intencional |
|
|