Removing
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3031-3032 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11402-11404 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1799-1800 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11400-11400 | 子類 Removing and Transfer |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10958-10958 | 相關的內部概念 Decreasing and Removing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21490-21490 | 子類 中止 and Removing |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6248-6248 | 子類 Amputating and Removing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24084-24084 | 子類 活檢 and Removing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24007-24007 | 子類 Birth and Removing |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1513-1513 | 子類 BleedingAir and Removing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21054-21054 | 子類 割禮 and Removing |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2654-2654 | 子類 森林砍伐 and Removing |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2656-2656 | 子類 清淤 and Removing |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12795-12795 | 子類 Drying and Removing |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2674-2674 | 子類 侵蝕 and Removing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2113-2113 | 子類 Excreting and Removing |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 250-250 | 子類 滲出 and Removing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11804-11804 | 子類 除毛 and Removing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18071-18071 | 子類 收穫 and Removing |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6442-6442 | 子類 Moulting and Removing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11815-11815 | 子類 去皮 and Removing |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2915-2915 | 子類 衛生 and Removing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5563-5563 | 子類 掃 and Removing |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 878-878 | 子類 Thoracentesis and Removing |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11415-11415 | 子類 Uncovering and Removing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5573-5573 | 子類 洗滌 and Removing |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1120-1120 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1457-1457 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1379-1389 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11406-11413 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2162-2175 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6055-6074 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6121-6139 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 425-435 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 631-648 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 954-977 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6412-6423 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6393-6404 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1924-1932 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10924-10931 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15037-15044 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4570-4585 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 686-701 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 703-716 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10009-10022 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8847-8856 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 741-748 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 799-834 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1368-1376 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 943-958 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2523-2531 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 922-936 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6745-6753 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 924-938 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 248-258 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |