| 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 | 子類 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 6617-6617 | 子類 沖壓 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7919-7919 | 子類 Ceremony and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13117-13117 | 子類 迴避 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13858-13858 | 子類 犯罪行為 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15881-15881 | 子類 Commenting and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18006-18006 | 子類 挖掘 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18020-18020 | 子類 翻耕 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18093-18093 | 子類 鑽孔 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20421-20421 | 子類 WorkLeave and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10534-10534 | 子類 IntentionalPsychologicalProcess and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10545-10545 | 子類 RecreationOrExercise and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10557-10557 | 子類 OrganizationalProcess and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10872-10872 | 子類 設計 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11161-11161 | 子類 走動 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11191-11191 | 子類 Swimming and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11629-11629 | 子類 Guiding and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12196-12196 | 子類 Keeping and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12241-12241 | 子類 Maintaining and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12245-12245 | 子類 Repairing and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12353-12353 | 子類 Poking and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12693-12693 | 子類 ContentDevelopment and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12835-12835 | 子類 Making and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12896-12896 | 子類 Pursuing and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12945-12945 | 子類 Investigating and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13021-13021 | 子類 SocialInteraction and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13407-13407 | 子類 Maneuver and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13575-13575 | 子類 看著 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13649-13649 | 子類 聽 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 |
|
|