TreeView Knowledge Base Browser

appearance as argument number 1

(contraryAttribute Solid Liquid Gas Plasma)	Merge.kif 17621-17621	Solid wird Liquid entgegengesetzet %n{nicht}
(documentation Solid ChineseLanguage "这是如果一个 Object 的形状和体积都是固定的话，它的 Attribute 便是属于 Solid。")	chinese_format.kif 3924-3925
(documentation Solid EnglishLanguage "An Object has the Attribute of Solid if it has a fixed shape and a fixed volume.")	Merge.kif 17631-17632
(instance Solid PhysicalState)	Merge.kif 17630-17630	Solid ist ein fall von PhysicalState %n{nicht}

appearance as argument number 2

(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma)	Merge.kif 17622-17622	exhaustiveAttribute PhysicalState, Solid, Liquid, Gas and Plasma
(roomTempState AbrinToxin Solid)	Mid-level-ontology.kif 31589-31589	roomTempState AbrinToxin and Solid
(roomTempState Actinium Solid)	Mid-level-ontology.kif 31571-31571	roomTempState Actinium and Solid
(roomTempState Alumina Solid)	Mid-level-ontology.kif 31593-31593	roomTempState Alumina and Solid
(roomTempState Aluminum Solid)	Mid-level-ontology.kif 31495-31495	roomTempState Aluminum and Solid
(roomTempState Americium Solid)	Mid-level-ontology.kif 31577-31577	roomTempState Americium and Solid
(roomTempState Amphetamine Solid)	Mid-level-ontology.kif 31595-31595	roomTempState Amphetamine and Solid
(roomTempState AnimalFat Solid)	Food.kif 2872-2872	roomTempState AnimalFat and Solid
(roomTempState Antimony Solid)	Mid-level-ontology.kif 31533-31533	roomTempState Antimony and Solid
(roomTempState Arsenic Solid)	Mid-level-ontology.kif 31515-31515	roomTempState Arsenic and Solid
(roomTempState Asbestos Solid)	Mid-level-ontology.kif 31596-31596	roomTempState Asbestos and Solid
(roomTempState Astatine Solid)	Mid-level-ontology.kif 31567-31567	roomTempState Astatine and Solid
(roomTempState Barite Solid)	Mid-level-ontology.kif 31599-31599	roomTempState Barite and Solid
(roomTempState Barium Solid)	Mid-level-ontology.kif 31538-31538	roomTempState Barium and Solid
(roomTempState Batrachotoxin Solid)	Mid-level-ontology.kif 31600-31600	roomTempState Batrachotoxin and Solid
(roomTempState Bauxite Solid)	Mid-level-ontology.kif 31601-31601	roomTempState Bauxite and Solid
(roomTempState Berkelium Solid)	Mid-level-ontology.kif 31579-31579	roomTempState Berkelium and Solid
(roomTempState Beryllium Solid)	Mid-level-ontology.kif 31485-31485	roomTempState Beryllium and Solid
(roomTempState Bismuth Solid)	Mid-level-ontology.kif 31565-31565	roomTempState Bismuth and Solid
(roomTempState BotulinumToxin Solid)	Mid-level-ontology.kif 31602-31602	roomTempState BotulinumToxin and Solid
(roomTempState Boulder Solid)	Mid-level-ontology.kif 31448-31448	roomTempState Boulder and Solid
(roomTempState BrownCoal Solid)	Mid-level-ontology.kif 31432-31432	roomTempState BrownCoal and Solid
(roomTempState Butter Solid)	Food.kif 3098-3098	roomTempState Butter and Solid
(roomTempState ButterFat Solid)	Food.kif 2931-2931	roomTempState ButterFat and Solid
(roomTempState Cadmium Solid)	Mid-level-ontology.kif 31530-31530	roomTempState Cadmium and Solid

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (instance ?C Colloid) (part ?P ?C) (or (attribute ?P Solid) (attribute ?P Liquid)) (instance ?AIR Air) (part ?AIR ?C)) (instance ?C Aerosal))	Geography.kif 7545-7554	Wenn Object ist ein fall von Colloid %n{nicht} und Object ist ein teil von Object %n{nicht} und Solid ist ein attribut von Object %n{nicht} oder Liquid ist ein attribut von Object %n{nicht} und Object ist ein fall von Air %n{nicht} und Object ist ein teil von Object %n{nicht}, dann ** Object ist ein fall von Aerosal %n{nicht}
(=> (and (instance ?C Crystal) (attribute ?C MonoCrystalline) (instance ?SUB Substance) (attribute ?SUB Solid) (attribute ?SUB PolyCrystalline) (instance ?S Substance) (surface ?S ?SUB) (not (part ?C ?S))) (exists (?CLNT ?X ?MBR) (and (instance ?CLNT Collection) (memberCount ?CLNT ?X) (greaterThanOrEqualTo ?X 4) (=> (member ?MBR ?CLNT) (and (part ?MBR ?SUB) (meetsSpatially ?C ?MBR))))))	Geography.kif 7142-7162	Wenn Object ist ein fall von Crystal %n{nicht} und MonoCrystalline ist ein attribut von Object %n{nicht} und SelfConnectedObject ist ein fall von Substance %n{nicht} und Solid ist ein attribut von SelfConnectedObject %n{nicht} und PolyCrystalline ist ein attribut von SelfConnectedObject %n{nicht} und SelfConnectedObject ist ein fall von Substance %n{nicht} und SelfConnectedObject ist eine flaeche von SelfConnectedObject %n{nicht} und Object ist ein teil von SelfConnectedObject nicht, dann es gibt ObjectLNT, Integer, and und Object um ObjectLNT ist ein fall von Collection %n{nicht} und memberCount ObjectLNT and Integer und Integer ist groesserAlsOderGleich 4 %n{nicht} und wenn Object ist ein Mitglied von ObjectLNT %n{nicht}, dann Object ist ein teil von SelfConnectedObject %n{nicht} und Object schliesst ** Object raeumlich an
(=> (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 ?W TapWater) (instance ?M Mixture) (part ?W ?M) (instance ?A Antifreeze) (part ?A ?M) (attribute ?M Solid) (measure ?M (MeasureFn ?D CelsiusDegree))) (greaterThan 32 ?D))	Cars.kif 1219-1228	Wenn Object ist ein fall von TapWater %n{nicht} und Object ist ein fall von Mixture %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Antifreeze %n{nicht} und Object ist ein teil von Object %n{nicht} und Solid ist ein attribut von Object %n{nicht} und das mass von Object ist RealNumber CelsiusDegree(s) %n{nicht}, dann 32 ist groesserAls RealNumber %n{nicht}
(=> (and (instance ?X Colloid) (attribute ?X Solid) (attribute ?X Fluid) (equal ?X ?Y)) (instance ?Y Gel))	Mid-level-ontology.kif 21643-21649	Wenn Object ist ein fall von Colloid %n{nicht} und Solid ist ein attribut von Object %n{nicht} und Fluid ist ein attribut von Object %n{nicht} und Object ist gleich Entity %n{nicht}, dann Entity ist ein fall von Gel %n{nicht}

