Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   GasMixture
|
|
|
| appearance as argument number 1 |
|
|
| (subclass GasMixture Mixture) | Merge.kif 15048-15048 | Gas mixture is a subclass of mixture |
| (disjoint GasMixture LiquidMixture) | Merge.kif 15049-15049 | Gas mixture is disjoint from liquid mixture |
| (documentation GasMixture EnglishLanguage "Any Mixture that satisfies two conditions, viz. it is made up predominantly of things which are a Gas and any component other than Gas in the Mixture is in the form of fine particles which are suspended in the Gas.") | Merge.kif 15050-15053 | Gas mixture is disjoint from liquid mixture |
| (roomTempState GasMixture Gas) | Mid-level-ontology.kif 34056-34056 | room temperature state gas mixture and gas |
| (externalImage GasMixture "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Aerosol_India.jpg") | pictureList.kif 4479-4479 | room temperature state gas mixture and gas |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?MIX GasMixture) (exists (?PART) (and (part ?PART ?MIX) (attribute ?PART Gas)))) |
Merge.kif 15055-15060 | If X is an instance of gas mixture, then there exists Y such that Y is a part of X and gas is an attribute of Y |
| (=> (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 1536-1546 | If All of the following hold: (1) X is an instance of absolute filter (2) Y is an instance of removing (3) Y originates at Z (4) Z is an instance of gas mixture (5) W is a patient of Y (6) solid is an attribute of W (7) X is an instrument for Y, then W is not a part of Z |
| consequent |
|
|
| (=> (instance ?C Chromatography) (exists (?M) (and (resource ?C ?M) (or (instance ?M LiquidMixture) (instance ?M GasMixture))))) |
Mid-level-ontology.kif 21548-21555 | If X is an instance of chromatography, then there exists Y such that Y is a resource for X and Y is an instance of liquid mixture or Y is an instance of gas mixture |
| (=> (instance ?S Spraying) (exists (?G ?L ?M) (and (attribute ?G Gas) (attribute ?L Liquid) (instance ?M GasMixture) (part ?M ?G) (part ?M ?L) (patient ?S ?G) (patient ?S ?L) (result ?S ?M)))) |
Cars.kif 1029-1040 | If X is an instance of spraying, then All of the following hold: (1) there exist Y, Z (2) W such that gas is an attribute of Y (3) liquid is an attribute of Z (4) W is an instance of gas mixture (5) W is a part of Y (6) W is a part of Z (7) Y is a patient of X (8) Z is a patient of X (9) W is a result of X |
| (=> (instance ?FILTER AbsoluteFilter) (hasPurpose ?FILTER (exists (?REMOVE ?GAS) (and (instance ?REMOVE Removing) (origin ?REMOVE ?GAS) (instance ?GAS GasMixture) (instrument ?REMOVE ?FILTER))))) |
MilitaryDevices.kif 1525-1533 | If X is an instance of absolute filter, then X has the purpose there exist Y, Z such that Y is an instance of removing, Y originates at Z, Z is an instance of gas mixture, and X is an instrument for Y |
|
