Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Solution LiquidMixture) | Merge.kif 15035-15035 | 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 15036-15040 | 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 3912-3912 | The number 1 argument of potential of hydrogen is an instance of solution |
| antecedent |
|
|
| (=> (instance ?OBJ Solution) (attribute ?OBJ Liquid)) |
Merge.kif 17917-17919 | 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 21502-21512 | 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 21518-21524 | 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 ?X Substance) (attribute ?X Insoluble)) (not (modalAttribute (exists (?Y ?Z) (and (instance ?Y Substance) (instance ?Z Solution) (piece ?X ?Z) (piece ?Y ?Z))) Possibility))) |
Mid-level-ontology.kif 23809-23821 | 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 |
| (=> (and (instance ?L LiquidMixture) (attribute ?L Miscible) (equal ?L ?X)) (instance ?X Solution)) |
Mid-level-ontology.kif 23871-23876 | 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 859-873 | 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 8987-8998 | 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 |
|