consequent

(<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid)))	Mid-level-ontology.kif 9006-9010	Object ist ein fall von Ice %n{nicht} genau dann wenn Object ist ein fall von Water %n{nicht} und Solid ist ein attribut von Object %n{nicht}
(=> (and (instance ?ACT Eating) (resource ?ACT ?FOOD)) (attribute ?FOOD Solid))	Merge.kif 10301-10305	Wenn Process ist ein fall von Eating %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht}, dann Solid ist ein attribut von Object %n{nicht}
(=> (and (instance ?DEPOSITION Deposition) (patient ?DEPOSITION ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (holdsDuring (BeginFn (WhenFn ?DEPOSITION)) (attribute ?PART Gas)) (holdsDuring (EndFn (WhenFn ?DEPOSITION)) (attribute ?PART Solid)) (not (holdsDuring (WhenFn ?DEPOSITION) (attribute ?PART Liquid))))))	Geography.kif 6997-7014	Wenn Process ist ein fall von Deposition %n{nicht} und Object ist ein patient von Process %n{nicht}, dann es gibt Object um Object ist ein teil von Object %n{nicht} und Gas ist ein attribut von Object %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und Solid ist ein attribut von Object %n{nicht} haelt waehrend das ende von die zeit des Bestehens von Process %n{nicht} und Liquid ist ein attribut von Object %n{nicht} haelt waehrend die zeit des Bestehens von Process nicht
(=> (and (instance ?FREEZE Freezing) (patient ?FREEZE ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (holdsDuring (BeginFn (WhenFn ?FREEZE)) (attribute ?PART Liquid)) (holdsDuring (EndFn (WhenFn ?FREEZE)) (attribute ?PART Solid)))))	Merge.kif 14046-14054	Wenn Process ist ein fall von Freezing %n{nicht} und Object ist ein patient von Process %n{nicht}, dann es gibt Object um Object ist ein teil von Object %n{nicht} und Liquid ist ein attribut von Object %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und Solid ist ein attribut von Object %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=> (and (instance ?G Grease) (holdsDuring ?T (measure ?G (MeasureFn 77 FahrenheitDegree)))) (holdsDuring ?T (attribute ?G Solid)))	Cars.kif 2969-2975	Wenn Entity ist ein fall von Grease %n{nicht} und das mass von Entity ist 77 FahrenheitDegree(s) %n{nicht} haelt waehrend TimePosition %n{nicht}, dann Solid ist ein attribut von Entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=> (and (instance ?MELT Melting) (patient ?MELT ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (holdsDuring (BeginFn (WhenFn ?MELT)) (attribute ?PART Solid)) (holdsDuring (EndFn (WhenFn ?MELT)) (attribute ?PART Liquid)))))	Merge.kif 13958-13966	Wenn Process ist ein fall von Melting %n{nicht} und Object ist ein patient von Process %n{nicht}, dann es gibt Object um Object ist ein teil von Object %n{nicht} und Solid ist ein attribut von Object %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und Liquid ist ein attribut von Object %n{nicht} haelt waehrend das ende von die zeit des Bestehens 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 ?PROCESS FreezingRain) (patient ?PROCESS ?STUFF) (instance ?STUFF Water)) (holdsDuring (ImmediateFutureFn (WhenFn ?PROCESS)) (attribute ?STUFF Solid)))	Weather.kif 1075-1080	Wenn Process ist ein fall von FreezingRain %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von Water %n{nicht}, dann Solid ist ein attribut von Entity %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?SUBLIMATION Sublimation) (patient ?SUBLIMATION ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (holdsDuring (BeginFn (WhenFn ?SUBLIMATION)) (attribute ?PART Solid)) (holdsDuring (EndFn (WhenFn ?SUBLIMATION)) (attribute ?PART Gas)) (not (holdsDuring (WhenFn ?SUBLIMATION) (attribute ?PART Liquid))))))	Geography.kif 7049-7066	Wenn Process ist ein fall von Sublimation %n{nicht} und Object ist ein patient von Process %n{nicht}, dann es gibt Object um Object ist ein teil von Object %n{nicht} und Solid ist ein attribut von Object %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und Gas ist ein attribut von Object %n{nicht} haelt waehrend das ende von die zeit des Bestehens von Process %n{nicht} und Liquid ist ein attribut von Object %n{nicht} haelt waehrend die zeit des Bestehens von Process nicht
(=> (and (instance ?SUBSTANCE ?TYPE) (meltingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP2 ?MEASURE))) (instance ?MEASURE UnitOfTemperature) (lessThan ?TEMP2 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Solid)) (exists (?FREEZE) (and (overlapsTemporally (WhenFn ?FREEZE) ?TIME) (instance ?FREEZE Freezing) (patient ?FREEZE ?SUBSTANCE)))))	Merge.kif 13926-13939	Wenn Entity ist ein fall von PureSubstance %n{nicht} und meltingPoint PureSubstance and RealNumber UnitOfMeasure(s) und das mass von Entity ist RealNumber UnitOfMeasure(s) %n{nicht} haelt waehrend TimeInterval %n{nicht} und UnitOfMeasure ist ein fall von UnitOfTemperature %n{nicht} und RealNumber ist kleinerAls RealNumber %n{nicht}, dann Solid ist ein attribut von Entity %n{nicht} haelt waehrend TimeInterval %n{nicht} oder es gibt Process um TimeInterval deckt sich mit die zeit des Bestehens von Process %n{nicht} und Process ist ein fall von Freezing %n{nicht} und Entity ist ein patient von Process %n{nicht}
(=> (and (instance ?X ?Y) (subclass ?Y PureSubstance) (meltingPoint ?Y (MeasureFn ?MELT KelvinDegree)) (barometricPressure ?X (MeasureFn ?PRES InchMercury)) (greaterThan ?PRES 29.92) (measure ?X (MeasureFn ?TEMP KelvinDegree)) (lessThan ?TEMP ?MELT)) (attribute ?X Solid))	Merge.kif 13866-13875	Wenn Object ist ein fall von PureSubstance %n{nicht} und PureSubstance ist eine teilkategorie von PureSubstance und meltingPoint PureSubstance and RealNumber KelvinDegree(s) und barometricPressure Object and RealNumber InchMercury(s) und RealNumber ist groesserAls 29.92 %n{nicht} und das mass von Object ist RealNumber KelvinDegree(s) %n{nicht} und RealNumber ist kleinerAls RealNumber %n{nicht}, dann Solid ist ein attribut von Object %n{nicht}
(=> (instance ?C Clot) (attribute ?C Solid))	Mid-level-ontology.kif 10551-10553	Wenn Object ist ein fall von Clot %n{nicht}, dann Solid ist ein attribut von ** Object %n{nicht}
(=> (instance ?C Clotting) (exists (?B) (and (instance ?B Blood) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (attribute ?B Liquid)) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (attribute ?B Solid)))))	Mid-level-ontology.kif 10525-10537	Wenn Physical ist ein fall von Clotting %n{nicht}, dann es gibt Entity um Entity ist ein fall von Blood %n{nicht} und Liquid ist ein attribut von Entity %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Physical %n{nicht} und Solid ist ein attribut von Entity %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von ** Physical %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 4565-4580	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 ?E Exhaust) (exists (?S ?G ?C) (and (instance ?C Combustion) (attribute ?S Solid) (attribute ?G Gas) (part ?S ?E) (part ?G ?E) (result ?C ?E))))	Cars.kif 1150-1159	Wenn Object ist ein fall von Exhaust %n{nicht}, dann es gibt Object, Object, and und Process um Process ist ein fall von Combustion %n{nicht} und Solid ist ein attribut von Object %n{nicht} und Gas ist ein attribut von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein resultat von ** Process %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 ?FROST Frosting) (exists (?ICE ?OBJ) (and (instance ?ICE Ice) (attribute ?ICE MonoCrystalline) (patient ?FROST ?ICE) (instance ?OBJ Object) (attribute ?OBJ Solid) (destination ?FROST ?OBJ) (meetsSpatially ?FROST ?OBJ))))	Weather.kif 2765-2775	Wenn Process ist ein fall von Frosting %n{nicht}, dann es gibt Object und Object um Object ist ein fall von Ice %n{nicht} und MonoCrystalline ist ein attribut von Object %n{nicht} und Object ist ein patient von Process %n{nicht} und Object ist ein fall von Object %n{nicht} und Solid ist ein attribut von Object %n{nicht} und Process endet an Object %n{nicht} und Process schliesst ** Object raeumlich an
(=> (instance ?Glacier Glacier) (exists (?Water) (and (instance ?Water Water) (attribute ?Water Solid) (part ?Water ?Glacier))))	Geography.kif 6004-6010	Wenn Object ist ein fall von Glacier %n{nicht}, dann es gibt Object um Object ist ein fall von Water %n{nicht} und Solid ist ein attribut von Object %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?ICING Icing) (exists (?ICE ?OBJ) (and (instance ?ICE Ice) (attribute ?ICE PolyCrystalline) (patient ?ICING ?ICE) (instance ?OBJ Object) (attribute ?OBJ Solid) (destination ?ICING ?OBJ) (meetsSpatially ?ICE ?OBJ))))	Weather.kif 2497-2507	Wenn Process ist ein fall von Icing %n{nicht}, dann es gibt Object und Object um Object ist ein fall von Ice %n{nicht} und PolyCrystalline ist ein attribut von Object %n{nicht} und Object ist ein patient von Process %n{nicht} und Object ist ein fall von Object %n{nicht} und Solid ist ein attribut von Object %n{nicht} und Process endet an Object %n{nicht} und Object schliesst ** Object raeumlich an
(=> (instance ?P Pill) (attribute ?P Solid))	Mid-level-ontology.kif 9278-9280	Wenn Object ist ein fall von Pill %n{nicht}, dann Solid ist ein attribut von ** Object %n{nicht}
(=> (instance ?POWDER Powder) (attribute ?POWDER Solid))	Mid-level-ontology.kif 8981-8983	Wenn Object ist ein fall von Powder %n{nicht}, dann Solid ist ein attribut von ** Object %n{nicht}
(=> (instance ?PROCESS Hailing) (precipitationState ?PROCESS Solid))	Weather.kif 1164-1166	Wenn WeatherProcess ist ein fall von Hailing %n{nicht}, dann precipitationState ** WeatherProcess and Solid
(=> (instance ?PROCESS Snowing) (precipitationState ?PROCESS Solid))	Weather.kif 1121-1123	Wenn WeatherProcess ist ein fall von Snowing %n{nicht}, dann precipitationState ** WeatherProcess and Solid
(=> (instance ?Rock Rock) (attribute ?Rock Solid))	Mid-level-ontology.kif 17937-17939	Wenn Object ist ein fall von Rock %n{nicht}, dann Solid ist ein attribut von ** Object %n{nicht}
(=> (instance ?S Strainer) (hasPurpose ?S (exists (?MIX ?SUB ?LIQUID ?REMOVE) (and (instance ?MIX Mixture) (instance ?SUB Substance) (instance ?LIQUID Substance) (part ?SUB ?MIX) (attribute ?SUB Solid) (instance ?REMOVE Removing) (part ?LIQUID ?MIX) (attribute ?LIQUID Liquid) (patient ?REMOVE ?SUB) (result ?REMOVE ?LIQUID) (instrument ?REMOVE ?S)))))	Mid-level-ontology.kif 4544-4559	Wenn Physical ist ein fall von Strainer %n{nicht}, dann Physical hat Zweck von es gibt entity, PhysicalUB,, , entity, and und entity um entity ist ein fall von Mixture %n{nicht} und PhysicalUB ist ein fall von Substance %n{nicht} und entity ist ein fall von Substance %n{nicht} und PhysicalUB ist ein teil von entity %n{nicht} und Solid ist ein attribut von PhysicalUB %n{nicht} und entity ist ein fall von Removing %n{nicht} und entity ist ein teil von entity %n{nicht} und Liquid ist ein attribut von entity %n{nicht} und PhysicalUB ist ein patient von entity %n{nicht} und entity ist ein resultat von entity %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} %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: