Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Solid
|
|
|
| appearance as argument number 1 |
|
|
| (contraryAttribute Solid Liquid Gas Plasma) | Merge.kif 17899-17899 | Solid is the opposite of liquid |
| (instance Solid PhysicalState) | Merge.kif 17908-17908 | Solid is an instance of physical state |
| (documentation Solid EnglishLanguage "An Object has the Attribute of Solid if it has a fixed shape and a fixed volume.") | Merge.kif 17909-17910 | Solid is an instance of physical state |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?X Colloid) (attribute ?X Solid) (attribute ?X Fluid) (equal ?X ?Y)) (instance ?Y Gel)) |
Mid-level-ontology.kif 23890-23896 | If X is an instance of colloid, solid is an attribute of X, fluid is an attribute of X, and equal X and Y, then Y is an instance of gel |
| (=> (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 1157-1166 | If All of the following hold: (1) X is an instance of tap water (2) Y is an instance of mixture (3) X is a part of Y (4) Z is an instance of antifreeze (5) Z is a part of Y (6) solid is an attribute of Y (7) the measure of Y is W celsius degree(s), then 32 is greater than W |
| (=> (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 8806-8826 | If All of the following hold: (1) X is an instance of crystal (2) mono crystalline is an attribute of X (3) Y is an instance of substance (4) solid is an attribute of Y (5) poly crystalline is an attribute of Y (6) Z is an instance of substance (7) Z is a surface of Y (8) X is not a part of Z, then there exist W, V, U such that W is an instance of collection, V is a member count of W, V is greater than or equal to 4, U is a member of WU is a part of Y, and X meets U |
| (=> (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 9146-9155 | If X is an instance of colloid, Y is a part of X, solid is an attribute of Y or liquid is an attribute of Y, Z is an instance of air, and Z is a part of X, then X is an instance of aerosal |
| (=> (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 |
| (=> (holdsDuring ?T (and (refractiveIndex ?CLASS ?X) (roomTempState ?CLASS Solid))) (holdsDuring ?T (exists (?S ?N) (and (instance ?S ?CLASS) (measure ?S (MeasureFn ?N CelsiusDegree)) (greaterThanOrEqualTo ?N 20) (lessThanOrEqualTo ?N 26.85))))) |
Transportation.kif 5613-5624 | If the RefractiveIndexFn of X is Y, room temperature state X, and solid holds during Z, then there exist W and V such that W is an instance of X and the measure of W is V celsius degree(s) and V is greater than or equal to 20 and V is less than or equal to 26.85 holds during Z |
| consequent |
|
|
| (=> (and (instance ?ACT Eating) (resource ?ACT ?FOOD)) (attribute ?FOOD Solid)) |
Merge.kif 10512-10516 | If X is an instance of eating and Y is a resource for X, then solid is an attribute of Y |
| (=> (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 14129-14138 | If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z kelvin degree(s) is a melting point of Y (4) W inch mercury(s) is a barometric pressure of X (5) W is greater than 29.92 (6) the measure of X is V kelvin degree(s) (7) V is less than Z, then solid is an attribute of X |
| (=> (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 14189-14202 | If X is an instance of Y, Z W(s) is a melting point of Y, the measure of X is V W(s) holds during U, W is an instance of unit of temperature, and V is less than Z, then solid is an attribute of X holds during U or there exists T such that U overlaps the time of existence of T, T is an instance of freezing, and X is a patient of T |
| (=> (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 14221-14229 | If X is an instance of melting and Y is a patient of X, then there exists Z such that Z is a part of Y, solid is an attribute of Z holds during the beginning of the time of existence of X, and liquid is an attribute of Z holds during the end of the time of existence of X |
| (=> (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 14309-14317 | If X is an instance of freezing and Y is a patient of X, then there exists Z such that Z is a part of Y, liquid is an attribute of Z holds during the beginning of the time of existence of X, and solid is an attribute of Z holds during the end of the time of existence of X |
| (=> (instance ?X Feces) (attribute ?X Solid)) |
Mid-level-ontology.kif 2680-2682 | If X is an instance of feces, then solid is an attribute of X |
| (=> (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 5160-5175 | If X is an instance of strainer, 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 mixture (3) Z is an instance of substance (4) W is an instance of substance (5) Z is a part of Y (6) solid is an attribute of Z (7) V is an instance of removing (8) W is a part of Y (9) liquid is an attribute of W (10) Z is a patient of V (11) W is a result of V (12) X is an instrument for V |
| (=> (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 5181-5196 | If X is an instance of colander, 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 mixture (3) Z is an instance of substance (4) Z is a part of Y (5) liquid is an attribute of Z (6) V is an instance of removing (7) Z is a patient of V (8) W is an instance of substance (9) W is a part of Y (10) solid is an attribute of W (11) W is a result of V (12) X is an instrument for V |
| (=> (instance ?POWDER Powder) (attribute ?POWDER Solid)) |
Mid-level-ontology.kif 10321-10323 | If X is an instance of powder, then solid is an attribute of X |
| (<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid))) |
Mid-level-ontology.kif 10346-10350 | X is an instance of ice if, only if X is an instance of water, and solid is an attribute of X |
| (=> (instance ?P Pill) (attribute ?P Solid)) |
Mid-level-ontology.kif 10756-10758 | If X is an instance of pill, then solid is an attribute of X |
| (=> (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 11951-11963 | If X is an instance of coagulation, then there exists Y such that Y is an instance of blood, liquid is an attribute of Y holds during immediately before the time of existence of X, and solid is an attribute of Y holds during immediately after the time of existence of X |
| (=> (instance ?C Clot) (attribute ?C Solid)) |
Mid-level-ontology.kif 11977-11979 | If X is an instance of clot, then solid is an attribute of X |
| (=> (instance ?Rock Rock) (attribute ?Rock Solid)) |
Mid-level-ontology.kif 19844-19846 | If X is an instance of rock, then solid is an attribute of X |
| (=> (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 880-895 | If X is an instance of air 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 air (5) W is not an instance of air (6) solid is an attribute of W (7) W is a patient of Y (8) W is a part of V (9) Y originates at V (10) V is an instance of mixture (11) X is an instrument for Y |
| (=> (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 1088-1097 | If X is an instance of exhaust, then All of the following hold: (1) there exist Y, Z (2) W such that W is an instance of burning (3) solid is an attribute of Y (4) gas is an attribute of Z (5) Y is a part of X (6) Z is a part of X (7) X is a result of W |
| (=> (and (instance ?G Grease) (holdsDuring ?T (measure ?G (MeasureFn 77 FahrenheitDegree)))) (holdsDuring ?T (attribute ?G Solid))) |
Cars.kif 2893-2899 | If X is an instance of grease and the measure of X is 77 fahrenheit degree(s) holds during Y, then solid is an attribute of X holds during Y |
| (=> (instance ?Glacier Glacier) (exists (?Water) (and (instance ?Water Water) (attribute ?Water Solid) (part ?Water ?Glacier)))) |
Geography.kif 7604-7610 | If X is an instance of glacier, then there exists Y such that Y is an instance of water, solid is an attribute of Y, and Y is a part of X |
| (=> (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 8661-8678 | If X is an instance of deposition and Y is a patient of X, then there exists Z such that Z is a part of Y, gas is an attribute of Z holds during the beginning of the time of existence of X, solid is an attribute of Z holds during the end of the time of existence of X, and liquid is not an attribute of Z doesn't hold during the time of existence of X |
| (=> (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 8713-8730 | If X is an instance of sublimation and Y is a patient of X, then there exists Z such that Z is a part of Y, solid is an attribute of Z holds during the beginning of the time of existence of X, gas is an attribute of Z holds during the end of the time of existence of X, and liquid is not an attribute of Z doesn't hold during the time of existence of X |
| (=> (attribute ?G FlammableSolid) (and (instance ?G Substance) (attribute ?G Solid) (attribute ?G Flammable))) |
Transportation.kif 4708-4713 | If flammable solid is an attribute of X, then X is an instance of substance, solid is an attribute of X, and flammable is an attribute of X |
| (=> (and (instance ?PROCESS FreezingRain) (patient ?PROCESS ?STUFF) (instance ?STUFF Water)) (holdsDuring (ImmediateFutureFn (WhenFn ?PROCESS)) (attribute ?STUFF Solid))) |
Weather.kif 1768-1776 | If X is an instance of freezing rain, Y is a patient of X, and Y is an instance of water, then solid is an attribute of Y holds during immediately after the time of existence of X |
| (=> (instance ?PROCESS Snowing) (precipitationState ?PROCESS Solid)) |
Weather.kif 1817-1819 | If X is an instance of snowing, then solid is a precipitation state of X |
| (=> (instance ?PROCESS Hailing) (precipitationState ?PROCESS Solid)) |
Weather.kif 1860-1862 | If X is an instance of hailing, then solid is a precipitation state of X |
| (=> (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 3781-3791 | If X is an instance of icing, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of ice (3) poly crystalline is an attribute of Y (4) Y is a patient of X (5) Z is an instance of object (6) solid is an attribute of Z (7) X ends up at Z (8) Y meets Z |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|