Substance - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1587-1590
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1038-1044
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 165-169
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 194-199
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 917-917
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1035-1035	Substance is exhaustively partitioned into pure substance and mixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1036-1036	Substance is exhaustively partitioned into synthetic substance and natural substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1034-1034	Substance is a subclass of self connected object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1220-1220	Corpuscular object is disjoint from substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14745-14745	Biologically active substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14880-14880	Body substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2455-2455	Chemical acid is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1594-1594	Conductor substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3781-3781	Creatinine is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7178-7178	Crystal is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3070-3070	Drug candidate is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2652-2652	Effluent is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2622-2622	Electricity is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18951-18951	Explosive substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1759-1759	Fuel is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4960-4960	Gum arabic is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1599-1599	Insulator substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7556-7556	Liquid drop is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3034-3034	Lubricant is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14385-14385	Mineral is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1175-1175	Mixture is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1073-1073	Natural substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2750-2750	Noxious substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9723-9723	Powder is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1077-1077	Pure substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18993-18993	Rock is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4368-4368	Sugar is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9595-9595	Surfactant is a subclass of substance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 255-255	The number 2 argument of catalyst is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1241-1241	The number 1 argument of mixture ratio is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1242-1242	The number 2 argument of mixture ratio is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 944-944	The number 1 argument of piece is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 945-945	The number 2 argument of piece is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9570-9570	The number 2 argument of reactant is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9577-9577	The number 2 argument of reagent is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7587-7587	The number 1 argument of Amounts fn is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10012-10012	The number 1 argument of Mohs Scale is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10037-10037	The number 1 argument of Vickers Hardness is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6774-6774	The number 2 argument of allergic is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7603-7603	The number 1 argument of amount is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 225-225	The number 2 argument of concentration is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4355-4355	The number 2 argument of ground subsurface type is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4348-4348	The number 2 argument of ground surface type is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1206-1206	The number 1 argument of ingredient is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1207-1207	The number 2 argument of ingredient is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 971-971	The number 1 argument of material is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5846-5846	The number 1 argument of mixturePartType is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32798-32798	The number 1 argument of roomTempState is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1236-1236	The number 2 argument of substance element is a subclass of substance

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4324-4337	If an attribute is an attribute of an object and the object is an instance of substance and the attribute is an instance of hazardous material transport attribute and hazardous explosives is not an attribute of the object and hazardous gases is not an attribute of the object and flammable liquid is not an attribute of the object and flammable solid is not an attribute of the object and oxidizing substance is not an attribute of the object and toxic and infectious substance is not an attribute of the object and radioactive substance is not an attribute of the object and corrosive substance is not an attribute of the object, then the attribute is equal to hazardous miscellaneous
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4242-4246	If corrosive substance is an attribute of an object and the object is an instance of substance, then the object is capable of doing corrosion as a instrument
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4228-4235	If radioactive substance is an attribute of an object and the object is an instance of substance, then there exists a process such that the process is an instance of radiating nuclear and the process originates at the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4197-4221	If toxic and infectious substance is an attribute of an object and the object is an instance of substance or the object is an instance of microorganism, then there exist an agent, a process,, , another process and a third kind of process such that the agent is an instance of human or the agent is an instance of animal and the object is near to the agent and the process is an instance of inhaling or the process is an instance of ingesting or the process is an instance of touching and the agent is an agent of the process and the object is a patient of the process and the process causes the other process and the agent is a patient of the other process and the other process is an instance of a third kind of process and the object is capable of doing the third kind of process as a resource and the third kind of process is a subclass of injuring or the third kind of process is a subclass of death
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7210-7230	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.	Transportation.kif 4174-4187	If an object is an instance of substance and oxidizing substance is an attribute of the object, then there exists a process such that the process is an instance of releasing and oxygen is a patient of the process and the object is capable of doing releasing as a origin and the statement there exists an entity such that the entity is an instance of burning and the process causes the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1053-1058	If a substance is an instance of substance and an attribute is an attribute of the substance and another substance is a piece of the substance, then the attribute is an attribute of the other substance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 513-523	If a process is an instance of 3D printing and an object is an instance of substance and the object is a resource for the process, then there exists another object such that the other object is an instance of reservoir and the other object is a part of the process and the process originates at the other object and the object is located at the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7448-7460	If an object is an instance of substance and insoluble is an attribute of the object, then the statement there exist an entity and another entity such that the entity is an instance of substance and the other entity is an instance of solution and the object is a piece of the other entity and the entity is a piece of the other entity doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7420-7431	If an object is an instance of substance and soluble is an attribute of the object, then the statement there exist an entity and another entity such that the entity is an instance of substance and the other entity is an instance of solution and the object is a piece of the other entity and the entity is a piece of the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17698-17705	If an object is an instance of substance and gas is an attribute of the object or liquid is an attribute of the object or plasma is an attribute of the object, then fluid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1046-1051	If a class is a subclass of substance and a substance is an instance of the class and another substance is a piece of the substance, then the other substance is an instance of the class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17673-17678	If an object is an instance of substance, then there exists an attribute such that the attribute is an instance of physical state and the attribute is an attribute of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17680-17684	If an attribute is an instance of physical state and the attribute is an attribute of an object, then the object is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 3199-3211	If a process is an instance of curdling and a substance is a patient of the process and the substance is an instance of colloid, then there exist another process and another substance such that the other process is an instance of separating and the other process is a subprocess of the process and the substance is a patient of the other process and the other substance is a result of the other process and the other substance is a piece of the substance and the other substance is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7565-7577	If a self connected object is an instance of liquid drop and another self connected object is a surface of the self connected object, then the statement there exist the other self connected objectS and another entity such that the other entity is an instance of substance and liquid is an attribute of the other entity and the self connected object is not equal to the other entity and the other self connected objectS is a surface of the other entity and the other self connected object meets the other self connected objectS has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	naics.kif 8465-8488	If a collection is an instance of organization and pipeline transportation 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 exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity, another entity,, , a third entity and the cognitive agentIPE such that the entity is an instance of transportation and the cognitive agent possesses the third entity and the third entity is a patient of the entity and the third entity is an instance of substance and the collection possesses the other entity and the cognitive agentIPE is an instrument for the entity and the cognitive agentIPE is an instance of pipeline
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7448-7460	If an object is an instance of substance and insoluble is an attribute of the object, then the statement there exist an entity and another entity such that the entity is an instance of substance and the other entity is an instance of solution and the object is a piece of the other entity and the entity is a piece of the other entity doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7420-7431	If an object is an instance of substance and soluble is an attribute of the object, then the statement there exist an entity and another entity such that the entity is an instance of substance and the other entity is an instance of solution and the object is a piece of the other entity and the entity is a piece of the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4150-4155	If flammable liquid is an attribute of an object, then the object is an instance of substance and liquid 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.	Transportation.kif 4162-4167	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.	Transportation.kif 4136-4143	If hazardous gases is an attribute of an object, then the object is an instance of substance and gas is an attribute of the object and the object is capable of doing burning as a resource and the object is capable of doing damaging as a resource and the object is capable of doing corrosion as a resource
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4638-4653	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.	Transportation.kif 4257-4266	If a process is an instance of corrosion, then there exist an object, another process and another object such that the object is an instance of substance and the object is a patient of the process and the other process is an instance of removing and the other object is a patient of the other process and the other object is a part of the object and the other process is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9621-9630	If a physical is an instance of detergent, 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 an instance of substance and the other entity is a patient of the entity and the entity originates at the third entity and the third entity is a surface of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3110-3119	If a physical is an instance of hydrometer, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of measuring and the other entity is an instance of substance and liquid is an attribute of the other entity and the other entity is a patient of the entity and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3667-3683	If a physical is an instance of inflating, then there exist an object, another object,, , a real number,, , another real number,, , a class and an entity such that the object is an instance of the class and the other object is an instance of the class and the class is an instance of substance and gas is an attribute of the object and gas is an attribute of the other object and the entity is an instance of unit of volume and the measure of the object is the real number the entity(s) holds during immediately before the time of existence of the physical and the measure of the other object is the other real number the entity(s) holds during immediately after the time of existence of the physical and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1224-1232	If a corpuscular object is an instance of corpuscular object, then there exist a kind of substance and another kind of substance such that a kind of substance is a subclass of substance and another kind of substance is a subclass of substance and the corpuscular object is made of the kind of substance and the corpuscular object is made of the other kind of substance and the kind of substance is not equal to the other kind of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3328-3339	If a physical is an instance of painting device, 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 substance and the other entity is an instance of covering and the fourth entity is an instance of object and the third entity is a surface of the fourth entity and the physical is an agent of the other entity and the entity is an instrument for the other entity and the third entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18627-18638	If a process is an instance of pouring, then there exist an object, another object and an entity such that the process originates at the other object and the process ends up at the entity and the other object is an instance of container and the entity is an instance of container and the other object is not equal to the entity and the object is a patient of the process and liquid is an attribute of the object and the object is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 248-258	If an entity is an instance of purified water, then there exist a process, an object and another object such that the process is an instance of removing and the process originates at the object and the object is an instance of water and the other object is a patient of the process and the other object is an instance of substance and the other object is a part of the object and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 260-266	If an object is an instance of purified water, then there doesn't exist another object such that the other object is a part of the object and the other object is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 2068-2074	If an object is an instance of sauce, then there exists another object such that the other object is an instance of substance and the other object is a part of the object and liquid is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4596-4611	If a physical is an instance of sieve, then the physical has the purpose there exist an entity, another entity,, , the physicalUB,, , a fourth entity and a fifth entity such that the entity is an instance of removing and the other entity is an instance of mixture and the physicalUB is an instance of substance and the physicalUB is a part of the other entity and the physicalUB is a patient of the entity and the fourth entity is a part of the physical and the fourth entity is an instrument for the entity and the fifth entity is an instance of human and the fifth entity is an agent of the entity and the fifth entity doesn't desire the physicalUB
No TPTP formula. May not be expressible in strict first order.	Cars.kif 424-432	If a process is an instance of spark, then there exist an entity and an object such that the entity is an instance of electricity and the entity is a patient of the process and the object is an instance of substance and gas is an attribute of the object and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4617-4632	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10442-10453	If a physical is an instance of plant stem, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the physical is an instrument for the entity and the other entity is an instance of plant root and the entity originates at the other entity and the third entity is an instance of substance and fluid is an attribute of the third entity and the object transferred in the entity is the third entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1065-1071	If an entity is an instance of synthetic substance, then there exists a process such that the process is an instance of intentional process and the entity is a result of the process and the entity is an instance of substance

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: