| 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 | 有意图过程 是 过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 675-675 | 部署大规模杀伤性武器 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 731-731 | 拆除大规模杀伤性武器 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 257-257 | ListOnSite 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2489-2489 | 疏散 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 446-446 | 躲着 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6618-6618 | 冲压 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7920-7920 | Ceremony 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13118-13118 | 回避 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13859-13859 | 犯罪行为 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15882-15882 | Commenting 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18007-18007 | 挖掘 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18021-18021 | 翻耕 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18094-18094 | 钻孔 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20422-20422 | WorkLeave 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10512-10512 | 有意图的心理过程 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10523-10523 | 娱乐或锻炼 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10535-10535 | 机构性过程 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10850-10850 | 设计 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11139-11139 | 走动 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11169-11169 | 游泳 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11607-11607 | 引导 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12174-12174 | 保存 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12219-12219 | 维护 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12223-12223 | 修理 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12331-12331 | 刺 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12671-12671 | 内容制作 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12813-12813 | 制作 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12874-12874 | 追求 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12923-12923 | 调查 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12999-12999 | 社交 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13385-13385 | 竞争招数 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13553-13553 | 看着 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13627-13627 | 听 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 114-114 | 造型 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1197-1197 | 工程师子流程 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1310-1310 | IT流程 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1167-1167 | UserAction 是 有意图过程 的 subclass |
|
|