|
|
  Solid
|
|
|
| appearance as argument number 1 |
|
|
| (contraryAttribute Solid Liquid Gas Plasma) | Merge.kif 17710-17710 | |
| (documentation Solid ChineseLanguage "这是如果一个 Object 的形状和体积都是固定的话，它的 Attribute 便是属于 Solid。") | chinese_format.kif 3924-3925 | |
| (documentation Solid EnglishLanguage "An Object has the Attribute of Solid if it has a fixed shape and a fixed volume.") | Merge.kif 17720-17721 | |
| (instance Solid PhysicalState) | Merge.kif 17719-17719 |
| appearance as argument number 2 |
|
|
| (exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) | Merge.kif 17711-17711 | |
| (roomTempState AbrinToxin Solid) | Mid-level-ontology.kif 33504-33504 | |
| (roomTempState Actinium Solid) | Mid-level-ontology.kif 33486-33486 | |
| (roomTempState Alumina Solid) | Mid-level-ontology.kif 33508-33508 | |
| (roomTempState Aluminum Solid) | Mid-level-ontology.kif 33410-33410 | |
| (roomTempState Americium Solid) | Mid-level-ontology.kif 33492-33492 | |
| (roomTempState Amphetamine Solid) | Mid-level-ontology.kif 33510-33510 | |
| (roomTempState AnimalFat Solid) | Food.kif 2879-2879 | |
| (roomTempState Antimony Solid) | Mid-level-ontology.kif 33448-33448 | |
| (roomTempState Arsenic Solid) | Mid-level-ontology.kif 33430-33430 | |
| (roomTempState Asbestos Solid) | Mid-level-ontology.kif 33511-33511 | |
| (roomTempState Astatine Solid) | Mid-level-ontology.kif 33482-33482 | |
| (roomTempState Barite Solid) | Mid-level-ontology.kif 33514-33514 | |
| (roomTempState Barium Solid) | Mid-level-ontology.kif 33453-33453 | |
| (roomTempState Batrachotoxin Solid) | Mid-level-ontology.kif 33515-33515 | |
| (roomTempState Bauxite Solid) | Mid-level-ontology.kif 33516-33516 | |
| (roomTempState Berkelium Solid) | Mid-level-ontology.kif 33494-33494 | |
| (roomTempState Beryllium Solid) | Mid-level-ontology.kif 33400-33400 | |
| (roomTempState Bismuth Solid) | Mid-level-ontology.kif 33480-33480 | |
| (roomTempState BotulinumToxin Solid) | Mid-level-ontology.kif 33517-33517 | |
| (roomTempState Boulder Solid) | Mid-level-ontology.kif 33363-33363 | |
| (roomTempState BrownCoal Solid) | Mid-level-ontology.kif 33347-33347 | |
| (roomTempState Butter Solid) | Food.kif 3105-3105 | |
| (roomTempState ButterFat Solid) | Food.kif 2938-2938 | |
| (roomTempState Cadmium Solid) | Mid-level-ontology.kif 33445-33445 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (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 7711-7720 | |
| (=> (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 7308-7328 | |
| (=> (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 | |
| (=> (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 1219-1228 | |
| (=> (and (instance ?X Colloid) (attribute ?X Solid) (attribute ?X Fluid) (equal ?X ?Y)) (instance ?Y Gel)) |
Mid-level-ontology.kif 23233-23239 |
| consequent |
|
|
| (<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid))) |
Mid-level-ontology.kif 10185-10189 | |
| (=> (and (instance ?ACT Eating) (resource ?ACT ?FOOD)) (attribute ?FOOD Solid)) |
Merge.kif 10390-10394 | |
| (=> (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 7163-7180 | |
| (=> (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 14138-14146 | |
| (=> (and (instance ?G Grease) (holdsDuring ?T (measure ?G (MeasureFn 77 FahrenheitDegree)))) (holdsDuring ?T (attribute ?G Solid))) |
Cars.kif 3045-3051 | |
| (=> (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 14050-14058 | |
| (=> (and (instance ?ORG Organization) (attribute ?ORG Mining)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Removing) (patient ?EV ?THING) (instance ?THING PureSubstance) (attribute ?THING Solid) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 631-648 | |
| (=> (and (instance ?PROCESS FreezingRain) (patient ?PROCESS ?STUFF) (instance ?STUFF Water)) (holdsDuring (ImmediateFutureFn (WhenFn ?PROCESS)) (attribute ?STUFF Solid))) |
Weather.kif 1326-1331 | |
| (=> (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 7215-7232 | |
| (=> (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 14018-14031 | |
| (=> (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 13958-13967 | |
| (=> (attribute ?G FlammableSolid) (and (instance ?G Substance) (attribute ?G Solid) (attribute ?G Flammable))) |
Transportation.kif 4166-4171 | |
| (=> (instance ?C Clot) (attribute ?C Solid)) |
Mid-level-ontology.kif 11855-11857 | |
| (=> (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 11829-11841 | |
| (=> (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 5015-5030 | |
| (=> (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 1150-1159 | |
| (=> (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 943-958 | |
| (=> (instance ?FROST Frosting) (exists (?ICE ?OBJ) (and (instance ?ICE Ice) (attribute ?ICE MonoCrystalline) (patient ?FROST ?ICE) (instance ?OBJ Object) (attribute ?OBJ Solid) (destination ?FROST ?OBJ) (meetsSpatially ?FROST ?OBJ)))) |
Weather.kif 3299-3309 | |
| (=> (instance ?Glacier Glacier) (exists (?Water) (and (instance ?Water Water) (attribute ?Water Solid) (part ?Water ?Glacier)))) |
Geography.kif 6137-6143 | |
| (=> (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 3030-3040 | |
| (=> (instance ?P Pill) (attribute ?P Solid)) |
Mid-level-ontology.kif 10580-10582 | |
| (=> (instance ?POWDER Powder) (attribute ?POWDER Solid)) |
Mid-level-ontology.kif 10160-10162 | |
| (=> (instance ?PROCESS Hailing) (precipitationState ?PROCESS Solid)) |
Weather.kif 1415-1417 | |
| (=> (instance ?PROCESS Snowing) (precipitationState ?PROCESS Solid)) |
Weather.kif 1372-1374 | |
| (=> (instance ?Rock Rock) (attribute ?Rock Solid)) |
Mid-level-ontology.kif 19481-19483 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|