Substance - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__Substance,s__ChineseLanguage,'"一个每一部分在各个相关方面跟所有同类都相似的 Object。更确切而言， Substance是当一个东西的部分只有任意散件时 - 任何部分的特质跟它整体的特质相似时。这就是。注：但 Substance 的一些物理特质可能会有差异。例如：温度、化学成分、密度等可从一个部分改变成另一个部分。一滩水就是一个例子。"')	chinese_format.kif 1587-1590
s__documentation(s__Substance,s__EnglishLanguage,'"An Object in which every part is similar to every other in every relevant respect. More precisely, something is a Substance when it has only arbitrary pieces as parts - any parts have properties which are similar to those of the whole. Note that a Substance may nonetheless have physical properties that vary. For example, the temperature, chemical constitution, density, etc. may change from one part to another. An example would be a body of water."')	Merge.kif 964-970
s__externalImage(s__Substance,'"http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Water_droplet_blue_bg05.jpg"')	pictureList.kif 918-918
s__partition__3(s__Substance,s__PureSubstance,s__Mixture)	Merge.kif 961-961	Substance is exhaustively partitioned into pure substance and mixture
s__partition__3(s__Substance,s__SyntheticSubstance,s__NaturalSubstance)	Merge.kif 962-962	Substance is exhaustively partitioned into synthetic substance and natural substance
s__instance(s__Substance,s__SetOrClass) s__subclass(s__Substance,s__SelfConnectedObject) s__instance(s__SelfConnectedObject,s__SetOrClass)	Merge.kif 960-960	Substance is a subclass of self connected object

appearance as argument number 2

s__disjoint(s__CorpuscularObject,s__Substance)	Merge.kif 1127-1127	Corpuscular object is disjoint from substance
s__instance(s__Substance,s__SetOrClass) s__instance(s__Antifreeze,s__SetOrClass) s__subclass(s__Antifreeze,s__Substance)	Cars.kif 1219-1219	Antifreeze is a subclass of substance
s__instance(s__Beverage,s__SetOrClass) s__instance(s__Substance,s__SetOrClass) s__subclass(s__Beverage,s__Substance)	Mid-level-ontology.kif 19236-19236	Beverage is a subclass of substance
s__instance(s__BiologicallyActiveSubstance,s__SetOrClass) s__instance(s__Substance,s__SetOrClass) s__subclass(s__BiologicallyActiveSubstance,s__Substance)	Merge.kif 13600-13600	Biologically active substance is a subclass of substance
s__subclass(s__BodySubstance,s__Substance) s__instance(s__BodySubstance,s__SetOrClass) s__instance(s__Substance,s__SetOrClass)	Merge.kif 13732-13732	Body substance is a subclass of substance
s__subclass(s__ChemicalAcid,s__Substance) s__instance(s__ChemicalAcid,s__SetOrClass) s__instance(s__Substance,s__SetOrClass)	Cars.kif 2458-2458	Chemical acid is a subclass of substance
s__instance(s__Substance,s__SetOrClass) s__instance(s__ConductorSubstance,s__SetOrClass) s__subclass(s__ConductorSubstance,s__Substance)	engineering.kif 1279-1279	Conductor substance is a subclass of substance
s__subclass(s__Crystal,s__Substance) s__instance(s__Crystal,s__SetOrClass) s__instance(s__Substance,s__SetOrClass)	Geography.kif 6448-6448	Crystal is a subclass of substance
s__subclass(s__Effluent,s__Substance) s__instance(s__Effluent,s__SetOrClass) s__instance(s__Substance,s__SetOrClass)	Geography.kif 2605-2605	Effluent is a subclass of substance
s__instance(s__Substance,s__SetOrClass) s__subclass(s__Electricity,s__Substance) s__instance(s__Electricity,s__SetOrClass)	Mid-level-ontology.kif 3015-3015	Electricity is a subclass of substance
s__instance(s__Substance,s__SetOrClass) s__subclass(s__ExplosiveSubstance,s__Substance) s__instance(s__ExplosiveSubstance,s__SetOrClass)	Mid-level-ontology.kif 15515-15515	Explosive substance is a subclass of substance
s__instance(s__Fuel,s__SetOrClass) s__instance(s__Substance,s__SetOrClass) s__subclass(s__Fuel,s__Substance)	Mid-level-ontology.kif 2099-2099	Fuel is a subclass of substance
s__subclass(s__GumArabic,s__Substance) s__instance(s__GumArabic,s__SetOrClass) s__instance(s__Substance,s__SetOrClass)	Economy.kif 4114-4114	Gum arabic is a subclass of substance
s__subclass(s__InsulatorSubstance,s__Substance) s__instance(s__Substance,s__SetOrClass) s__instance(s__InsulatorSubstance,s__SetOrClass)	engineering.kif 1284-1284	Insulator substance is a subclass of substance
s__subclass(s__Juice,s__Substance) s__instance(s__Juice,s__SetOrClass) s__instance(s__Substance,s__SetOrClass)	Food.kif 591-591	Juice is a subclass of substance
s__subclass(s__LiquidDrop,s__Substance) s__instance(s__LiquidDrop,s__SetOrClass) s__instance(s__Substance,s__SetOrClass)	Geography.kif 6854-6854	Liquid drop is a subclass of substance
s__instance(s__Lubricant,s__SetOrClass) s__subclass(s__Lubricant,s__Substance) s__instance(s__Substance,s__SetOrClass)	Cars.kif 2950-2950	Lubricant is a subclass of substance
s__instance(s__Mineral,s__SetOrClass) s__instance(s__Substance,s__SetOrClass) s__subclass(s__Mineral,s__Substance)	Merge.kif 13249-13249	Mineral is a subclass of substance
s__subclass(s__Mixture,s__Substance) s__instance(s__Mixture,s__SetOrClass) s__instance(s__Substance,s__SetOrClass)	Merge.kif 1101-1101	Mixture is a subclass of substance
s__subclass(s__NaturalSubstance,s__Substance) s__instance(s__Substance,s__SetOrClass) s__instance(s__NaturalSubstance,s__SetOrClass)	Merge.kif 999-999	Natural substance is a subclass of substance
s__instance(s__NoxiousSubstance,s__SetOrClass) s__subclass(s__NoxiousSubstance,s__Substance) s__instance(s__Substance,s__SetOrClass)	Geography.kif 2702-2702	Noxious substance is a subclass of substance
s__instance(s__Substance,s__SetOrClass) s__instance(s__Powder,s__SetOrClass) s__subclass(s__Powder,s__Substance)	Mid-level-ontology.kif 8626-8626	Powder is a subclass of substance
s__instance(s__PureSubstance,s__SetOrClass) s__subclass(s__PureSubstance,s__Substance) s__instance(s__Substance,s__SetOrClass)	Merge.kif 1003-1003	Pure substance is a subclass of substance
s__subclass(s__Rock,s__Substance) s__instance(s__Rock,s__SetOrClass) s__instance(s__Substance,s__SetOrClass)	Mid-level-ontology.kif 15606-15606	Rock is a subclass of substance
s__subclass(s__Sugar,s__Substance) s__instance(s__Sugar,s__SetOrClass) s__instance(s__Substance,s__SetOrClass)	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

