| appearance as argument number 1 |
|
|
| (subclass Solution LiquidMixture) | Merge.kif 14898-14898 | Solution is a subclass of liquid mixture |
| (documentation Solution EnglishLanguage "A liquid mixture. The most abundant component in a solution is called the solvent. Other components are called solutes. A solution, though homogeneous, may nonetheless have variable composition. Any amount of salt, up to a maximum limit, can be dissolved in a given amount of water.") | Merge.kif 14899-14903 | Solution is a subclass of liquid mixture |
| (externalImage Solution "http://upload.wikimedia.org/wikipedia/commons/8/ 89/ SaltInWaterSolutionLiquid.jpg") | pictureList.kif 2523-2523 | Solution is a subclass of liquid mixture |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain potentialOfHydrogen 1 Solution) | Mid-level-ontology.kif 3760-3760 | The number 1 argument of potential of hydrogen is an instance of solution |
| antecedent |
|
|
| (=> (instance ?OBJ Solution) (attribute ?OBJ Liquid)) |
Merge.kif 17763-17765 | If X is an instance of solution, then liquid is an attribute of X |
| consequent |
|
|
| (=> (instance ?DIALYSIS Dialysis) (exists (?SOLUTION ?SUBSTANCE1 ?SUBSTANCE2) (and (resource ?DIALYSIS ?SOLUTION) (instance ?SOLUTION Solution) (result ?DIALYSIS ?SUBSTANCE1) (instance ?SUBSTANCE1 PureSubstance) (result ?DIALYSIS ?SUBSTANCE2) (instance ?SUBSTANCE2 PureSubstance) (not (equal ?SUBSTANCE1 ?SUBSTANCE2))))) |
Mid-level-ontology.kif 21568-21578 | If X is an instance of dialysis, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a resource for X (3) Y is an instance of solution (4) Z is a result of X (5) Z is an instance of pure substance (6) W is a result of X (7) W is an instance of pure substance (8) equal Z (9) W |
| (=> (instance ?D Diluting) (exists (?S) (and (patient ?D ?S) (instance ?S Solution) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 21584-21590 | If X is an instance of diluting, then there exists Y such that Y is a patient of X, Y is an instance of solution, and liquid is an attribute of Y |
| (=> (and (instance ?L LiquidMixture) (attribute ?L Miscible) (equal ?L ?X)) (instance ?X Solution)) |
Mid-level-ontology.kif 23961-23966 | If X is an instance of liquid mixture, miscible is an attribute of X, and equal X and Y, then Y is an instance of solution |
| (=> (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 | If X is an instance of fuel filter, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of removing (3) Z is a part of V (4) Z is an instance of fuel (5) W is not an instance of fuel (6) W is a patient of Y (7) W is a part of V (8) Y originates at V (9) V is an instance of solution (10) X is an instrument for Y |
| (=> (and (instance ?X Substance) (attribute ?X Soluble)) (modalAttribute (exists (?Y ?Z) (and (instance ?Y Substance) (instance ?Z Solution) (piece ?X ?Z) (piece ?Y ?Z))) Possibility)) |
Geography.kif 9007-9018 | If X is an instance of substance and soluble is an attribute of X, then the statement there exist Y, Z such that Y is an instance of substance, Z is an instance of solution, X is a piece of Z, and Y is a piece of Z has the modal force of possibility |
| (=> (and (instance ?X Substance) (attribute ?X Insoluble)) (not (modalAttribute (exists (?Y ?Z) (and (instance ?Y Substance) (instance ?Z Solution) (piece ?X ?Z) (piece ?Y ?Z))) Possibility))) |
Geography.kif 9035-9047 | If X is an instance of substance and insoluble is an attribute of X, then the statement there don't exist Y, Z such that Y is an instance of substance, Z is an instance of solution, X is a piece of Z, and Y is a piece of Z doesn't have the modal force of possibility |
|
|
|