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 11426-11428 | |
(documentation Removing JapaneseLanguage "何かがある場所から取り除かれる Process の Class。 注:削除されたものと場所は、それぞれ CaseRoles patient と origin で指定される。") | japanese_format.kif 1799-1800 | |
(subclass Removing Transfer) | Merge.kif 11424-11424 | 除却 は 移動 の subclass では %n |
appearance as argument number 2 |
(relatedInternalConcept Decreasing Removing) | Merge.kif 10970-10970 | 減少 は 除却 に internally 関連して %n |
(subclass Aborting Removing) | Mid-level-ontology.kif 21518-21518 | Aborting は 除却 の subclass では %n |
(subclass Amputating Removing) | Medicine.kif 6248-6248 | Amputating は 除却 の subclass では %n |
(subclass Biopsy Removing) | Mid-level-ontology.kif 24142-24142 | Biopsy は 除却 の subclass では %n |
(subclass Birth Removing) | Mid-level-ontology.kif 24065-24065 | 出生 は 除却 の subclass では %n |
(subclass BleedingAir Removing) | Cars.kif 1513-1513 | BleedingAir は 除却 の subclass では %n |
(subclass Circumision Removing) | Mid-level-ontology.kif 21082-21082 | Circumision は 除却 の subclass では %n |
(subclass Deforestation Removing) | Geography.kif 2654-2654 | Deforestation は 除却 の subclass では %n |
(subclass Dredging Removing) | Geography.kif 2656-2656 | Dredging は 除却 の subclass では %n |
(subclass Drying Removing) | Merge.kif 12819-12819 | 乾燥 は 除却 の subclass では %n |
(subclass Erosion Removing) | Geography.kif 2674-2674 | Erosion は 除却 の subclass では %n |
(subclass Excreting Removing) | Mid-level-ontology.kif 2106-2106 | Excreting は 除却 の subclass では %n |
(subclass Exfiltration Removing) | MilitaryProcesses.kif 250-250 | Exfiltration は 除却 の subclass では %n |
(subclass HairRemoval Removing) | Mid-level-ontology.kif 11832-11832 | HairRemoval は 除却 の subclass では %n |
(subclass Harvesting Removing) | Mid-level-ontology.kif 18099-18099 | Harvesting は 除却 の subclass では %n |
(subclass Moulting Removing) | Geography.kif 6442-6442 | Moulting は 除却 の subclass では %n |
(subclass Peeling Removing) | Mid-level-ontology.kif 11843-11843 | Peeling は 除却 の subclass では %n |
(subclass Sanitation Removing) | Geography.kif 2915-2915 | Sanitation は 除却 の subclass では %n |
(subclass Sweeping Removing) | Mid-level-ontology.kif 5558-5558 | Sweeping は 除却 の subclass では %n |
(subclass Thoracentesis Removing) | Medicine.kif 878-878 | Thoracentesis は 除却 の subclass では %n |
(subclass Uncovering Removing) | Merge.kif 11439-11439 | 除覆 は 除却 の subclass では %n |
(subclass Washing Removing) | Mid-level-ontology.kif 5568-5568 | Washing は 除却 の subclass では %n |
(termFormat ChineseLanguage Removing "移除") | chinese_format.kif 1120-1120 | |
(termFormat EnglishLanguage Removing "removing") | english_format.kif 1457-1457 | |
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 1379-1389 | |
(=> (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 11430-11437 |
consequent |