| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12036-12048 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10508-10508 | 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 2489-2489 | Evacuation e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 446-446 | Dodging e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6617-6617 | Punching e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7919-7919 | Ceremony e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13117-13117 | Ducking e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13858-13858 | CriminalAction e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15881-15881 | Commenting e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18006-18006 | Digging e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18020-18020 | Tilling e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18093-18093 | Drilling e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20421-20421 | WorkLeave e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10534-10534 | Processo Psicologico Intencional e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10545-10545 | Recreacao ou Exercicio e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10557-10557 | Processo Organizacional e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10872-10872 | Designing e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11161-11161 | Ambulating e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11191-11191 | Nadar e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11629-11629 | Guiar e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12196-12196 | Manter e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12241-12241 | Preservar e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12245-12245 | Consertar e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12353-12353 | Cutucar e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12693-12693 | Desenvolvimento de Conteudo e' uma sub-classe de Processo Intencional |
| 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. | Merge.kif 12896-12896 | Perseguir e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12945-12945 | Investigacao e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13021-13021 | Interacao Social e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13407-13407 | Manobra e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13575-13575 | Looking e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13649-13649 | 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 |
|
|