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 969-975
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 966-966	Substance is exhaustively partitioned into pure substance and mixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 967-967	Substance is exhaustively partitioned into synthetic substance and natural substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 965-965	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 1132-1132	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 19224-19224	Beverage is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13509-13509	Biologically active substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13641-13641	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 6448-6448	Crystal is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2605-2605	Effluent is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3015-3015	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 2099-2099	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 635-635	Juice is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6854-6854	Liquid drop is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2949-2949	Lubricant is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13158-13158	Mineral is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1106-1106	Mixture is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1004-1004	Natural substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2702-2702	Noxious substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8625-8625	Powder is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1008-1008	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 905-905	The number 1 argument of piece is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 906-906	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 8475-8475	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 8483-8483	The number 2 argument of reagent is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4065-4065	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 4058-4058	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 932-932	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 16245-16250	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 6480-6500	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 984-989	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 6718-6730	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 6690-6701	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 977-982	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 996-1002	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 6863-6875	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 8388-8411	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 6718-6730	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 6690-6701	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 8526-8535	If a physical is an instance of detergent, then the physical 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 3025-3034	If a physical is an instance of hydrometer, then the physical 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 1136-1144	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 a physical is an instance of painting device, then the physical 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 19641-19646	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: