| Water
| |
| appearance as argument number 1 |
|
|
| (documentation Water ChineseLanguage "这是复合物H20样品的 Class。注：这个 Class 同时包括纯正 和非纯正的 Water。") | chinese_format.kif 3362-3363 | |
| (documentation Water EnglishLanguage "The Class of samples of the compound H20. Note that this Class covers both pure and impure Water.") | Merge.kif 14278-14279 | |
| (externalImage Water "http://upload.wikimedia.org/wikipedia/commons/2/24/ Drop_of_water_2003_03.jpg") | pictureList.kif 83-83 | |
| (mixturePartType Water SodiumLactate) | Medicine.kif 5885-5885 | |
| (roomTempState Water Liquid) | Mid-level-ontology.kif 31588-31588 | |
| (subclass Water CompoundSubstance) | Merge.kif 14277-14277 |
| appearance as argument number 2 |
|
|
| (subclass BrackishWater Water) | Geography.kif 2847-2847 | |
| (subclass FreshWater Water) | Geography.kif 2730-2730 | |
| (subclass GroundWater Water) | Geography.kif 2743-2743 | |
| (subclass Ice Water) | Mid-level-ontology.kif 8948-8948 | |
| (subclass PurifiedWater Water) | Food.kif 237-237 | |
| (subclass Rain Water) | Weather.kif 2963-2963 | |
| (subclass SeaWater Water) | Geography.kif 2820-2820 | |
| (subclass Steam Water) | Mid-level-ontology.kif 25577-25577 | |
| (termFormat ChineseLanguage Water "水") | chinese_format.kif 961-961 | |
| (termFormat EnglishLanguage Water "water") | english_format.kif 1129-1129 | |
| (termFormat FrenchLanguage Water "eau") | french_format.kif 638-638 | |
| (termFormat Hindi Water "jala") | terms-hindi.txt 169-169 | |
| (termFormat ItalianLanguage Water "Acqua") | terms-it.txt 172-172 | |
| (termFormat JapaneseLanguage Water "水") | japanese_format.kif 2322-2322 | |
| (termFormat PortugueseLanguage Water "Agua") | portuguese_format.kif 590-590 | |
| (termFormat cb Water "tubig") | terms-cb.txt 174-174 | |
| (termFormat cz Water "water") | terms-cz.txt 206-206 | |
| (termFormat ro Water "apã") | relations-ro.kif 659-659 | |
| (termFormat tg Water "tubig") | terms-tg.txt 173-173 |
| antecedent |
|
|
| (=> (and (instance ?PROCESS FreezingRain) (patient ?PROCESS ?STUFF) (instance ?STUFF Water)) (holdsDuring (ImmediateFutureFn (WhenFn ?PROCESS)) (attribute ?STUFF Solid))) |
Weather.kif 1091-1096 | |
| (=> (and (instance ?RAINFALL Process) (patient ?RAINFALL ?RAIN) (instance ?RAIN Water) (measure ?RAIN (MeasureFn ?PH PHValue))) (lessThan ?PH 5.6)) |
Geography.kif 2561-2567 | |
| (=> (and (instance ?X HotTub) (located ?WATER ?X) (instance ?WATER Water)) (modalAttribute (exists (?HEAT) (and (instance ?HEAT Heating) (instrument ?HEAT ?X) (patient ?HEAT ?WATER))) Possibility)) |
Mid-level-ontology.kif 25237-25247 | |
| (=> (instance ?S Water) (capability Salination patient ?S)) |
Geography.kif 2907-2909 | |
| (=> (instance ?WATER Water) (exists (?SYNTHESIS ?HYDROGEN ?OXYGEN) (and (instance ?SYNTHESIS ChemicalSynthesis) (resource ?SYNTHESIS ?HYDROGEN) (instance ?HYDROGEN Hydrogen) (resource ?SYNTHESIS ?OXYGEN) (instance ?OXYGEN Oxygen) (result ?SYNTHESIS ?WATER)))) |
Mid-level-ontology.kif 8754-8763 |
| consequent |
|
|
| (<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid))) |
Mid-level-ontology.kif 8951-8955 | |
| (=> (and (instance ?ORG Organization) (attribute ?ORG Utilities)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (or (instance ?EV Removing) (instance ?THING Sewage)) (patient ?EV ?THING) (or (instance ?THING Electron) (instance ?THING Water) (and (instance ?THING PureSubstance) (capability Combustion patient ?THING))) (member ?MEM2 ?ORG) (instance ?EV2 FinancialTransaction) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 954-977 | |
| (=> (and (instance ?SOLUTION SalineSolution) (part ?PART ?SOLUTION)) (or (instance ?PART SodiumChloride) (instance ?PART Water))) |
Mid-level-ontology.kif 8746-8752 | |
| (=> (attribute ?X WaterBed) (exists (?MATTRESS ?WATER) (and (component ?MATTRESS ?X) (contains ?MATTRESS ?WATER) (instance ?WATER Water)))) |
Mid-level-ontology.kif 4086-4092 | |
| (=> (instance ?ALGA Alga) (exists (?WATER) (and (inhabits ?ALGA ?WATER) (instance ?WATER Water)))) |
Merge.kif 14388-14393 | |
| (=> (instance ?AR AcidRainfall) (exists (?RAIN ?PH) (and (instance ?RAIN Water) (patient ?AR ?RAIN) (measure ?RAIN (MeasureFn ?PH PHValue)) (lessThan ?PH 5.0)))) |
Geography.kif 2509-2517 | |
| (=> (instance ?AR AcidRainfall) (exists (?RAIN ?SO2 ?NO ?NO2) (and (instance ?RAIN Water) (patient ?AR ?RAIN) (instance ?SO2 SulphurDioxide) (instance ?NO NitricOxide) (instance ?NO2 NitrogenDioxide) (or (part ?SO2 ?RAIN) (part ?NO ?RAIN) (part ?NO2 ?RAIN))))) |
Geography.kif 2495-2507 | |
| (=> (instance ?AREA WaterArea) (exists (?BED ?HOLE ?WATER) (and (equal (HoleHostFn ?HOLE) ?BED) (instance ?WATER Water) (properlyFills ?WATER ?HOLE) (equal (MereologicalSumFn ?BED ?WATER) ?AREA)))) |
Merge.kif 14094-14101 | |
| (=> (instance ?CLOUD WaterCloud) (exists (?WATER) (and (instance ?WATER Water) (part ?WATER ?CLOUD)))) |
Merge.kif 14743-14748 | |
| (=> (instance ?CLOUD WaterCloud) (forall (?PART) (=> (and (part ?PART ?CLOUD) (not (instance ?PART Water))) (exists (?WATER ?MEASURE1 ?MEASURE2 ?U) (and (instance ?WATER Water) (part ?WATER ?CLOUD) (measure ?WATER (MeasureFn ?MEASURE1 ?U)) (measure ?PART (MeasureFn ?MEASURE2 ?U)) (greaterThan ?MEASURE1 ?MEASURE2)))))) |
Merge.kif 14750-14763 | |
| (=> (instance ?DRIZZLE Drizzling) (exists (?CLTN ?R ?SIZE) (and (instance ?CLTN Collection) (instance ?R Water) (instance ?R LiquidDrop) (member ?R ?CLTN) (objectTransferred ?DRIZZLE ?CLTN) (approximateDiameter ?R (MeasureFn ?SIZE Millimeter)) (modalAttribute (lessThanOrEqualTo ?SIZE 0.5) Likely)))) |
Weather.kif 2803-2815 | |
| (=> (instance ?FISH Fish) (exists (?WATER) (and (inhabits ?FISH ?WATER) (instance ?WATER Water)))) |
Merge.kif 14543-14548 | |
| (=> (instance ?FT FishTank) (hasPurpose ?FT (exists (?W ?F) (and (instance ?W Water) (instance ?F Fish) (contains ?FT ?W) (contains ?FT ?F))))) |
Mid-level-ontology.kif 29409-29417 | |
| (=> (instance ?Glacier Glacier) (exists (?Water) (and (instance ?Water Water) (attribute ?Water Solid) (part ?Water ?Glacier)))) |
Geography.kif 5982-5988 | |
| (=> (instance ?M Mud) (exists (?W) (and (instance ?W Water) (part ?W ?M)))) |
Cars.kif 4985-4990 | |
| (=> (instance ?MOTION WaterMotion) (exists (?WATER) (and (patient ?MOTION ?WATER) (instance ?WATER Water)))) |
Merge.kif 11221-11226 | |
| (=> (instance ?PROCESS Precipitation) (exists (?STUFF) (and (instance ?STUFF Water) (patient ?PROCESS ?STUFF)))) |
Merge.kif 11197-11202 | |
| (=> (instance ?PW PurifiedWater) (exists (?R ?W ?S) (and (instance ?R Removing) (origin ?R ?W) (instance ?W Water) (patient ?R ?S) (instance ?S Substance) (part ?S ?W) (result ?R ?PW)))) |
Food.kif 248-258 | |
| (=> (instance ?RAIN Raining) (exists (?CLTN ?R ?CLASS) (and (instance ?CLTN Collection) (instance ?R Water) (instance ?R LiquidDrop) (instance ?R ?CLASS (member ?R ?CLTN) (objectTransferred ?RAIN ?CLTN) (defaultMinimumSphereRadius ?CLASS (MeasureFn 0.1 Millimeter)) (defaultMaximumSphereRadius ?CLASS (MeasureFn 9.0 Millimeter)))))) |
Weather.kif 1057-1070 | |
| (=> (instance ?STEAM Steam) (exists (?BOIL ?WATER) (and (instance ?BOIL Boiling) (instance ?WATER Water) (patient ?BOIL ?WATER) (result ?BOIL ?STEAM) (attribute ?STEAM Gas)))) |
Mid-level-ontology.kif 25582-25590 | |
| (=> (instance ?SVC DryCleaningService) (exists (?CLOTHES ?WATER ?CHEM) (and (instance ?CLOTHES Clothing) (not (instrument ?SVC ?WATER)) (instance ?WATER Water) (instance ?CHEM ChemicalProduct) (instrument ?SVC ?CHEM) (patient ?SVC ?CLOTHES) (result ?SVC (attribute ?CLOTHES Clean))))) |
Hotel.kif 1809-1819 | |
| (=> (instance ?TUB BathTub) (hasPurpose ?TUB (exists (?WATER) (and (instance ?WATER Water) (contains ?TUB ?WATER))))) |
Mid-level-ontology.kif 2026-2032 | |
| (=> (instance ?TUB WhirlpoolTub) (exists (?VALVE) (and (instance ?VALVE PressureControlValve) (part ?VALVE ?TUB) (hasPurpose ?VALVE (exists (?WATER ?CREATION ?MOTION) (and (instance ?WATER Water) (located ?WATER ?TUB) (instance ?CREATION Creation) (instrument ?CREATION ?VALVE) (result ?CREATION ?MOTION) (instance ?MOTION Motion) (located ?MOTION ?WATER))))))) |
Mid-level-ontology.kif 25215-25230 | |
| (=> (instance ?X WaterSport) (exists (?W) (and (or (instance ?W WaterArea) (and (instance ?W FluidContainer) (exists (?WATER) (and (instance ?WATER Water) (located ?WATER ?W))))) (eventLocated ?X ?W)))) |
Sports.kif 1211-1223 | |
| (=> (instance ?X WaterVehicle) (hasPurpose ?X (exists (?EV ?SURF) (and (instance ?SURF Water) (instance ?EV Transportation) (holdsDuring (WhenFn ?EV) (meetsSpatially ?X ?SURF)))))) |
Mid-level-ontology.kif 3459-3468 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|