Removing | ![]() |
appearance as argument number 1 |
![]() |
(documentation Removing ChineseLanguage "这是把一些东西从一个位置拿走的 Process Class。注: 可以用 CaseRole 的 patient 和origin 来分别指明要移走的东西和它的位置。") | chinese_format.kif 3031-3032 | |
(documentation Removing EnglishLanguage "The Class of Processes where something is taken away from a location. Note that the thing removed and the location are specified with the CaseRoles patient and origin, respectively.") | Merge.kif 11515-11517 | |
(documentation Removing JapaneseLanguage "何かがある場所から取り除かれる Process の Class。 注:削除されたものと場所は、それぞれ CaseRoles patient と origin で指定される。") | japanese_format.kif 1799-1800 | |
(subclass Removing Transfer) | Merge.kif 11513-11513 | 子類 Removing and Transfer |
appearance as argument number 2 |
![]() |
(relatedInternalConcept Decreasing Removing) | Merge.kif 11059-11059 | 相關的內部概念 Decreasing and Removing |
(subclass Aborting Removing) | Mid-level-ontology.kif 23108-23108 | 子類 中止 and Removing |
(subclass Amputating Removing) | Medicine.kif 6265-6265 | 子類 Amputating and Removing |
(subclass Biopsy Removing) | Mid-level-ontology.kif 25733-25733 | 子類 活檢 and Removing |
(subclass Birth Removing) | Mid-level-ontology.kif 25656-25656 | 子類 Birth and Removing |
(subclass BleedingAir Removing) | Cars.kif 1513-1513 | 子類 BleedingAir and Removing |
(subclass Circumision Removing) | Mid-level-ontology.kif 22672-22672 | 子類 割禮 and Removing |
(subclass Corrosion Removing) | Transportation.kif 4253-4253 | 子類 Corrosion and Removing |
(subclass Deforestation Removing) | Geography.kif 2642-2642 | 子類 森林砍伐 and Removing |
(subclass Dredging Removing) | Geography.kif 2644-2644 | 子類 清淤 and Removing |
(subclass Drying Removing) | Merge.kif 12912-12912 | 子類 Drying and Removing |
(subclass Erosion Removing) | Geography.kif 2662-2662 | 子類 侵蝕 and Removing |
(subclass Excreting Removing) | Mid-level-ontology.kif 2576-2576 | 子類 Excreting and Removing |
(subclass Exfiltration Removing) | MilitaryProcesses.kif 250-250 | 子類 滲出 and Removing |
(subclass HairRemoval Removing) | Mid-level-ontology.kif 13136-13136 | 子類 除毛 and Removing |
(subclass Harvesting Removing) | Mid-level-ontology.kif 19643-19643 | 子類 收穫 and Removing |
(subclass Moulting Removing) | Geography.kif 6512-6512 | 子類 Moulting and Removing |
(subclass Peeling Removing) | Mid-level-ontology.kif 13147-13147 | 子類 去皮 and Removing |
(subclass Sanitation Removing) | Geography.kif 2903-2903 | 子類 衛生 and Removing |
(subclass Sweeping Removing) | Mid-level-ontology.kif 6501-6501 | 子類 掃 and Removing |
(subclass Thoracentesis Removing) | Medicine.kif 869-869 | 子類 Thoracentesis and Removing |
(subclass Uncovering Removing) | Merge.kif 11528-11528 | 子類 Uncovering and Removing |
(subclass Washing Removing) | Mid-level-ontology.kif 6511-6511 | 子類 洗滌 and Removing |
(termFormat ChineseLanguage Removing "移除") | chinese_format.kif 1120-1120 | 子類 洗滌 and Removing |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
(=> (and (instance ?FILTER AbsoluteFilter) (instance ?REMOVE Removing) (origin ?REMOVE ?GAS) (instance ?GAS GasMixture) (patient ?REMOVE ?PARTICLE) (attribute ?PARTICLE Solid) (instrument ?REMOVE ?FILTER)) (not (part ?PARTICLE ?GAS))) |
MilitaryDevices.kif 1536-1546 | |
(=> (and (instance ?REMOVE Removing) (origin ?REMOVE ?PLACE) (patient ?REMOVE ?OBJ)) (and (holdsDuring (BeginFn (WhenFn ?REMOVE)) (located ?OBJ ?PLACE)) (holdsDuring (EndFn (WhenFn ?REMOVE)) (not (located ?OBJ ?PLACE))))) |
Merge.kif 11519-11526 |
consequent |
![]() |
![]() |
![]() |