s__domain(s__piece__m,n__1,s__Substance)	Merge.kif 900-900	The number 1 argument of piece is an instance of substance
s__domain(s__piece__m,n__2,s__Substance)	Merge.kif 901-901	The number 2 argument of piece is an instance of substance
s__domain(s__reactant__m,n__2,s__Substance)	Mid-level-ontology.kif 8476-8476	The number 2 argument of reactant is an instance of substance
s__domain(s__reagent__m,n__2,s__Substance)	Mid-level-ontology.kif 8484-8484	The number 2 argument of reagent is an instance of substance
s__domainSubclass(s__groundSubsurfaceType__m,n__2,s__Substance)	Geography.kif 4065-4065	The number 2 argument of ground subsurface type is a subclass of substance
s__domainSubclass(s__groundSurfaceType__m,n__2,s__Substance)	Geography.kif 4058-4058	The number 2 argument of ground surface type is a subclass of substance
s__domainSubclass(s__material__m,n__1,s__Substance)	Merge.kif 927-927	The number 1 argument of material is a subclass of substance

antecedent

( ! [V__OBJ] : ((s__instance(V__OBJ,s__Substance) => ( ? [V__ATTR] : ((s__instance(V__ATTR,s__PhysicalState) & s__attribute(V__OBJ,V__ATTR))))) & (( ? [V__ATTR] : ((s__instance(V__ATTR,s__PhysicalState) & s__attribute(V__OBJ,V__ATTR)))) => s__instance(V__OBJ,s__Substance)) ) )	Merge.kif 16338-16343	An object is an instance of substance if and only if there exists an attribute such that the attribute is an instance of physical state and the attribute is an attribute of the object
( ! [V__MBR,V__C,V__S,V__X,V__Sub] : ((s__instance(V__MBR,s__Object) & s__instance(V__X,s__Integer)) => (s__instance(V__C,s__Crystal) & s__attribute(V__C,s__MonoCrystalline) & s__instance(V__Sub,s__Substance) & s__attribute(V__Sub,s__Solid) & s__attribute(V__Sub,s__PolyCrystalline) & s__instance(V__S,s__Substance) & s__surface(V__S,V__Sub) & ~(s__part(V__C,V__S))) => ( ? [V__CLNT] : ((s__instance(V__CLNT,s__Collection) & s__memberCount(V__CLNT,V__X) & s__greaterThanOrEqualTo(V__X,n__4) & s__member(V__MBR,V__CLNT) => (s__part(V__MBR,V__Sub) & s__meetsSpatially(V__C,V__MBR))))) ) )	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
( ! [V__OBJ,V__ATTR,V__PART] : ((s__instance(V__ATTR,s__Attribute) & s__instance(V__PART,s__Substance)) => (s__instance(V__OBJ,s__Substance) & s__attribute(V__OBJ,V__ATTR) & s__piece(V__PART,V__OBJ)) => s__attribute(V__PART,V__ATTR) ) )	Merge.kif 979-984	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.	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 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 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 piece of the other entity and the entity is a piece of the other entity has the modal force of possibility
( ! [V__OBJECT,V__OBJECTTYPE,V__PART] : ((s__instance(V__OBJECT,s__Substance) & s__instance(V__OBJECTTYPE,s__SetOrClass) & s__instance(V__PART,s__Substance)) => (s__subclass(V__OBJECTTYPE,s__Substance) & s__instance(V__OBJECT,V__OBJECTTYPE) & s__piece(V__PART,V__OBJECT)) => s__instance(V__PART,V__OBJECTTYPE) ) )	Merge.kif 972-977	If a set or class is a subclass of substance and a substance is an instance of the set or class and another substance is a piece of the substance, then the other substance is an instance of the set or class

