Substance - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1075-1078
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1068-1074
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 1066-1066	Substance is exhaustively partitioned into pure substance and mixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1067-1067	Substance is exhaustively partitioned into synthetic substance and natural substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1065-1065	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 1261-1261	Corpuscular object is disjoint from substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1218-1218	Antifreeze is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19223-19223	Beverage is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14771-14771	Biologically active substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14932-14932	Body substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2457-2457	Chemical acid is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1275-1275	Conductor substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6432-6432	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 15514-15514	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 1280-1280	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 6838-6838	Liquid drop is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2946-2946	Lubricant is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14341-14341	Mineral is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1233-1233	Mixture is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1108-1108	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 8623-8623	Powder is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1114-1114	Pure substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15605-15605	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 997-997	The number 1 argument of piece is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 998-998	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 8473-8473	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 8481-8481	The number 2 argument of reagent is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4052-4052	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 4045-4045	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 1027-1027	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 18006-18011	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 6464-6484	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 1087-1092	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 6702-6714	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 part of the other entity and the entity is a part 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 6674-6685	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 part of the other entity and the entity is a part of the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1080-1085	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 1100-1106	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 6847-6859	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 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 a collection is an instance of organization and pipeline transportation is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object 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 object allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the cognitive agent possesses a 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 6702-6714	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 part of the other entity and the entity is a part 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 6674-6685	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 part of the other entity and the entity is a part of the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8524-8533	If a physical is an instance of detergent, then the physical has 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 3022-3031	If a physical is an instance of hydrometer, then the physical has 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.	Merge.kif 1267-1275	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 3801-3812	If a physical is an instance of painting device, then the physical has 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 15095-15106	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 19640-19645	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: