| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12014-12026 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10486-10486 | 子類 IntentionalProcess and Process |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 675-675 | 子類 部署大規模殺傷性武器 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 731-731 | 子類 拆除大規模殺傷性武器 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 257-257 | 子類 ListOnSite and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2489-2489 | 子類 疏散 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 446-446 | 子類 躲著 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6618-6618 | 子類 沖壓 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7920-7920 | 子類 Ceremony and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13118-13118 | 子類 迴避 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13859-13859 | 子類 犯罪行為 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15882-15882 | 子類 Commenting and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18007-18007 | 子類 挖掘 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18021-18021 | 子類 翻耕 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18094-18094 | 子類 鑽孔 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20422-20422 | 子類 WorkLeave and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10512-10512 | 子類 IntentionalPsychologicalProcess and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10523-10523 | 子類 RecreationOrExercise and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10535-10535 | 子類 OrganizationalProcess and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10850-10850 | 子類 設計 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11139-11139 | 子類 走動 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11169-11169 | 子類 Swimming and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11607-11607 | 子類 Guiding and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12174-12174 | 子類 Keeping and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12219-12219 | 子類 Maintaining and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12223-12223 | 子類 Repairing and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12331-12331 | 子類 Poking and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12671-12671 | 子類 ContentDevelopment and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12813-12813 | 子類 Making and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12874-12874 | 子類 Pursuing and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12923-12923 | 子類 Investigating and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12999-12999 | 子類 SocialInteraction and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13385-13385 | 子類 Maneuver and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13553-13553 | 子類 看著 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13627-13627 | 子類 聽 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 114-114 | 子類 造型 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1197-1197 | 子類 工程師子流程 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1310-1310 | 子類 IT流程 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1167-1167 | 子類 UserAction and IntentionalProcess |
|
|