Solid - Sigma Knowledge base Browser

appearance as argument number 1

(contraryAttribute Solid Liquid Gas Plasma)	Merge.kif 17564-17564	Solid is the opposite of liquid
(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 17574-17575
(instance Solid PhysicalState)	Merge.kif 17573-17573	Solid is an instance of physical state

appearance as argument number 2

(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma)	Merge.kif 17565-17565	Solid are all the attributes of physical state
(roomTempState AbrinToxin Solid)	Mid-level-ontology.kif 31553-31553	roomTempState abrin toxin and solid
(roomTempState Actinium Solid)	Mid-level-ontology.kif 31535-31535	roomTempState actinium and solid
(roomTempState Alumina Solid)	Mid-level-ontology.kif 31557-31557	roomTempState alumina and solid
(roomTempState Aluminum Solid)	Mid-level-ontology.kif 31459-31459	roomTempState aluminum and solid
(roomTempState Americium Solid)	Mid-level-ontology.kif 31541-31541	roomTempState americium and solid
(roomTempState Amphetamine Solid)	Mid-level-ontology.kif 31559-31559	roomTempState amphetamine and solid
(roomTempState AnimalFat Solid)	Food.kif 2872-2872	roomTempState animal fat and solid
(roomTempState Antimony Solid)	Mid-level-ontology.kif 31497-31497	roomTempState antimony and solid
(roomTempState Arsenic Solid)	Mid-level-ontology.kif 31479-31479	roomTempState arsenic and solid
(roomTempState Asbestos Solid)	Mid-level-ontology.kif 31560-31560	roomTempState asbestos and solid
(roomTempState Astatine Solid)	Mid-level-ontology.kif 31531-31531	roomTempState astatine and solid
(roomTempState Barite Solid)	Mid-level-ontology.kif 31563-31563	roomTempState barite and solid
(roomTempState Barium Solid)	Mid-level-ontology.kif 31502-31502	roomTempState barium and solid
(roomTempState Batrachotoxin Solid)	Mid-level-ontology.kif 31564-31564	roomTempState batrachotoxin and solid
(roomTempState Bauxite Solid)	Mid-level-ontology.kif 31565-31565	roomTempState bauxite and solid
(roomTempState Berkelium Solid)	Mid-level-ontology.kif 31543-31543	roomTempState berkelium and solid
(roomTempState Beryllium Solid)	Mid-level-ontology.kif 31449-31449	roomTempState beryllium and solid
(roomTempState Bismuth Solid)	Mid-level-ontology.kif 31529-31529	roomTempState bismuth and solid
(roomTempState BotulinumToxin Solid)	Mid-level-ontology.kif 31566-31566	roomTempState botulinum toxin and solid
(roomTempState Boulder Solid)	Mid-level-ontology.kif 31412-31412	roomTempState boulder and solid
(roomTempState BrownCoal Solid)	Mid-level-ontology.kif 31396-31396	roomTempState brown coal and solid
(roomTempState Butter Solid)	Food.kif 3098-3098	roomTempState butter and solid
(roomTempState ButterFat Solid)	Food.kif 2931-2931	roomTempState butter fat and solid
(roomTempState Cadmium Solid)	Mid-level-ontology.kif 31494-31494	roomTempState cadmium and solid

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 7545-7554	If an object is an instance of colloid and another object is a part of the object and solid is an attribute of the other object or liquid is an attribute of the other object and a third object is an instance of air and the third object is a part of the object, then the object is an instance of aerosal
(=> (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 7142-7162	If an object is an instance of crystal and mono crystalline is an attribute of the object and a self connected object is an instance of substance and solid is an attribute of the self connected object and poly crystalline is an attribute of the self connected object and another self connected object is an instance of substance and the other self connected object is a surface of the self connected object and the object is not a part of the other self connected object, then there exist the objectLNT, an integer and another object such that the objectLNT is an instance of collection and the integer is a member count of the objectLNT and the integer is greater than or equal to 4 and if the other object is a member of the objectLNT, then the other object is a part of the self connected object and the object meets the other object
(=> (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	If an object is an instance of absolute filter and a process is an instance of removing and the process originates at another object and the other object is an instance of gas mixture and a third object is a patient of the process and solid is an attribute of the third object and the object is an instrument for the process, then the third object is not a part of the other object
(=> (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	If an object is an instance of tap water and another object is an instance of mixture and the object is a part of the other object and a third object is an instance of antifreeze and the third object is a part of the other object and solid is an attribute of the other object and the measure of the other object is a real number celsius degree(s), then 32 is greater than the real number
(=> (and (instance ?X Colloid) (attribute ?X Solid) (attribute ?X Fluid) (equal ?X ?Y)) (instance ?Y Gel))	Mid-level-ontology.kif 21615-21621	If an object is an instance of colloid and solid is an attribute of the object and fluid is an attribute of the object and the object is equal to an entity, then the entity is an instance of gel

consequent

(<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid)))	Mid-level-ontology.kif 8978-8982	An object is an instance of ice if and only if the object is an instance of water and solid is an attribute of the object
(=> (and (instance ?ACT Eating) (resource ?ACT ?FOOD)) (attribute ?FOOD Solid))	Merge.kif 10287-10291	If a process is an instance of eating and an object is a resource for the process, then solid is an attribute of the object
(=> (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	If a process is an instance of deposition and an object is a patient of the process, then there exists another object such that the other object is a part of the object and gas is an attribute of the other object holds during the beginning of the time of existence of the process and solid is an attribute of the other object holds during the end of the time of existence of the process and liquid is an attribute of the other object doesn't hold during the time of existence of the process
(=> (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 14022-14030	If a process is an instance of freezing and an object is a patient of the process, then there exists another object such that the other object is a part of the object and liquid is an attribute of the other object holds during the beginning of the time of existence of the process and solid is an attribute of the other object holds during the end of the time of existence of the process
(=> (and (instance ?G Grease) (holdsDuring ?T (measure ?G (MeasureFn 77 FahrenheitDegree)))) (holdsDuring ?T (attribute ?G Solid)))	Cars.kif 2992-2998	If an entity is an instance of grease and the measure of the entity is 77 fahrenheit degree(s) holds during a time position, then solid is an attribute of the entity holds during the time position
(=> (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 13934-13942	If a process is an instance of melting and an object is a patient of the process, then there exists another object such that the other object is a part of the object and solid is an attribute of the other object holds during the beginning of the time of existence of the process and liquid is an attribute of the other object holds during the end of the time of existence of the process
(=> (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	If a collection is an instance of organization and mining is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an object, the process2 and the agent2 such that the agent is an instance of removing and the object is a patient of the agent and the object is an instance of pure substance and solid is an attribute of the object and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the object is a patient of the agent2
(=> (and (instance ?PROCESS FreezingRain) (patient ?PROCESS ?STUFF) (instance ?STUFF Water)) (holdsDuring (ImmediateFutureFn (WhenFn ?PROCESS)) (attribute ?STUFF Solid)))	Weather.kif 1087-1092	If a process is an instance of freezing rain and an entity is a patient of the process and the entity is an instance of water, then solid is an attribute of the entity holds during immediately after the time of existence of the process
(=> (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	If a process is an instance of sublimation and an object is a patient of the process, then there exists another object such that the other object is a part of the object and solid is an attribute of the other object holds during the beginning of the time of existence of the process and gas is an attribute of the other object holds during the end of the time of existence of the process and liquid is an attribute of the other object doesn't hold during the time of existence of the process
(=> (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 13902-13915	If an entity is an instance of a kind of pure substance and a real number an unit of measure(s) is a melting point of a kind of pure substance and the measure of the entity is another real number the unit of measure(s) holds during a time interval and the unit of measure is an instance of unit of temperature and the other real number is less than the real number, then solid is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of freezing and the entity is a patient of the process
(=> (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 13842-13851	If an object is an instance of a kind of pure substance and a kind of pure substance is a subclass of pure substance and a real number kelvin degree(s) is a melting point of the kind of pure substance and another real number inch mercury(s) is a barometric pressure of the object and the other real number is greater than 29.92 and the measure of the object is a third real number kelvin degree(s) and the third real number is less than the real number, then solid is an attribute of the object
(=> (instance ?C Clot) (attribute ?C Solid))	Mid-level-ontology.kif 10523-10525	If an object is an instance of clot, then solid is an attribute of the object
(=> (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 10497-10509	If a physical is an instance of coagulation, then there exists an entity such that the entity is an instance of blood and liquid is an attribute of the entity holds during immediately before the time of existence of the physical and solid is an attribute of the entity holds during immediately after the time of existence of the physical
(=> (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 4570-4585	If a physical is an instance of colander, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of mixture and the other entity is an instance of substance and the other entity is a part of the entity and liquid is an attribute of the other entity and the fourth entity is an instance of removing and the other entity is a patient of the fourth entity and the third entity is an instance of substance and the third entity is a part of the entity and solid is an attribute of the third entity and the third entity is a result of the fourth entity and the physical is an instrument for the fourth entity
(=> (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	If an object is an instance of exhaust, then there exist another object, a third object and a process such that the process is an instance of burning and solid is an attribute of the other object and gas is an attribute of the third object and the other object is a part of the object and the third object is a part of the object and the object is a result of the process
(=> (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	If a physical is an instance of air filter, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of removing and the other entity is a part of the fourth entity and the other entity is an instance of air and the third entity is not an instance of air and solid is an attribute of the third entity and the third entity is a patient of the entity and the third entity is a part of the fourth entity and the entity originates at the fourth entity and the fourth entity is an instance of mixture and the physical is an instrument for the entity
(=> (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 2778-2788	If a process is an instance of Frosting, then there exist an object and another object such that the object is an instance of ice and mono crystalline is an attribute of the object and the object is a patient of the process and the other object is an instance of object and solid is an attribute of the other object and the process ends up at the other object and the process meets the other object
(=> (instance ?Glacier Glacier) (exists (?Water) (and (instance ?Water Water) (attribute ?Water Solid) (part ?Water ?Glacier))))	Geography.kif 6004-6010	If an object is an instance of glacier, then there exists another object such that the other object is an instance of water and solid is an attribute of the other object and the other object is a part of the object
(=> (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 2510-2520	If a process is an instance of icing, then there exist an object and another object such that the object is an instance of ice and poly crystalline is an attribute of the object and the object is a patient of the process and the other object is an instance of object and solid is an attribute of the other object and the process ends up at the other object and the object meets the other object
(=> (instance ?P Pill) (attribute ?P Solid))	Mid-level-ontology.kif 9250-9252	If an object is an instance of pill, then solid is an attribute of the object
(=> (instance ?POWDER Powder) (attribute ?POWDER Solid))	Mid-level-ontology.kif 8953-8955	If an object is an instance of powder, then solid is an attribute of the object
(=> (instance ?PROCESS Hailing) (precipitationState ?PROCESS Solid))	Weather.kif 1176-1178	If a weather process is an instance of hailing, then solid is a precipitation state of the weather process
(=> (instance ?PROCESS Snowing) (precipitationState ?PROCESS Solid))	Weather.kif 1133-1135	If a weather process is an instance of snowing, then solid is a precipitation state of the weather process
(=> (instance ?Rock Rock) (attribute ?Rock Solid))	Mid-level-ontology.kif 17909-17911	If an object is an instance of rock, then solid is an attribute of the object
(=> (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 4549-4564	If a physical is an instance of strainer, then the physical has the purpose there exist an entity, the physicalUB,, , a third entity and a fourth entity such that the entity is an instance of mixture and the physicalUB is an instance of substance and the third entity is an instance of substance and the physicalUB is a part of the entity and solid is an attribute of the physicalUB and the fourth entity is an instance of removing and the third entity is a part of the entity and liquid is an attribute of the third entity and the physicalUB is a patient of the fourth entity and the third entity is a result of the fourth entity and the physical is an instrument for the fourth entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: