| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4025-4038 |
|
| 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. | WMD.kif 720-720 | ResearchingWeaponOfMassDestruction e' uma sub-classe de Investigacao |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 674-674 | ReconnaissanceOperation e' uma sub-classe de Investigacao |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1891-1891 | OffensiveInformationOperation e' uma sub-classe de Investigacao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13931-13931 | Espionage e' uma sub-classe de Investigacao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13947-13947 | Polling e' uma sub-classe de Investigacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12971-12971 | Experimenting e' uma sub-classe de Investigacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12976-12976 | Processo de Diagnostico e' uma sub-classe de Investigacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12987-12987 | Searching e' uma sub-classe de Investigacao |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5343-5343 | GramStaining e' uma sub-classe de Investigacao |
|
|