Substance - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1058-1061
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1051-1057
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 918-918	"http://upload.wikimedia.org/wikipedia/commons/f/fc/ Water_droplet_blue_bg05.jpg" is a URL depicting substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1049-1049	Substance is exhaustively partitioned into pure substance and mixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1050-1050	Substance is exhaustively partitioned into synthetic substance and natural substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1048-1048	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 1244-1244	Corpuscular object is disjoint from substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1259-1259	Antifreeze is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18804-18804	Beverage is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14634-14634	Biologically active substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14795-14795	Body substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2498-2498	Chemical acid is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1285-1285	Conductor substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6463-6463	Crystal is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2593-2593	Effluent is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3020-3020	Electricity is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15213-15213	Explosive substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2104-2104	Fuel is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4114-4114	Gum arabic is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1290-1290	Insulator substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 636-636	Juice is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6865-6865	Liquid drop is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2987-2987	Lubricant is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14204-14204	Mineral is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1216-1216	Mixture is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1091-1091	Natural substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2690-2690	Noxious substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8611-8611	Powder is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1097-1097	Pure substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15304-15304	Rock is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3829-3829	Sugar 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.	Merge.kif 983-983	The number 1 argument of piece is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 984-984	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 8461-8461	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 8469-8469	The number 2 argument of reagent is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4053-4053	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 4046-4046	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 1013-1013	The number 1 argument of material is a subclass of substance

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17868-17873	An object is an instance of substance if and only if there exists an entity such that the entity is an instance of physical state and the entity is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6495-6515	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 exists the objectLNT such that the objectLNT is an instance of collection and an integer is a member count of the objectLNT and the integer is greater than or equal to 4 and if another 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.	Merge.kif 1070-1075	If an object is an instance of substance and an entity is an attribute of the object and another object is a part of the object, then the entity is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6733-6745	If an object is an instance of substance and insoluble is an attribute of the object, then the statement there exist another object and a third object such that the other object is an instance of substance and the third object is an instance of solution and the object is a part of the third object and the other object is a part of the third object doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6705-6716	If an object is an instance of substance and soluble is an attribute of the object, then the statement there exist another object and a third object such that the other object is an instance of substance and the third object is an instance of solution and the object is a part of the third object and the other object is a part of the third object has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1063-1068	If a set or class is a subclass of substance and an object is an instance of the set or class and another object is a part of the object, then the other object is an instance of the set or class

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1083-1089	An entity is an instance of synthetic substance if and only if 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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6874-6886	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 a fourth self connected object such that the fourth self connected object is an instance of substance and liquid is an attribute of the fourth self connected object and the self connected object is not equal to the fourth self connected object and the other self connected objectS is a surface of the fourth self connected object and meetSpatially the other self connected object and the other self connected objectS has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	naics.kif 8390-8413	If an agent is an instance of organization and pipeline transportation is an attribute of the agent, then there exist another agent and an object such that the object is a member of the agent and the other agent is an agent of the object and there exists a third agent such that the other agent is an instance of selling and the third agent is an instance of human and the third agent is a patient of the other agent and the object allows the third agent to perform task of the type there exist a process and another object such that the process is an instance of transportation and the third agent possesses a third object and the third object is a patient of the process and the third object is an instance of substance and the agent possesses the other object and the third agentIPE is an instrument for the process and the third agentIPE is an instance of pipeline
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6733-6745	If an object is an instance of substance and insoluble is an attribute of the object, then the statement there exist another object and a third object such that the other object is an instance of substance and the third object is an instance of solution and the object is a part of the third object and the other object is a part of the third object doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6705-6716	If an object is an instance of substance and soluble is an attribute of the object, then the statement there exist another object and a third object such that the other object is an instance of substance and the third object is an instance of solution and the object is a part of the third object and the other object is a part of the third object has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8512-8521	If an entity is an instance of detergent, then the entity has purpose there exist a process, another entity,, , a self connected object and another self connected object such that the process is an instance of removing and the other entity is an instance of substance and the other entity is a patient of the process and the process originates at the self connected object and the self connected object is a surface of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3063-3072	If an object is an instance of hydrometer, then the object has purpose there exist a process and another object such that the process is an instance of measuring and the other object is an instance of substance and liquid is an attribute of the other object and the other object is a patient of the process and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1250-1258	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 kind of substance is made of the corpuscular object and the other kind of substance is made of the corpuscular object 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 3797-3808	If an agent is an instance of painting device, then the agent has purpose there exist an object, a process,, , a self connected object and another self connected object such that the object is an instance of substance and the process is an instance of covering and the other self connected object is an instance of object and the self connected object is a surface of the other self connected object and the agent is an agent of the process and the object is an instrument for the process and the self connected object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14835-14846	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.	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 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19221-19226	If a process is an instance of chemical attack, then there exists an object such that the object is an instance of substance and the object is an instrument for the process

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: