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 | 子類 IntentionalProcess and Process |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10164-10164 | 不相交的 自主過程 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18235-18235 | 不相交的 做夢 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11191-11191 | 不相交的 地質過程 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10484-10484 | 不相交的 自然過程 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19983-19983 | 不相交的 發抖 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11198-11198 | 不相交的 天氣過程 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 422-422 | 範圍子類 開始 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 436-436 | 範圍子類 停 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. | Mid-level-ontology.kif 7920-7920 | 子類 Ceremony 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. | Merge.kif 12671-12671 | 子類 ContentDevelopment 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. | WMD.kif 675-675 | 子類 部署大規模殺傷性武器 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. | Mid-level-ontology.kif 18007-18007 | 子類 挖掘 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. | Mid-level-ontology.kif 446-446 | 子類 躲著 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 13118-13118 | 子類 迴避 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. | MilitaryProcesses.kif 2489-2489 | 子類 疏散 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. | engineering.kif 1310-1310 | 子類 IT流程 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10512-10512 | 子類 IntentionalPsychologicalProcess and IntentionalProcess |
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 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4514-4514 | 域子類 FailureFn, 1 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. | Law.kif 369-369 | 域子類 distrusts, 3 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7369-7369 | 域子類 享受, 2 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21365-21365 | 域子類 有職業, 2 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1643-1643 | 域子類 行業服務類型, 2 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1661-1661 | 域子類 組織服務類型, 2 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. | Law.kif 358-358 | 域子類 trusts, 3 and IntentionalProcess |
antecedent |
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 |
|