Solid - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17725-17725	Solid is the opposite of liquid
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3924-3925	Solid is the opposite of liquid
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17735-17736	Solid is the opposite of liquid
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17734-17734	Solid is an instance of physical state

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17726-17726	Solid are all the attributes of physical state
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33502-33502	room temperature state abrin toxin and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33484-33484	room temperature state actinium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33506-33506	room temperature state alumina and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33408-33408	room temperature state aluminum and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33490-33490	room temperature state americium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33508-33508	room temperature state amphetamine and solid
No TPTP formula. May not be expressible in strict first order.	Food.kif 2879-2879	room temperature state animal fat and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33446-33446	room temperature state antimony and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33428-33428	room temperature state arsenic and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33509-33509	room temperature state asbestos and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33480-33480	room temperature state astatine and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33512-33512	room temperature state barite and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33451-33451	room temperature state barium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33513-33513	room temperature state batrachotoxin and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33514-33514	room temperature state bauxite and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33492-33492	room temperature state berkelium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33398-33398	room temperature state beryllium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33478-33478	room temperature state bismuth and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33515-33515	room temperature state botulinum toxin and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33361-33361	room temperature state boulder and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33345-33345	room temperature state brown coal and solid
No TPTP formula. May not be expressible in strict first order.	Food.kif 3105-3105	room temperature state butter and solid
No TPTP formula. May not be expressible in strict first order.	Food.kif 2938-2938	room temperature state butter fat and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33443-33443	room temperature state cadmium and solid

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7882-7891	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7479-7499	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23233-23239	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 equal the object and an entity, then the entity is an instance of gel

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10185-10189	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10405-10409	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7334-7351	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14153-14161	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3045-3051	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14065-14073	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1326-1331	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7386-7403	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14033-14046	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13973-13982	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4168-4173	If flammable solid is an attribute of an object, then the object is an instance of substance and solid is an attribute of the object and flammable is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11855-11857	If an object is an instance of clot, then solid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11829-11841	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5015-5030	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3612-3622	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6307-6313	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3343-3353	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10580-10582	If an object is an instance of pill, then solid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10160-10162	If an object is an instance of powder, then solid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1415-1417	If a weather process is an instance of hailing, then solid is a precipitation state of the weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1372-1374	If a weather process is an instance of snowing, then solid is a precipitation state of the weather process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19481-19483	If an object is an instance of rock, then solid is an attribute of the object

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: