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 11380-11382 | |
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 11378-11378 | 移除 是 转移 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10936-10936 | 减少 和 移除 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21491-21491 | 中止 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6248-6248 | Amputating 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24085-24085 | 活检 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24008-24008 | 出生 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1513-1513 | BleedingAir 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21055-21055 | 割礼 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2654-2654 | 森林砍伐 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2656-2656 | 清淤 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12773-12773 | 烘干 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2674-2674 | 侵蚀 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2113-2113 | Excreting 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 250-250 | 渗出 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11805-11805 | 除毛 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18072-18072 | 收获 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6442-6442 | Moulting 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11816-11816 | 去皮 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2915-2915 | 卫生 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5564-5564 | 扫 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 878-878 | Thoracentesis 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11393-11393 | 掀开 是 移除 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5574-5574 | 洗涤 是 移除 的 subclass |
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 11384-11391 |
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 6056-6075 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6122-6140 |
|
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 10925-10932 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15038-15045 | |
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 10010-10023 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8848-8857 | |
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 6746-6754 | |
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 |