IntentionalProcess(有意图过程) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2930-2931 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10488-10489 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1681-1682 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10486-10486 | 有意图过程 是 过程 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10164-10164 | 自主过程 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18235-18235 | 做梦 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11191-11191 | 地质过程 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10484-10484 | 自然过程 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19983-19983 | 发抖 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11198-11198 | 天气过程 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 422-422 | 开始 的所得值 是 有意图过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 436-436 | 停 的所得值 是 有意图过程 的 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. | Mid-level-ontology.kif 7920-7920 | Ceremony 是 有意图过程 的 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. | Merge.kif 12671-12671 | 内容制作 是 有意图过程 的 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. | WMD.kif 675-675 | 部署大规模杀伤性武器 是 有意图过程 的 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. | Mid-level-ontology.kif 18007-18007 | 挖掘 是 有意图过程 的 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. | Mid-level-ontology.kif 446-446 | 躲着 是 有意图过程 的 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 13118-13118 | 回避 是 有意图过程 的 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. | MilitaryProcesses.kif 2489-2489 | 疏散 是 有意图过程 的 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. | engineering.kif 1310-1310 | IT流程 是 有意图过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10512-10512 | 有意图的心理过程 是 有意图过程 的 subclass |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20488-20488 | 职业 的 1 数量 是 有意图过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4514-4514 | FailureFn 的 1 数量 是 有意图过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Law.kif 369-369 | distrusts 的 3 数量 是 有意图过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7369-7369 | 享受 的 2 数量 是 有意图过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21365-21365 | 有职业 的 2 数量 是 有意图过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1643-1643 | 行业服务类型 的 2 数量 是 有意图过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1661-1661 | 组织服务类型 的 2 数量 是 有意图过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Law.kif 358-358 | trusts 的 3 数量 是 有意图过程 的 subclass |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 336-350 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10404-10410 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10491-10496 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10505-10510 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 526-540 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2732-2738 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 573-588 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 554-571 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 515-524 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14149-14163 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10498-10503 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6447-6459 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30242-30253 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12046-12062 |
|
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. | Dining.kif 711-724 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19828-19837 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2336-2346 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10451-10461 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1084-1092 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 889-898 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5215-5224 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 441-445 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2740-2746 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 239-244 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2832-2839 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1072-1078 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1994-2006 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26250-26260 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27047-27069 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 319-324 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1336-1350 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26695-26701 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16502-16508 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1165-1172 |