|
|
   SITREP
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Liquid ChineseLanguage "这是如果一个 Object 的体积是固定，但它的形状却不是固定的话， 那么它的 Attribute 便是属于 Liquid。") | chinese_format.kif 3928-3929 | |
| (documentation Liquid EnglishLanguage "An Object has the Attribute of Liquid if it has a fixed volume but not a fixed shape.") | Merge.kif 17636-17637 | |
| (instance Liquid PhysicalState) | Merge.kif 17634-17634 | 液体 是 物质状态 的 instance |
| (subAttribute Liquid Fluid) | Merge.kif 17635-17635 | 液体 是 流体 的 subAttribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Solid Liquid Gas Plasma) | Merge.kif 17621-17621 | 固体 是 液体 的相反 |
| (roomTempState Absolut Liquid) | Mid-level-ontology.kif 31472-31472 | roomTempState Absolut and 液体 |
| (roomTempState Alcohol Liquid) | Mid-level-ontology.kif 31590-31590 | roomTempState 醇 and 液体 |
| (roomTempState AlcoholicBeverage Liquid) | Mid-level-ontology.kif 31453-31453 | roomTempState 酒精饮料 and 液体 |
| (roomTempState Aldosterone Liquid) | Mid-level-ontology.kif 31591-31591 | roomTempState Aldosterone and 液体 |
| (roomTempState Alkaloid Liquid) | Mid-level-ontology.kif 31592-31592 | roomTempState 生物碱 and 液体 |
| (roomTempState Amaretto Liquid) | Mid-level-ontology.kif 31460-31460 | roomTempState Amaretto and 液体 |
| (roomTempState AminoAcid Liquid) | Mid-level-ontology.kif 31594-31594 | roomTempState 氨基酸 and 液体 |
| (roomTempState Aperitif Liquid) | Mid-level-ontology.kif 31457-31457 | roomTempState Aperitif and 液体 |
| (roomTempState Atropine Liquid) | Mid-level-ontology.kif 31597-31597 | roomTempState 阿托品 and 液体 |
| (roomTempState Bacardi Liquid) | Mid-level-ontology.kif 31468-31468 | roomTempState Bacardi and 液体 |
| (roomTempState Bacitracin Liquid) | Mid-level-ontology.kif 31598-31598 | roomTempState 杆菌肽 and 液体 |
| (roomTempState Baileys Liquid) | Mid-level-ontology.kif 31461-31461 | roomTempState Baileys and 液体 |
| (roomTempState Beer Liquid) | Mid-level-ontology.kif 31477-31477 | roomTempState 啤酒 and 液体 |
| (roomTempState Beverage Liquid) | Mid-level-ontology.kif 31449-31449 | roomTempState 饮料 and 液体 |
| (roomTempState BloodAgent Liquid) | Mid-level-ontology.kif 31585-31585 | roomTempState 血液剂 and 液体 |
| (roomTempState Boron Liquid) | Mid-level-ontology.kif 31486-31486 | roomTempState 硼 and 液体 |
| (roomTempState Brandy Liquid) | Mid-level-ontology.kif 31476-31476 | roomTempState 白兰地 and 液体 |
| (roomTempState Bromine Liquid) | Mid-level-ontology.kif 31517-31517 | roomTempState 溴 and 液体 |
| (roomTempState Buttermilk Liquid) | Food.kif 3170-3170 | roomTempState Buttermilk and 液体 |
| (roomTempState Campari Liquid) | Mid-level-ontology.kif 31458-31458 | roomTempState Campari and 液体 |
| (roomTempState Chambord Liquid) | Mid-level-ontology.kif 31462-31462 | roomTempState Chambord and 液体 |
| (roomTempState Champagne Liquid) | Mid-level-ontology.kif 31455-31455 | roomTempState Champagne and 液体 |
| (roomTempState ChemicalAcid Liquid) | Mid-level-ontology.kif 31607-31607 | roomTempState 化学酸 and 液体 |
| (roomTempState ChemicalBase Liquid) | Mid-level-ontology.kif 31608-31608 | roomTempState 化学基地 and 液体 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| (exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) | Merge.kif 17622-17622 | 固体 是所有的 物质状态 的 attributes |
| antecedent |
|
|
| consequent |
|
|
| (=> (and (instance ?ACT Drinking) (resource ?ACT ?FOOD)) (attribute ?FOOD Liquid)) |
Merge.kif 10312-10316 | |
| (=> (and (instance ?BOIL Boiling) (patient ?BOIL ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (holdsDuring (BeginFn (WhenFn ?BOIL)) (attribute ?PART Liquid)) (holdsDuring (EndFn (WhenFn ?BOIL)) (attribute ?PART Gas))))) |
Merge.kif 13979-13987 | |
| (=> (and (instance ?BOTTLE Bottle) (contains ?BOTTLE ?STUFF)) (attribute ?STUFF Liquid)) |
Mid-level-ontology.kif 4687-4691 | |
| (=> (and (instance ?C Cavitating) (instance ?P Pump) (attribute ?P DeviceOn) (attribute ?L1 Liquid) (contains ?P ?L1)) (exists (?PP ?L2) (and (part ?PP ?P) (hasPurpose ?PP (and (attribute ?L2 Liquid) (meetsSpatially ?L2 ?PP))) (holdsDuring (WhenFn ?C) (not (exists (?L3) (and (attribute ?L3 Liquid) (meetsSpatially ?PP ?L3)))))))) |
Cars.kif 1747-1767 |
|
| (=> (and (instance ?COND Condensing) (patient ?COND ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (holdsDuring (BeginFn (WhenFn ?COND)) (attribute ?PART Gas)) (holdsDuring (EndFn (WhenFn ?COND)) (attribute ?PART Liquid))))) |
Merge.kif 14025-14033 | |
| (=> (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 6997-7014 | |
| (=> (and (instance ?E Edema) (experiencer ?E ?A)) (exists (?T ?P ?L) (and (instance ?T Transfer) (instance ?L Liquid) (instance ?P BodyPart) (part ?P ?A) (destination ?T ?P) (moves ?T ?L) (subProcess ?T ?E)))) |
Mid-level-ontology.kif 9991-10003 | |
| (=> (and (instance ?EVAP Evaporating) (boilingPoint ?CLASS (MeasureFn ?BOILVAL ?MEAS)) (instance ?OBJ ?CLASS) (measure ?OBJ (MeasureFn ?VAL ?MEAS)) (instance ?MEAS UnitOfTemperature) (patient ?EVAP ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (greaterThan ?BOILVAL ?VAL) (holdsDuring (BeginFn (WhenFn ?EVAP)) (attribute ?PART Liquid)) (holdsDuring (EndFn (WhenFn ?EVAP)) (attribute ?PART Gas))))) |
Merge.kif 13999-14012 |
|
| (=> (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 14046-14054 | |
| (=> (and (instance ?LD LiquidDrop) (surface ?S ?LD)) (modalAttribute (exists (?SS ?LL) (and (instance ?LL Substance) (attribute ?LL Liquid) (not (equal ?LD ?LL)) (surface ?SS ?LL) (meetsSpatially ?S ?SS))) Unlikely)) |
Geography.kif 7497-7509 |
|
| (=> (and (instance ?LECS LiquidEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?L) (and (attribute ?L Liquid) (objectTransferred ?C ?L)))) |
Cars.kif 2149-2157 | |
| (=> (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 13958-13966 | |
| (=> (and (instance ?MOTION LiquidMotion) (patient ?MOTION ?OBJ)) (attribute ?OBJ Liquid)) |
Merge.kif 11260-11264 | |
| (=> (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 7049-7066 | |
| (=> (and (instance ?SUBSTANCE ?TYPE) (boilingPoint ?TYPE (MeasureFn ?TEMP1 ?MEASURE)) (meltingPoint ?TYPE (MeasureFn ?TEMP2 ?MEASURE)) (instance ?MEASURE UnitOfTemperature) (holdsDuring ?TIME (measure ?SUBSTANCE (MeasureFn ?TEMP3 ?MEASURE))) (greaterThan ?TEMP3 ?TEMP2) (lessThan ?TEMP3 ?TEMP1)) (or (holdsDuring ?TIME (attribute ?SUBSTANCE Liquid)) (exists (?MELT) (and (overlapsTemporally (WhenFn ?MELT) ?TIME) (instance ?MELT Melting) (patient ?MELT ?SUBSTANCE))))) |
Merge.kif 13909-13924 |
|
| (=> (and (instance ?X ?Y) (subclass ?Y PureSubstance) (boilingPoint ?Y (MeasureFn ?BOIL KelvinDegree)) (meltingPoint ?Y (MeasureFn ?MELT KelvinDegree)) (measure ?X (MeasureFn ?TEMP KelvinDegree)) (greaterThan ?TEMP ?MELT) (lessThan ?TEMP ?BOIL)) (attribute ?X Liquid)) |
Merge.kif 13855-13864 | |
| (=> (attribute ?OBJ Dry) (not (exists (?SUBOBJ) (and (part ?SUBOBJ ?OBJ) (attribute ?SUBOBJ Liquid))))) |
Merge.kif 18074-18080 | |
| (=> (attribute ?OBJ Wet) (forall (?PART) (=> (part ?PART ?OBJ) (exists (?SUBPART) (and (part ?SUBPART ?PART) (attribute ?SUBPART Liquid)))))) |
Merge.kif 18092-18100 | |
| (=> (instance ?AERATE Aerating) (exists (?AIR ?S) (and (patient ?AERATE ?AIR) (instance ?AIR Air) (patient ?AERATE ?S) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 1892-1899 | |
| (=> (instance ?B Bubble) (exists (?S) (and (surface ?S ?B) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 4997-5002 |
|
| (=> (instance ?BEV Beverage) (attribute ?BEV Liquid)) |
Food.kif 395-397 | |
| (=> (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 10525-10537 | |
| (=> (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 4565-4580 |
|
| (=> (instance ?D Diluting) (exists (?S) (and (patient ?D ?S) (instance ?S Solution) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 19645-19651 | |
| (=> (instance ?D Diuretic) (hasPurpose ?D (exists (?R ?L ?H ?LOC) (and (instance ?H Human) (instance ?R Removing) (instance ?L Liquid) (experiencer ?R ?H) (moves ?R ?L) (origin ?L ?H) (not (contains ?H ?LOC)) (destination ?R ?LOC))))) |
Mid-level-ontology.kif 10037-10050 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|