| Solid | |
| appearance as argument number 1 |
|
|
| (contraryAttribute Solid Liquid Gas Plasma) | Merge.kif 17427-17427 | |
| (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 17437-17438 | |
| (instance Solid PhysicalState) | Merge.kif 17436-17436 |
| appearance as argument number 2 |
|
|
| (exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) | Merge.kif 17428-17428 | |
| (roomTempState AbrinToxin Solid) | Mid-level-ontology.kif 31664-31664 | |
| (roomTempState Actinium Solid) | Mid-level-ontology.kif 31646-31646 | |
| (roomTempState Alumina Solid) | Mid-level-ontology.kif 31668-31668 | |
| (roomTempState Aluminum Solid) | Mid-level-ontology.kif 31570-31570 | |
| (roomTempState Americium Solid) | Mid-level-ontology.kif 31652-31652 | |
| (roomTempState Amphetamine Solid) | Mid-level-ontology.kif 31670-31670 | |
| (roomTempState Antimony Solid) | Mid-level-ontology.kif 31608-31608 | |
| (roomTempState Arsenic Solid) | Mid-level-ontology.kif 31590-31590 | |
| (roomTempState Asbestos Solid) | Mid-level-ontology.kif 31671-31671 | |
| (roomTempState Astatine Solid) | Mid-level-ontology.kif 31642-31642 | |
| (roomTempState Barite Solid) | Mid-level-ontology.kif 31674-31674 | |
| (roomTempState Barium Solid) | Mid-level-ontology.kif 31613-31613 | |
| (roomTempState Batrachotoxin Solid) | Mid-level-ontology.kif 31675-31675 | |
| (roomTempState Bauxite Solid) | Mid-level-ontology.kif 31676-31676 | |
| (roomTempState Berkelium Solid) | Mid-level-ontology.kif 31654-31654 | |
| (roomTempState Beryllium Solid) | Mid-level-ontology.kif 31560-31560 | |
| (roomTempState Bismuth Solid) | Mid-level-ontology.kif 31640-31640 | |
| (roomTempState BotulinumToxin Solid) | Mid-level-ontology.kif 31677-31677 | |
| (roomTempState Boulder Solid) | Mid-level-ontology.kif 31521-31521 | |
| (roomTempState BrownCoal Solid) | Mid-level-ontology.kif 31505-31505 | |
| (roomTempState Butter Solid) | Mid-level-ontology.kif 31555-31555 | |
| (roomTempState Cadmium Solid) | Mid-level-ontology.kif 31605-31605 | |
| (roomTempState Caesium Solid) | Mid-level-ontology.kif 31612-31612 | |
| (roomTempState Caffeine Solid) | Mid-level-ontology.kif 31679-31679 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (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 1379-1389 | |
| (=> (and (instance ?W Water) (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 21590-21596 |
| consequent |
|
|
| (<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid))) |
Mid-level-ontology.kif 8946-8950 | |
| (=> (and (instance ?ACT Eating) (resource ?ACT ?FOOD)) (attribute ?FOOD Solid)) |
Merge.kif 10249-10253 | |
| (=> (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 13891-13899 | |
| (=> (and (instance ?G Grease) (holdsDuring ?T (measure ?G (MeasureFn 77 FahrenheitDegree)))) (holdsDuring ?T (attribute ?G Solid))) |
Cars.kif 2986-2992 | |
| (=> (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 13803-13811 | |
| (=> (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 1091-1096 | |
| (=> (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 13771-13784 | |
| (=> (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 13711-13720 | |
| (=> (instance ?C Clot) (attribute ?C Solid)) |
Mid-level-ontology.kif 10416-10418 | |
| (=> (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 10390-10402 | |
| (=> (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 4537-4552 | |
| (=> (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 2782-2792 | |
| (=> (instance ?Glacier Glacier) (exists (?Water) (and (instance ?Water Water) (attribute ?Water Solid) (part ?Water ?Glacier)))) |
Geography.kif 5905-5911 | |
| (=> (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 2514-2524 | |
| (=> (instance ?P Pill) (attribute ?P Solid)) |
Mid-level-ontology.kif 9218-9220 | |
| (=> (instance ?POWDER Powder) (attribute ?POWDER Solid)) |
Mid-level-ontology.kif 8921-8923 | |
| (=> (instance ?PROCESS Hailing) (precipitationState ?PROCESS Solid)) |
Weather.kif 1180-1182 | |
| (=> (instance ?PROCESS Snowing) (precipitationState ?PROCESS Solid)) |
Weather.kif 1137-1139 | |
| (=> (instance ?Rock Rock) (attribute ?Rock Solid)) |
Mid-level-ontology.kif 17757-17759 | |
| (=> (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 4516-4531 | |
| (=> (instance ?X Feces) (attribute ?X Solid)) |
Mid-level-ontology.kif 2053-2055 | |
| (=> (instance ?X LiquidFood) (not (exists (?ING) (and (part ?ING ?X) (attribute ?ING Solid))))) |
Mid-level-ontology.kif 21409-21415 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|