TreeView Knowledge Base Browser

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 11380-11382
(documentation Removing JapaneseLanguage "何かがある場所から取り除かれる Process の Class。注：削除されたものと場所は、それぞれ CaseRoles patient と origin で指定される。")	japanese_format.kif 1799-1800
(subclass Removing Transfer)	Merge.kif 11378-11378	Removing ist eine teilkategorie von Transfer

appearance as argument number 2

(relatedInternalConcept Decreasing Removing)	Merge.kif 10936-10936	Decreasing ist innerlich verwandt mit Removing %n{nicht}
(subclass Aborting Removing)	Mid-level-ontology.kif 21491-21491	Aborting ist eine teilkategorie von Removing
(subclass Amputating Removing)	Medicine.kif 6248-6248	Amputating ist eine teilkategorie von Removing
(subclass Biopsy Removing)	Mid-level-ontology.kif 24085-24085	Biopsy ist eine teilkategorie von Removing
(subclass Birth Removing)	Mid-level-ontology.kif 24008-24008	Birth ist eine teilkategorie von Removing
(subclass BleedingAir Removing)	Cars.kif 1513-1513	BleedingAir ist eine teilkategorie von Removing
(subclass Circumision Removing)	Mid-level-ontology.kif 21055-21055	Circumision ist eine teilkategorie von Removing
(subclass Deforestation Removing)	Geography.kif 2654-2654	Deforestation ist eine teilkategorie von Removing
(subclass Dredging Removing)	Geography.kif 2656-2656	Dredging ist eine teilkategorie von Removing
(subclass Drying Removing)	Merge.kif 12773-12773	Drying ist eine teilkategorie von Removing
(subclass Erosion Removing)	Geography.kif 2674-2674	Erosion ist eine teilkategorie von Removing
(subclass Excreting Removing)	Mid-level-ontology.kif 2113-2113	Excreting ist eine teilkategorie von Removing
(subclass Exfiltration Removing)	MilitaryProcesses.kif 250-250	Exfiltration ist eine teilkategorie von Removing
(subclass HairRemoval Removing)	Mid-level-ontology.kif 11805-11805	HairRemoval ist eine teilkategorie von Removing
(subclass Harvesting Removing)	Mid-level-ontology.kif 18072-18072	Harvesting ist eine teilkategorie von Removing
(subclass Moulting Removing)	Geography.kif 6442-6442	Moulting ist eine teilkategorie von Removing
(subclass Peeling Removing)	Mid-level-ontology.kif 11816-11816	Peeling ist eine teilkategorie von Removing
(subclass Sanitation Removing)	Geography.kif 2915-2915	Sanitation ist eine teilkategorie von Removing
(subclass Sweeping Removing)	Mid-level-ontology.kif 5564-5564	Sweeping ist eine teilkategorie von Removing
(subclass Thoracentesis Removing)	Medicine.kif 878-878	Thoracentesis ist eine teilkategorie von Removing
(subclass Uncovering Removing)	Merge.kif 11393-11393	Uncovering ist eine teilkategorie von Removing
(subclass Washing Removing)	Mid-level-ontology.kif 5574-5574	Washing ist eine teilkategorie von Removing
(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	Wenn Object ist ein fall von AbsoluteFilter %n{nicht} und Process ist ein fall von Removing %n{nicht} und Process beginnet an Object %n{nicht} und Object ist ein fall von GasMixture %n{nicht} und Object ist ein patient von Process %n{nicht} und Solid ist ein attribut von Object %n{nicht} und Object ist ein instrument fuer Process %n{nicht}, dann Object ist ein teil von Object nicht
(=> (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 11384-11391	Wenn Process ist ein fall von Removing %n{nicht} und Process beginnet an Object %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity befindet sich an %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und Entity befindet sich an nicht haelt waehrend das ende von die zeit des Bestehens von Process %n{nicht}

consequent

(=> (and (instance ?ANI Animal) (instance ?D DiseaseOrSyndrome) (not (attribute ?ANI ?D))) (exists (?P ?W) (and (instance ?P BiologicalProcess) (instance ?P Removing) (origin ?P ?ANI) (instance ?W Sewage) (agent ?P ?ANI) (objectTransferred ?P ?W))))	Mid-level-ontology.kif 2162-2175	Wenn AutonomousAgent ist ein fall von Animal %n{nicht} und Attribute ist ein fall von DiseaseOrSyndrome %n{nicht} und Attribute ist ein attribut von AutonomousAgent nicht, dann es gibt Transfer und Object um Transfer ist ein fall von BiologicalProcess %n{nicht} und Transfer ist ein fall von Removing %n{nicht} und Transfer beginnet an AutonomousAgent %n{nicht} und Object ist ein fall von Sewage %n{nicht} und Transfer ist der agent von AutonomousAgent %n{nicht} und objectTransferred Transfer and ** Object
(=> (and (instance ?C Coughing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?L ?O ?T) (and (instance ?L Lung) (instance ?T Throat) (instance ?O Object) (instance ?R Removing) (part ?L ?H) (part ?T ?H) (objectTransferred ?R ?O) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (or (located ?O ?T) (located ?O ?L)))))))	Mid-level-ontology.kif 6056-6075	Wenn Process ist ein fall von Coughing %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann Process hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Lung %n{nicht} und entity ist ein fall von Throat %n{nicht} und entity ist ein fall von Object %n{nicht} und entity ist ein fall von Removing %n{nicht} und entity ist ein teil von AutonomousAgent %n{nicht} und entity ist ein teil von AutonomousAgent %n{nicht} und objectTransferred entity and entity und entity befindet sich an %n{nicht} oder entity befindet sich an %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Process %n{nicht} %n{nicht}
(=> (and (instance ?C Sneezing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?N ?NOSE ?O) (and (instance ?N NasalCavity) (instance ?NOSE Nose) (equal ?NOSE (HoleHostFn ?N)) (instance ?O Object) (instance ?R Removing) (part ?NOSE ?H) (objectTransferred ?R ?O) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (located ?O ?N))))))	Mid-level-ontology.kif 6122-6140	Wenn Process ist ein fall von Sneezing %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann Process hat Zweck von es gibt entity, entity,, , entityOSE, and und entity um entity ist ein fall von NasalCavity %n{nicht} und entityOSE ist ein fall von Nose %n{nicht} und entityOSE ist gleich HoleHostFn entity %n{nicht} und entity ist ein fall von Object %n{nicht} und entity ist ein fall von Removing %n{nicht} und entityOSE ist ein teil von AutonomousAgent %n{nicht} und objectTransferred entity and entity und entity befindet sich an %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Process %n{nicht} %n{nicht}
(=> (and (instance ?F Food) (attribute ?F DecafAttribute) (piece ?C ?F) (instance ?C Caffeine)) (exists (?R) (and (instance ?R Removing) (destination ?R ?F) (patient ?R ?C))))	Food.kif 425-435	Wenn Substance ist ein fall von Food %n{nicht} und DecafAttribute ist ein attribut von Substance %n{nicht} und Substance ist ein stueck von Substance %n{nicht} und Substance ist ein fall von Caffeine %n{nicht}, dann es gibt Process um Process ist ein fall von Removing %n{nicht} und Process endet an Substance %n{nicht} und Substance ist ein patient von ** Process %n{nicht}
(=> (and (instance ?ORG Organization) (attribute ?ORG Mining)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Removing) (patient ?EV ?THING) (instance ?THING PureSubstance) (attribute ?THING Solid) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 631-648	Wenn Collection ist ein fall von Organization %n{nicht} und Mining ist ein attribut von Collection %n{nicht}, dann es gibt AutonomousAgent und Process um Process ist ein Mitglied von Collection %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und es gibt Object, Process2, and und AutonomousAgent2 um AutonomousAgent ist ein fall von Removing %n{nicht} und Object ist ein patient von AutonomousAgent %n{nicht} und Object ist ein fall von PureSubstance %n{nicht} und Solid ist ein attribut von Object %n{nicht} und Process2 ist ein Mitglied von Collection %n{nicht} und AutonomousAgent2 ist ein fall von Selling %n{nicht} und AutonomousAgent2 ist der agent von Process2 %n{nicht} und Object ist ein patient von ** AutonomousAgent2 %n{nicht}
(=> (and (instance ?ORG Organization) (attribute ?ORG Utilities)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (or (instance ?EV Removing) (instance ?THING Sewage)) (patient ?EV ?THING) (or (instance ?THING Electron) (instance ?THING Water) (and (instance ?THING PureSubstance) (capability Combustion patient ?THING))) (member ?MEM2 ?ORG) (instance ?EV2 FinancialTransaction) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 954-977	Wenn Collection ist ein fall von Organization %n{nicht} und Utilities ist ein attribut von Collection %n{nicht}, dann es gibt AutonomousAgent und Process um Process ist ein Mitglied von Collection %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und es gibt Object, Process2, and und AutonomousAgent2 um AutonomousAgent ist ein fall von Removing %n{nicht} oder Object ist ein fall von Sewage %n{nicht} und Object ist ein patient von AutonomousAgent %n{nicht} und Object ist ein fall von Electron %n{nicht} oder Object ist ein fall von Water %n{nicht} oder Object ist ein fall von PureSubstance %n{nicht} und Object ist faehig %n{nicht}, in der Rolle patient Combustion zu tun und Process2 ist ein Mitglied von Collection %n{nicht} und AutonomousAgent2 ist ein fall von FinancialTransaction %n{nicht} und AutonomousAgent2 ist der agent von Process2 %n{nicht} und Object ist ein patient von AutonomousAgent2 %n{nicht}
(=> (and (instance ?REL SheddingPart) (?REL ?O ?P) (instance ?O Organism) (instance ?P AnatomicalStructure) (part ?P ?O)) (exists (?R) (and (instance ?R Removing) (origin ?R ?O) (patient ?R ?P))))	Geography.kif 6412-6423	Wenn Entity ist ein fall von SheddingPart %n{nicht} und Entity Object and Object und Object ist ein fall von Organism %n{nicht} und Object ist ein fall von AnatomicalStructure %n{nicht} und Object ist ein teil von Object %n{nicht}, dann es gibt Process um Process ist ein fall von Removing %n{nicht} und Process beginnet an Object %n{nicht} und Object ist ein patient von Process %n{nicht}
(=> (and (sheddingLeaves ?T ?L) (instance ?T DeciduousTree) (instance ?L PlantLeaf)) (exists (?SHED ?S) (and (subclass ?SHED Removing) (frequency ?SHED YearDuration) (instance ?S ?SHED) (origin ?S ?T) (patient ?S ?L))))	Geography.kif 6393-6404	Wenn sheddingLeaves Plant and PlantLeaf und Plant ist ein fall von DeciduousTree %n{nicht} und PlantLeaf ist ein fall von PlantLeaf %n{nicht}, dann es gibt Process und Process um Process ist eine teilkategorie von Removing und Process gescheit alle YearDuration und Process ist ein fall von Process %n{nicht} und Process beginnet an Plant %n{nicht} und PlantLeaf ist ein patient von ** Process %n{nicht}
(=> (instance ?B BrushOrComb) (hasPurpose ?B (exists (?S) (and (or (instance ?S Removing) (instance ?S SurfaceChange)) (instrument ?S ?B)))))	Mid-level-ontology.kif 1924-1932	Wenn Physical ist ein fall von BrushOrComb %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von Removing %n{nicht} oder entity ist ein fall von SurfaceChange %n{nicht} und Physical ist ein instrument fuer ** entity %n{nicht} %n{nicht}
(=> (instance ?BEVERAGE DistilledAlcoholicBeverage) (exists (?REMOVE ?WATER) (and (instance ?REMOVE Removing) (patient ?REMOVE ?WATER) (instance ?WATER FreshWater) (origin ?REMOVE ?BEVERAGE))))	Mid-level-ontology.kif 10925-10932	Wenn Object ist ein fall von DistilledAlcoholicBeverage %n{nicht}, dann es gibt Process und Entity um Process ist ein fall von Removing %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von FreshWater %n{nicht} und Process beginnet an Object %n{nicht}
(=> (instance ?C Chimney) (hasPurpose ?C (exists (?S ?R) (and (instance ?S Smoke) (instance ?R Removing) (instrument ?R ?C)))))	Mid-level-ontology.kif 15038-15045	Wenn Physical ist ein fall von Chimney %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Smoke %n{nicht} und entity ist ein fall von Removing %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} %n{nicht}
(=> (instance ?C Colander) (hasPurpose ?C (exists (?MIX ?SUB ?SOLID ?REMOVE) (and (instance ?MIX Mixture) (instance ?SUB Substance) (part ?SUB ?MIX) (attribute ?SUB Liquid) (instance ?REMOVE Removing) (patient ?REMOVE ?SUB) (instance ?SOLID Substance) (part ?SOLID ?MIX) (attribute ?SOLID Solid) (result ?REMOVE ?SOLID) (instrument ?REMOVE ?C)))))	Mid-level-ontology.kif 4570-4585	Wenn Physical ist ein fall von Colander %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Mixture %n{nicht} und entity ist ein fall von Substance %n{nicht} und entity ist ein teil von entity %n{nicht} und Liquid ist ein attribut von entity %n{nicht} und entity ist ein fall von Removing %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein fall von Substance %n{nicht} und entity ist ein teil von entity %n{nicht} und Solid ist ein attribut von entity %n{nicht} und entity ist ein resultat von entity %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} %n{nicht}
(=> (instance ?CM CoffeeMaking) (exists (?R ?LM ?CG ?W ?F ?C) (and (subProcess ?R ?CM) (instance ?R Removing) (origin ?R ?LM) (instance ?LM LiquidMixture) (part ?W ?LM) (instance ?W DrinkingWater) (part ?CG ?LM) (instance ?CG CoffeeGrind) (instrument ?R ?F) (instance ?F Filter) (result ?R ?C) (instance ?C Coffee))))	Food.kif 686-701	Wenn Process ist ein fall von CoffeeMaking %n{nicht}, dann es gibt Process, Object,, , Object,, , Object,, , Object, and und Entity um Process ist ein subProzess von Process und Process ist ein fall von Removing %n{nicht} und Process beginnet an Object %n{nicht} und Object ist ein fall von LiquidMixture %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von DrinkingWater %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von CoffeeGrind %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein fall von Filter %n{nicht} und Entity ist ein resultat von Process %n{nicht} und ** Entity ist ein fall von Coffee %n{nicht}
(=> (instance ?CM CoffeeMaking) (holdsDuring ?CM (exists (?LM ?S ?R) (and (instance ?LM LiquidMotion) (instance ?S Soaking) (instance ?R Removing) (before (BeginFn (WhenFn ?LM)) (BeginFn (WhenFn ?S))) (before (BeginFn (WhenFn ?S)) (BeginFn (WhenFn ?R)))))))	Food.kif 703-716	Wenn TimePosition ist ein fall von CoffeeMaking %n{nicht}, dann es gibt entity, entity, and und entity um entity ist ein fall von LiquidMotion %n{nicht} und entity ist ein fall von Soaking %n{nicht} und entity ist ein fall von Removing %n{nicht} und der anfang von die zeit des Bestehens von entity geschieht vor der anfang von die zeit des Bestehens von entity %n{nicht} und der anfang von die zeit des Bestehens von entity geschieht vor der anfang von die zeit des Bestehens von entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=> (instance ?D Diuretic) (hasPurpose ?D (exists (?R ?L ?H ?LOC) (and (instance ?H Human) (instance ?R Removing) (instance ?L Liquid) (experiencer ?R ?H) (moves ?R ?L) (origin ?L ?H) (not (contains ?H ?LOC)) (destination ?R ?LOC)))))	Mid-level-ontology.kif 10010-10023	Wenn Physical ist ein fall von Diuretic %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entityOC um entity ist ein fall von Human %n{nicht} und entity ist ein fall von Removing %n{nicht} und entity ist ein fall von Liquid %n{nicht} und entity erfaehrt entity %n{nicht} und moves entity and entity und entity beginnet an entity %n{nicht} und contains entity and entityOC und entity endet an ** entityOC %n{nicht} %n{nicht}
(=> (instance ?DETERGENT Detergent) (hasPurpose ?DETERGENT (exists (?REMOVE ?SUBSTANCE ?SURFACE ?OBJECT) (and (instance ?REMOVE Removing) (instance ?SUBSTANCE Substance) (patient ?REMOVE ?SUBSTANCE) (origin ?REMOVE ?SURFACE) (surface ?SURFACE ?OBJECT)))))	Mid-level-ontology.kif 8848-8857	Wenn Physical ist ein fall von Detergent %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Removing %n{nicht} und entity ist ein fall von Substance %n{nicht} und entity ist ein patient von entity %n{nicht} und entity beginnet an entity %n{nicht} und entity ist eine flaeche von ** entity %n{nicht} %n{nicht}
(=> (instance ?DISMANTLE DismantlingWeaponOfMassDestruction) (exists (?PROCESS) (and (subProcess ?PROCESS ?DISMANTLE) (or (instance ?PROCESS Destruction) (instance ?PROCESS Removing)))))	WMD.kif 741-748	Wenn Process ist ein fall von DismantlingWeaponOfMassDestruction %n{nicht}, dann es gibt Process um Process ist ein subProzess von Process und Process ist ein fall von Destruction %n{nicht} oder Process ist ein fall von Removing %n{nicht}
(=> (instance ?EM EspressoMaking) (holdsDuring ?EM (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R) (and (instance ?H Heating) (patient ?H ?W) (measure ?W (MeasureFn ?V Liter)) (approximateValue ?V 0.03) (holdsDuring (EndFn (WhenFn ?H)) (and (measure ?W (MeasureFn ?T CelsiusDegree)) (approximateValue ?T 90))) (instance ?LM LiquidMotion) (patient ?LM ?W) (holdsDuring ?LM (and (measure ?W (MeasureFn ?P (KiloFn Pascal))) (approximateValue ?P 900))) (destination ?LM ?COLL) (instance ?COLL Collection) (measure ?COLL (MeasureFn ?K Gram)) (approximateValue ?K 7.5) (member ?COLL ?CG) (instance ?CG CoffeeGrind) (attribute ?CG FineGrind) (located ?COLL ?F) (instance ?F Filter) (instance ?R Removing) (instrument ?R ?F) (patient ?R ?COLL) (temporallyBetween (EndFn (WhenFn ?H)) (EndFn (WhenFn ?LM)) (EndFn (WhenFn ?R)))))))	Food.kif 799-834	Wenn TimePosition ist ein fall von EspressoMaking %n{nicht}, dann es gibt entity, entity,, , entity,, , entity,, , entity,, , entity,, , entity,, , entity,, , entity,, , entity, and und entity um entity ist ein fall von Heating %n{nicht} und entity ist ein patient von entity %n{nicht} und das mass von entity ist entity Liter(s) %n{nicht} und approximateValue entity and 0.03 und das mass von entity ist entity CelsiusDegree(s) %n{nicht} und approximateValue entity and 90 haelt waehrend das ende von die zeit des Bestehens von entity %n{nicht} und entity ist ein fall von LiquidMotion %n{nicht} und entity ist ein patient von entity %n{nicht} und das mass von entity ist entity 1 tausend Pascal(s) %n{nicht} und approximateValue entity and 900 haelt waehrend entity %n{nicht} und entity endet an entity %n{nicht} und entity ist ein fall von Collection %n{nicht} und das mass von entity ist entity Gram(s) %n{nicht} und approximateValue entity and 7.5 und entity ist ein Mitglied von entity %n{nicht} und entity ist ein fall von CoffeeGrind %n{nicht} und FineGrind ist ein attribut von entity %n{nicht} und entity befindet sich an %n{nicht} und entity ist ein fall von Filter %n{nicht} und entity ist ein fall von Removing %n{nicht} und entity ist ein instrument fuer entity %n{nicht} und entity ist ein patient von entity %n{nicht} und das ende von die zeit des Bestehens von entity ist zwischen das ende von die zeit des Bestehens von entity und das ende von die zeit des Bestehens von entity haelt waehrend ** TimePosition %n{nicht}
(=> (instance ?FILTER AbsoluteFilter) (hasPurpose ?FILTER (exists (?REMOVE ?GAS) (and (instance ?REMOVE Removing) (origin ?REMOVE ?GAS) (instance ?GAS GasMixture) (instrument ?REMOVE ?FILTER)))))	MilitaryDevices.kif 1368-1376	Wenn Physical ist ein fall von AbsoluteFilter %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Removing %n{nicht} und entity beginnet an entity %n{nicht} und entity ist ein fall von GasMixture %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} %n{nicht}
(=> (instance ?FILTER AirFilter) (hasPurpose ?FILTER (exists (?REMOVE ?AIR ?NONAIR ?MIX) (and (instance ?REMOVE Removing) (part ?AIR ?MIX) (instance ?AIR Air) (not (instance ?NONAIR Air)) (attribute ?NONAIR Solid) (patient ?REMOVE ?NONAIR) (part ?NONAIR ?MIX) (origin ?REMOVE ?MIX) (instance ?MIX Mixture) (instrument ?REMOVE ?FILTER)))))	Cars.kif 943-958	Wenn Physical ist ein fall von AirFilter %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Removing %n{nicht} und entity ist ein teil von entity %n{nicht} und entity ist ein fall von Air %n{nicht} und entity ist ein fall von Air nicht und Solid ist ein attribut von entity %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein teil von entity %n{nicht} und entity beginnet an entity %n{nicht} und entity ist ein fall von Mixture %n{nicht} und Physical ist ein instrument fuer ** entity %n{nicht} %n{nicht}
(=> (instance ?FILTER Filter) (hasPurpose ?FILTER (exists (?REMOVE ?M) (and (instance ?REMOVE Removing) (origin ?REMOVE ?M) (instance ?M Mixture) (instrument ?REMOVE ?FILTER)))))	Mid-level-ontology.kif 2523-2531	Wenn Physical ist ein fall von Filter %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Removing %n{nicht} und entity beginnet an entity %n{nicht} und entity ist ein fall von Mixture %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} %n{nicht}
(=> (instance ?FILTER FuelFilter) (hasPurpose ?FILTER (exists (?REMOVE ?FUEL ?NONFUEL ?SOLUTION) (and (instance ?REMOVE Removing) (part ?FUEL ?SOLUTION) (instance ?FUEL Fuel) (not (instance ?NONFUEL Fuel)) (patient ?REMOVE ?NONFUEL) (part ?NONFUEL ?SOLUTION) (origin ?REMOVE ?SOLUTION) (instance ?SOLUTION Solution) (instrument ?REMOVE ?FILTER)))))	Cars.kif 922-936	Wenn Physical ist ein fall von FuelFilter %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Removing %n{nicht} und entity ist ein teil von entity %n{nicht} und entity ist ein fall von Fuel %n{nicht} und entity ist ein fall von Fuel nicht und entity ist ein patient von entity %n{nicht} und entity ist ein teil von entity %n{nicht} und entity beginnet an entity %n{nicht} und entity ist ein fall von Solution %n{nicht} und Physical ist ein instrument fuer ** entity %n{nicht} %n{nicht}
(=> (instance ?MINE Mine) (hasPurpose ?MINE (exists (?REMOVE ?MINERAL) (and (instance ?REMOVE Removing) (patient ?REMOVE ?MINERAL) (instance ?MINERAL Mineral) (origin ?REMOVE ?MINE)))))	Mid-level-ontology.kif 6746-6754	Wenn Physical ist ein fall von Mine %n{nicht}, dann Physical hat Zweck von es gibt entity und PhysicalRAL um entity ist ein fall von Removing %n{nicht} und PhysicalRAL ist ein patient von entity %n{nicht} und PhysicalRAL ist ein fall von Mineral %n{nicht} und entity beginnet an Physical %n{nicht} %n{nicht}
(=> (instance ?N Needle) (hasPurpose ?N (exists (?H ?TP ?F ?RI) (and (instance ?H Animal) (instance ?TP TherapeuticProcss) (attribute ?F Fluid) (patient ?TP ?H) (instrument ?TP ?N) (or (instance ?RI Removing) (instance ?RI Inserting)) (subProcess ?RI ?TP) (objectTransferred ?RI ?F)))))	Medicine.kif 924-938	Wenn Physical ist ein fall von Needle %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Animal %n{nicht} und entity ist ein fall von TherapeuticProcss %n{nicht} und Fluid ist ein attribut von entity %n{nicht} und entity ist ein patient von entity %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity ist ein fall von Removing %n{nicht} oder entity ist ein fall von Inserting %n{nicht} und entity ist ein subProzess von entity und objectTransferred entity and ** entity %n{nicht}
(=> (instance ?PW PurifiedWater) (exists (?R ?W ?S) (and (instance ?R Removing) (origin ?R ?W) (instance ?W Water) (patient ?R ?S) (instance ?S Substance) (part ?S ?W) (result ?R ?PW))))	Food.kif 248-258	Wenn Entity ist ein fall von PurifiedWater %n{nicht}, dann es gibt Process, Object, and und Object um Process ist ein fall von Removing %n{nicht} und Process beginnet an Object %n{nicht} und Object ist ein fall von Water %n{nicht} und Object ist ein patient von Process %n{nicht} und Object ist ein fall von Substance %n{nicht} und Object ist ein teil von Object %n{nicht} und Entity ist ein resultat von ** Process %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: