Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Solid(solid) |  | compactness, dry_ice, frozen, hard, solid, solid-state, solid_state, solidity, solidness, undissolved, vitrification |
| appearance as argument number 1 |
|
|
| s__contraryAttribute(s__Solid,s__Liquid,s__Gas,s__Plasma)
|
Merge.kif 17899-17899 | Solid is the opposite of liquid |
| s__instance(s__Solid,s__PhysicalState)
|
Merge.kif 17908-17908 | Solid is an instance of physical state |
| s__documentation(s__Solid, s__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 |
|
|
| ! [V__X,V__Y] : (((s__instance(V__X,s__Colloid) & s__attribute(V__X,s__Solid) & s__attribute(V__X,s__Fluid) & (V__X = V__Y)) => s__instance(V__Y,s__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 |
| ! [V__D,V__W,V__M,V__A] : ((s__instance(V__D,s__RealNumber) => ((s__instance(V__W,s__TapWater) & s__instance(V__M,s__Mixture) & s__part(V__W,V__M) & s__instance(V__A,s__Antifreeze) & s__part(V__A,V__M) & s__attribute(V__M,s__Solid) & s__measure(V__M,s__MeasureFn(V__D,s__CelsiusDegree))) => s__greaterThan(n__32,V__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 |
| ! [V__C,V__SUB,V__S] : (((s__instance(V__C,s__Crystal) & s__attribute(V__C,s__MonoCrystalline) & s__instance(V__SUB,s__Substance) & s__attribute(V__SUB,s__Solid) & s__attribute(V__SUB,s__PolyCrystalline) & s__instance(V__S,s__Substance) & s__surface(V__S,V__SUB) & ~(s__part(V__C,V__S))) => (? [V__CLNT,V__X,V__MBR] : ((s__instance(V__X,s__Integer) & s__instance(V__MBR,s__Object) & (s__instance(V__CLNT,s__Collection) & s__memberCount(V__CLNT,V__X) & s__greaterThanOrEqualTo(V__X,n__4) & (s__member(V__MBR,V__CLNT) => (s__part(V__MBR,V__SUB) & s__meetsSpatially(V__C,V__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 |
| ! [V__P,V__C,V__AIR] : ((s__instance(V__P,s__Object) => ((s__instance(V__C,s__Colloid) & s__part(V__P,V__C) & (s__attribute(V__P,s__Solid) | s__attribute(V__P,s__Liquid)) & s__instance(V__AIR,s__Air) & s__part(V__AIR,V__C)) => s__instance(V__C,s__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 |
| ! [V__PARTICLE,V__FILTER,V__REMOVE,V__GAS] : ((s__instance(V__PARTICLE,s__Object) => ((s__instance(V__FILTER,s__AbsoluteFilter) & s__instance(V__REMOVE,s__Removing) & s__origin(V__REMOVE,V__GAS) & s__instance(V__GAS,s__GasMixture) & s__patient(V__REMOVE,V__PARTICLE) & s__attribute(V__PARTICLE,s__Solid) & s__instrument(V__REMOVE,V__FILTER)) => ~(s__part(V__PARTICLE,V__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 |
| ! [V__CLASS : $i,V__T : $i,V__X : $real] : ((s__holdsDuring(V__T, (s__refractiveIndex(V__CLASS, V__X) & s__roomTempState(V__CLASS, s__Solid))) => s__holdsDuring(V__T, ( ? [V__S:$i, V__N:$int] : ((s__instance(V__S, V__CLASS) & s__measure(V__S, s__MeasureFn(V__N, s__CelsiusDegree)) & ($greatereq(V__N,20)) & ($lesseq(V__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 |
|
|
| ! [V__FOOD,V__ACT] : ((s__instance(V__FOOD,s__Object) => ((s__instance(V__ACT,s__Eating) & s__resource(V__ACT,V__FOOD)) => s__attribute(V__FOOD,s__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 |
| ! [V__X,V__Y,V__MELT,V__PRES,V__TEMP] : (((s__instance(V__X,s__Object) & s__instance(V__Y,s__Class) & s__subclass(V__Y,s__PureSubstance) & s__instance(V__MELT,s__RealNumber) & s__instance(V__PRES,s__RealNumber) & s__instance(V__TEMP,s__RealNumber)) => ((s__instance(V__X,V__Y) & s__subclass(V__Y,s__PureSubstance) & s__meltingPoint(V__Y,s__MeasureFn(V__MELT,s__KelvinDegree)) & s__barometricPressure(V__X,s__MeasureFn(V__PRES,s__InchMercury)) & s__greaterThan(V__PRES,n__29_92) & s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree)) & s__lessThan(V__TEMP,V__MELT)) => s__attribute(V__X,s__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 |
| ! [V__MEASURE : $i,V__SUBSTANCE : $i,V__TEMP1 : $real,V__TEMP2 : $real,V__TIME : $i,V__TYPE : $i] : (((s__instance(V__SUBSTANCE, V__TYPE) & s__meltingPoint(V__TYPE, s__MeasureFn(V__TEMP1, V__MEASURE)) & s__holdsDuring(V__TIME, s__measure(V__SUBSTANCE, s__MeasureFn(V__TEMP2, V__MEASURE))) & s__instance(V__MEASURE, s__UnitOfTemperature) & ($less(V__TEMP2,V__TEMP1))) => (s__holdsDuring(V__TIME, s__attribute(V__SUBSTANCE, s__Solid)) | ( ? [V__FREEZE:$i] : ((s__overlapsTemporally(s__WhenFn(V__FREEZE), V__TIME) & s__instance(V__FREEZE, s__Freezing) & s__patient(V__FREEZE, V__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 |
| ! [V__MELT : $i,V__OBJ : $i] : (((s__instance(V__MELT, s__Melting) & s__patient(V__MELT, V__OBJ)) => ( ? [V__PART:$i] : ((s__part(V__PART, V__OBJ) & s__holdsDuring(s__BeginFn(s__WhenFn(V__MELT)), s__attribute(V__PART, s__Solid)) & s__holdsDuring(s__EndFn(s__WhenFn(V__MELT)), s__attribute(V__PART, s__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 |
| ! [V__FREEZE : $i,V__OBJ : $i] : (((s__instance(V__FREEZE, s__Freezing) & s__patient(V__FREEZE, V__OBJ)) => ( ? [V__PART:$i] : ((s__part(V__PART, V__OBJ) & s__holdsDuring(s__BeginFn(s__WhenFn(V__FREEZE)), s__attribute(V__PART, s__Liquid)) & s__holdsDuring(s__EndFn(s__WhenFn(V__FREEZE)), s__attribute(V__PART, s__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 |
| ! [V__X] : ((s__instance(V__X,s__Feces) => s__attribute(V__X,s__Solid)) )
|
Mid-level-ontology.kif 2680-2682 | If X is an instance of feces, then solid is an attribute of X |
| ! [V__S : $i] : ((s__instance(V__S, s__Strainer) => s__hasPurpose(V__S, ( ? [V__MIX:$i, V__SUB:$i, V__LIQUID:$i, V__REMOVE:$i] : ((s__instance(V__MIX, s__Mixture) & s__instance(V__SUB, s__Substance) & s__instance(V__LIQUID, s__Substance) & s__part(V__SUB, V__MIX) & s__attribute(V__SUB, s__Solid) & s__instance(V__REMOVE, s__Removing) & s__part(V__LIQUID, V__MIX) & s__attribute(V__LIQUID, s__Liquid) & s__patient(V__REMOVE, V__SUB) & s__result(V__REMOVE, V__LIQUID) & s__instrument(V__REMOVE, V__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 |
| ! [V__C : $i] : ((s__instance(V__C, s__Colander) => s__hasPurpose(V__C, ( ? [V__MIX:$i, V__SUB:$i, V__SOLID:$i, V__REMOVE:$i] : ((s__instance(V__MIX, s__Mixture) & s__instance(V__SUB, s__Substance) & s__part(V__SUB, V__MIX) & s__attribute(V__SUB, s__Liquid) & s__instance(V__REMOVE, s__Removing) & s__patient(V__REMOVE, V__SUB) & s__instance(V__SOLID, s__Substance) & s__part(V__SOLID, V__MIX) & s__attribute(V__SOLID, s__Solid) & s__result(V__REMOVE, V__SOLID) & s__instrument(V__REMOVE, V__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 |
| ! [V__POWDER] : ((s__instance(V__POWDER,s__Powder) => s__attribute(V__POWDER,s__Solid)) )
|
Mid-level-ontology.kif 10321-10323 | If X is an instance of powder, then solid is an attribute of X |
| ! [V__ICE] : (((s__instance(V__ICE,s__Ice) => (s__instance(V__ICE,s__Water) & s__attribute(V__ICE,s__Solid))) & ((s__instance(V__ICE,s__Water) & s__attribute(V__ICE,s__Solid)) => s__instance(V__ICE,s__Ice))) )
|
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 |
| ! [V__P] : ((s__instance(V__P,s__Pill) => s__attribute(V__P,s__Solid)) )
|
Mid-level-ontology.kif 10756-10758 | If X is an instance of pill, then solid is an attribute of X |
| ! [V__C : $i] : ((s__instance(V__C, s__Clotting) => ( ? [V__B:$i] : ((s__instance(V__B, s__Blood) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__C)), s__attribute(V__B, s__Liquid)) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__C)), s__attribute(V__B, s__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 |
| ! [V__C] : ((s__instance(V__C,s__Clot) => s__attribute(V__C,s__Solid)) )
|
Mid-level-ontology.kif 11977-11979 | If X is an instance of clot, then solid is an attribute of X |
| ! [V__Rock] : ((s__instance(V__Rock,s__Rock) => s__attribute(V__Rock,s__Solid)) )
|
Mid-level-ontology.kif 19844-19846 | If X is an instance of rock, then solid is an attribute of X |
| ! [V__FILTER : $i] : ((s__instance(V__FILTER, s__AirFilter) => s__hasPurpose(V__FILTER, ( ? [V__REMOVE:$i, V__AIR:$i, V__NONAIR:$i, V__MIX:$i] : ((s__instance(V__REMOVE, s__Removing) & s__part(V__AIR, V__MIX) & s__instance(V__AIR, s__Air) & ~(s__instance(V__NONAIR, s__Air)) & s__attribute(V__NONAIR, s__Solid) & s__patient(V__REMOVE, V__NONAIR) & s__part(V__NONAIR, V__MIX) & s__origin(V__REMOVE, V__MIX) & s__instance(V__MIX, s__Mixture) & s__instrument(V__REMOVE, V__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 |
| ! [V__E] : ((s__instance(V__E,s__Exhaust) => (? [V__S,V__G,V__C] : ((s__instance(V__S,s__Object) & s__instance(V__G,s__Object) & (s__instance(V__C,s__Combustion) & s__attribute(V__S,s__Solid) & s__attribute(V__G,s__Gas) & s__part(V__S,V__E) & s__part(V__G,V__E) & s__result(V__C,V__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 |
| ! [V__G : $i,V__T : $i] : (((s__instance(V__G, s__Grease) & s__holdsDuring(V__T, s__measure(V__G, s__MeasureFn(77, s__FahrenheitDegree)))) => s__holdsDuring(V__T, s__attribute(V__G, s__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 |
| ! [V__Glacier] : ((s__instance(V__Glacier,s__Glacier) => (? [V__Water] : ((s__instance(V__Water,s__Water) & s__attribute(V__Water,s__Solid) & s__part(V__Water,V__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 |
| ! [V__DEPOSITION : $i,V__OBJ : $i] : (((s__instance(V__DEPOSITION, s__Deposition) & s__patient(V__DEPOSITION, V__OBJ)) => ( ? [V__PART:$i] : ((s__part(V__PART, V__OBJ) & s__holdsDuring(s__BeginFn(s__WhenFn(V__DEPOSITION)), s__attribute(V__PART, s__Gas)) & s__holdsDuring(s__EndFn(s__WhenFn(V__DEPOSITION)), s__attribute(V__PART, s__Solid)) & ~(s__holdsDuring(s__WhenFn(V__DEPOSITION), s__attribute(V__PART, s__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 |
| ! [V__OBJ : $i,V__SUBLIMATION : $i] : (((s__instance(V__SUBLIMATION, s__Sublimation) & s__patient(V__SUBLIMATION, V__OBJ)) => ( ? [V__PART:$i] : ((s__part(V__PART, V__OBJ) & s__holdsDuring(s__BeginFn(s__WhenFn(V__SUBLIMATION)), s__attribute(V__PART, s__Solid)) & s__holdsDuring(s__EndFn(s__WhenFn(V__SUBLIMATION)), s__attribute(V__PART, s__Gas)) & ~(s__holdsDuring(s__WhenFn(V__SUBLIMATION), s__attribute(V__PART, s__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 |
| ! [V__G] : ((s__instance(V__G,s__Object) => (s__attribute(V__G,s__FlammableSolid) => (s__instance(V__G,s__Substance) & s__attribute(V__G,s__Solid) & s__attribute(V__G,s__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 |
| ! [V__PROCESS : $i,V__STUFF : $i] : (((s__instance(V__PROCESS, s__FreezingRain) & s__patient(V__PROCESS, V__STUFF) & s__instance(V__STUFF, s__Water)) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__PROCESS)), s__attribute(V__STUFF, s__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 |
| ! [V__PROCESS] : ((s__instance(V__PROCESS,s__Snowing) => s__precipitationState(V__PROCESS,s__Solid)) )
|
Weather.kif 1817-1819 | If X is an instance of snowing, then solid is a precipitation state of X |
| ! [V__PROCESS] : ((s__instance(V__PROCESS,s__Hailing) => s__precipitationState(V__PROCESS,s__Solid)) )
|
Weather.kif 1860-1862 | If X is an instance of hailing, then solid is a precipitation state of X |
| ! [V__ICING] : ((s__instance(V__ICING,s__Icing) => (? [V__ICE,V__OBJ] : ((s__instance(V__ICE,s__Ice) & s__attribute(V__ICE,s__PolyCrystalline) & s__patient(V__ICING,V__ICE) & s__instance(V__OBJ,s__Object) & s__attribute(V__OBJ,s__Solid) & s__destination(V__ICING,V__OBJ) & s__meetsSpatially(V__ICE,V__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 |
|