consequent

( ! [V__SUBSTANCE] : ((s__instance(V__SUBSTANCE,s__SyntheticSubstance) => ( ? [V__PROCESS] : ((s__instance(V__PROCESS,s__IntentionalProcess) & s__result(V__PROCESS,V__SUBSTANCE) & s__instance(V__SUBSTANCE,s__Substance))))) & (( ? [V__PROCESS] : ((s__instance(V__PROCESS,s__IntentionalProcess) & s__result(V__PROCESS,V__SUBSTANCE) & s__instance(V__SUBSTANCE,s__Substance)))) => s__instance(V__SUBSTANCE,s__SyntheticSubstance)) ) )	Merge.kif 991-997	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 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 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 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 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 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.	Mid-level-ontology.kif 8527-8536	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 3026-3035	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
( ! [V__OBJ] : (s__instance(V__OBJ,s__CorpuscularObject) => ( ? [V__SUBSTANCE1, V__SUBSTANCE2] : ((s__subclass(V__SUBSTANCE1,s__Substance) & s__instance(V__SUBSTANCE1,s__SetOrClass) & s__subclass(V__SUBSTANCE2,s__Substance) & s__instance(V__SUBSTANCE2,s__SetOrClass) & (s__subclass(V__SUBSTANCE1,s__Substance) & s__subclass(V__SUBSTANCE2,s__Substance) & s__material(V__SUBSTANCE1,V__OBJ) & s__material(V__SUBSTANCE2,V__OBJ) & ~((V__SUBSTANCE1 = V__SUBSTANCE2)))))) ) )	Merge.kif 1131-1139	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
( ! [V__POUR] : (s__instance(V__POUR,s__Pouring) => ( ? [V__LIQUID, V__CONTAINER1, V__CONTAINER2] : ((s__origin(V__POUR,V__CONTAINER1) & s__destination(V__POUR,V__CONTAINER2) & s__instance(V__CONTAINER1,s__Container) & s__instance(V__CONTAINER2,s__Container) & ~((V__CONTAINER1 = V__CONTAINER2)) & s__patient(V__POUR,V__LIQUID) & s__attribute(V__LIQUID,s__Liquid) & s__instance(V__LIQUID,s__Substance)))) ) )	Mid-level-ontology.kif 15096-15107	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
( ! [V__S] : (s__instance(V__S,s__Spark) => ( ? [V__E, V__G] : ((s__instance(V__E,s__Electricity) & s__patient(V__S,V__E) & s__instance(V__G,s__Substance) & s__attribute(V__G,s__Gas) & s__eventLocated(V__S,V__G)))) ) )	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
( ! [V__X] : (s__instance(V__X,s__ChemicalAttack) => ( ? [V__CHEM] : ((s__instance(V__CHEM,s__Substance) & s__instrument(V__X,V__CHEM)))) ) )	Mid-level-ontology.kif 19653-19658	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: