| 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 14461-14462 | |
| (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 5902-5902 | mixturePartType 水 and SodiumLactate |
| (roomTempState Water Liquid) | Mid-level-ontology.kif 33616-33616 | roomTempState 水 and Liquid |
| (subclass Water CompoundSubstance) | Merge.kif 14460-14460 | 水 は 合成物質 の subclass では |
| appearance as argument number 2 |
|
|
| (subclass BrackishWater Water) | Geography.kif 3005-3005 | BrackishWater は 水 の subclass では |
| (subclass FreshWater Water) | Geography.kif 2888-2888 | FreshWater は 水 の subclass では |
| (subclass GroundWater Water) | Geography.kif 2901-2901 | GroundWater は 水 の subclass では |
| (subclass Ice Water) | Mid-level-ontology.kif 10182-10182 | Ice は 水 の subclass では |
| (subclass PurifiedWater Water) | Food.kif 237-237 | PurifiedWater は 水 の subclass では |
| (subclass Rain Water) | Weather.kif 3793-3793 | Rain は 水 の subclass では |
| (subclass SeaWater Water) | Geography.kif 2978-2978 | SeaWater は 水 の subclass では |
| (subclass Steam Water) | Mid-level-ontology.kif 27543-27543 | Steam は 水 の subclass では |
| (termFormat ChineseLanguage Water "水") | chinese_format.kif 961-961 | Steam は 水 の subclass では |
| (termFormat EnglishLanguage Water "water") | english_format.kif 1129-1129 | Steam は 水 の subclass では |
| (termFormat FrenchLanguage Water "eau") | french_format.kif 638-638 | Steam は 水 の subclass では |
| (termFormat Hindi Water "jala") | terms-hindi.txt 169-169 | Steam は 水 の subclass では |
| (termFormat ItalianLanguage Water "Acqua") | terms-it.txt 172-172 | Steam は 水 の subclass では |
| (termFormat JapaneseLanguage Water "水") | japanese_format.kif 2322-2322 | Steam は 水 の subclass では |
| (termFormat PortugueseLanguage Water "Agua") | portuguese_format.kif 590-590 | Steam は 水 の subclass では |
| (termFormat cb Water "tubig") | terms-cb.txt 174-174 | Steam は 水 の subclass では |
| (termFormat cz Water "water") | terms-cz.txt 206-206 | Steam は 水 の subclass では |
| (termFormat de Water "Wasser") | terms-de.txt 465-465 | Steam は 水 の subclass では |
| (termFormat ro Water "apã") | relations-ro.kif 659-659 | Steam は 水 の subclass では |
| (termFormat tg Water "tubig") | terms-tg.txt 173-173 | Steam は 水 の subclass では |
| antecedent |
|
|
| (=> (and (instance ?PROCESS FreezingRain) (patient ?PROCESS ?STUFF) (instance ?STUFF Water)) (holdsDuring (ImmediateFutureFn (WhenFn ?PROCESS)) (attribute ?STUFF Solid))) |
Weather.kif 1326-1331 | |
| (=> (and (instance ?RAINFALL Process) (patient ?RAINFALL ?RAIN) (instance ?RAIN Water) (measure ?RAIN (MeasureFn ?PH PHValue))) (lessThan ?PH 5.6)) |
Geography.kif 2719-2725 | |
| (=> (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 26967-26977 | |
| (=> (instance ?S Water) (capability Salination patient ?S)) |
Geography.kif 3065-3067 | |
| (=> (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 9988-9997 |
| consequent |
|
|
| (<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid))) |
Mid-level-ontology.kif 10185-10189 | オブジェクト は Ice の instance では オブジェクト は 水 の instance では Solid は オブジェクト の attribute では |
| (=> (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 9980-9986 | |
| (=> (attribute ?X WaterBed) (exists (?MATTRESS ?WATER) (and (component ?MATTRESS ?X) (contains ?MATTRESS ?WATER) (instance ?WATER Water)))) |
Mid-level-ontology.kif 4557-4563 | |
| (=> (instance ?ALGA Alga) (exists (?WATER) (and (inhabits ?ALGA ?WATER) (instance ?WATER Water)))) |
Merge.kif 14571-14576 | |
| (=> (instance ?AR AcidRainfall) (exists (?RAIN ?PH) (and (instance ?RAIN Water) (patient ?AR ?RAIN) (measure ?RAIN (MeasureFn ?PH PHValue)) (lessThan ?PH 5.0)))) |
Geography.kif 2667-2675 | |
| (=> (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 2653-2665 |
|
| (=> (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 14277-14284 | |
| (=> (instance ?CLOUD WaterCloud) (exists (?WATER) (and (instance ?WATER Water) (part ?WATER ?CLOUD)))) |
Merge.kif 14926-14931 | |
| (=> (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 14933-14946 | |
| (=> (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 3633-3645 |
|
| (=> (instance ?FISH Fish) (exists (?WATER) (and (inhabits ?FISH ?WATER) (instance ?WATER Water)))) |
Merge.kif 14726-14731 | |
| (=> (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 31411-31419 | |
| (=> (instance ?Glacier Glacier) (exists (?Water) (and (instance ?Water Water) (attribute ?Water Solid) (part ?Water ?Glacier)))) |
Geography.kif 6307-6313 | |
| (=> (instance ?M Mud) (exists (?W) (and (instance ?W Water) (part ?W ?M)))) |
Cars.kif 5046-5051 | |
| (=> (instance ?MOTION WaterMotion) (exists (?WATER) (and (patient ?MOTION ?WATER) (instance ?WATER Water)))) |
Merge.kif 11375-11380 | |
| (=> (instance ?PROCESS Precipitation) (exists (?STUFF) (and (instance ?STUFF Water) (patient ?PROCESS ?STUFF)))) |
Merge.kif 11351-11356 | |
| (=> (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 1292-1305 | |
| (=> (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 27548-27556 | |
| (=> (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 1820-1830 | |
| (=> (instance ?TUB BathTub) (hasPurpose ?TUB (exists (?WATER) (and (instance ?WATER Water) (contains ?TUB ?WATER))))) |
Mid-level-ontology.kif 2517-2523 | |
| (=> (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 26945-26960 |
|
| (=> (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 1225-1237 | |
| (=> (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 3930-3939 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|