PureSubstance - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - PureSubstance

PureSubstance

appearance as argument number 1

(documentation PureSubstance ChineseLanguage "这是拥有不变成分 Substance 的 Class 。 PureSubstance 可以是元素 (ElementalSubstance)，又或者是拥有多个元素的化合物 (CompoundSubstance)。例如：食盐（氯化钠，NaCl)、糖（蔗糖，C_{12}H_{22}O_{11})、水（H_2O) 、铁（Fe)、铜（Cu)和氧（O_2)。")	chinese_format.kif 1595-1598
(documentation PureSubstance EnglishLanguage "The Class of Substances with constant composition. A PureSubstance can be either an element (ElementalSubstance) or a compound of elements (CompoundSubstance). Examples: Table salt (sodium chloride, NaCl), sugar (sucrose, C_{12}H_{22}O_{11}), water (H_2O), iron (Fe), copper (Cu), and oxygen (O_2).")	Merge.kif 1006-1010
(externalImage PureSubstance "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Water_droplet_blue_bg05.jpg")	pictureList.kif 911-911
(partition PureSubstance CompoundSubstance ElementalSubstance)	Merge.kif 1004-1004	partition PureSubstance, CompoundSubstance and ElementalSubstance
(subclass PureSubstance Substance)	Merge.kif 1003-1003	subclass PureSubstance and Substance

appearance as argument number 2

(partition Substance PureSubstance Mixture)	Merge.kif 961-961	partition Substance, PureSubstance and Mixture
(subclass CompoundSubstance PureSubstance)	Merge.kif 1092-1092	subclass CompoundSubstance and PureSubstance
(subclass Defoliant PureSubstance)	Geography.kif 2588-2588	subclass Defoliant and PureSubstance
(subclass ElementalSubstance PureSubstance)	Merge.kif 1012-1012	subclass ElementalSubstance and PureSubstance
(subclass GreenhouseGas PureSubstance)	Geography.kif 2675-2675	subclass GreenhouseGas and PureSubstance
(subclass HydrophilicLipidHead PureSubstance)	VirusProteinAndCellPart.kif 391-391	subclass HydrophilicLipidHead and PureSubstance
(subclass HydrophobicLipidTail PureSubstance)	VirusProteinAndCellPart.kif 402-402	subclass HydrophobicLipidTail and PureSubstance
(subclass Ion PureSubstance)	Mid-level-ontology.kif 19471-19471	subclass Ion and PureSubstance
(termFormat ChineseLanguage PureSubstance "純物质")	chinese_format.kif 818-818
(termFormat EnglishLanguage PureSubstance "pure substance")	english_format.kif 843-843

appearance as argument number 3

(domain electronNumber 1 PureSubstance)	Mid-level-ontology.kif 19509-19509	domain electronNumber, 1 and PureSubstance
(domain protonNumber 1 PureSubstance)	Mid-level-ontology.kif 19488-19488	domain protonNumber, 1 and PureSubstance
(domainSubclass boilingPoint 1 PureSubstance)	Merge.kif 12752-12752	domainSubclass boilingPoint, 1 and PureSubstance
(domainSubclass meltingPoint 1 PureSubstance)	Merge.kif 12816-12816	domainSubclass meltingPoint, 1 and PureSubstance

antecedent

(=> (and (instance ?X ?Y) (subclass ?Y PureSubstance) (barometricPressure ?X (MeasureFn ?PRES InchMercury)) (greaterThan 29.92 ?PRES) (boilingPoint ?Y (MeasureFn ?BOIL KelvinDegree)) (measure ?X (MeasureFn ?TEMP KelvinDegree)) (greaterThan ?TEMP ?BOIL)) (attribute ?X Gas))	Merge.kif 12757-12766	instance Object and PureSubstance subclass PureSubstance and PureSubstance barometricPressure Object and MeasureFn RealNumber and InchMercury greaterThan 29.92 and RealNumber boilingPoint PureSubstance and MeasureFn RealNumber and KelvinDegree measure Object and MeasureFn RealNumber and KelvinDegree greaterThan RealNumber and RealNumber attribute Object and Gas
(=> (and (instance ?X ?Y) (subclass ?Y PureSubstance) (boilingPoint ?Y (MeasureFn ?BOIL KelvinDegree)) (meltingPoint ?Y (MeasureFn ?MELT KelvinDegree)) (measure ?X (MeasureFn ?TEMP KelvinDegree)) (greaterThan ?TEMP ?MELT) (lessThan ?TEMP ?BOIL)) (attribute ?X Liquid))	Merge.kif 12768-12777	instance Object and PureSubstance subclass PureSubstance and PureSubstance boilingPoint PureSubstance and MeasureFn RealNumber and KelvinDegree meltingPoint PureSubstance and MeasureFn RealNumber and KelvinDegree measure Object and MeasureFn RealNumber and KelvinDegree greaterThan RealNumber and RealNumber lessThan RealNumber and RealNumber attribute Object and Liquid
(=> (and (instance ?X ?Y) (subclass ?Y PureSubstance) (meltingPoint ?Y (MeasureFn ?MELT KelvinDegree)) (barometricPressure ?X (MeasureFn ?PRES InchMercury)) (greaterThan ?PRES 29.92) (measure ?X (MeasureFn ?TEMP KelvinDegree)) (lessThan ?TEMP ?MELT)) (attribute ?X Solid))	Merge.kif 12779-12788	instance Object and PureSubstance subclass PureSubstance and PureSubstance meltingPoint PureSubstance and MeasureFn RealNumber and KelvinDegree barometricPressure Object and MeasureFn RealNumber and InchMercury greaterThan RealNumber and 29.92 measure Object and MeasureFn RealNumber and KelvinDegree lessThan RealNumber and RealNumber attribute Object and Solid

consequent

(=> (and (instance ?MIXTURE Mixture) (piece ?SUBSTANCE ?MIXTURE) (not (instance ?SUBSTANCE Mixture))) (instance ?SUBSTANCE PureSubstance))	Merge.kif 1119-1124	instance Substance and Mixture piece Substance and Substance instance Substance and Mixture instance Substance and PureSubstance
(=> (and (instance ?ORG Organization) (attribute ?ORG ChemicalManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING PureSubstance) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 3132-3148	instance Collection and Organization attribute Collection and ChemicalManufacturing Agent Object member Object and Collection agent Object and Agent Entity Object and Agent instance Agent and Manufacture instance Entity and PureSubstance patient Agent and Entity member Object and Collection instance Agent and Selling agent Agent and Object patient Agent and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG Mining)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Removing) (patient ?EV ?THING) (instance ?THING PureSubstance) (attribute ?THING Solid) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 631-648	instance Collection and Organization attribute Collection and Mining Agent Object member Object and Collection agent Object and Agent Object Object and Agent instance Agent and Removing patient Agent and Object instance Object and PureSubstance attribute Object and Solid member Object and Collection instance Agent and Selling agent Agent and Object patient Agent and Object
(=> (and (instance ?ORG Organization) (attribute ?ORG NonmetallicMineralProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (not (instance ?THING Metal)) (instance ?THING PureSubstance) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 3697-3715	instance Collection and Organization attribute Collection and NonmetallicMineralProductManufacturing Agent Object member Object and Collection agent Object and Agent Entity Object and Agent instance Agent and Manufacture instance Entity and Metal instance Entity and PureSubstance patient Agent and Entity member Object and Collection instance Agent and Selling agent Agent and Object patient Agent and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG Utilities)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (or (instance ?EV Removing) (instance ?THING Sewage)) (patient ?EV ?THING) (or (instance ?THING Electron) (instance ?THING Water) (and (instance ?THING PureSubstance) (capability Combustion patient ?THING))) (member ?MEM2 ?ORG) (instance ?EV2 FinancialTransaction) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 954-977	instance Collection and Organization attribute Collection and Utilities Agent Object member Object and Collection agent Object and Agent Object Object and Agent instance Agent and Removing instance Object and Sewage patient Agent and Object instance Object and Electron instance Object and Water instance Object and PureSubstance capability Combustion, patient and Object member Object and Collection instance Agent and FinancialTransaction agent Agent and Object patient Agent and Object
(=> (and (instance ?PROC ChemicalProcess) (or (resource ?PROC ?STUFF) (result ?PROC ?STUFF))) (instance ?STUFF PureSubstance))	Merge.kif 11568-11574	instance Process and ChemicalProcess resource Process and Object result Process and Object instance Object and PureSubstance
(=> (instance ?C Chromatography) (exists (?S) (and (instance ?S PureSubstance) (result ?C ?S))))	Mid-level-ontology.kif 17436-17441	instance Process and Chromatography Entity instance Entity and PureSubstance result Process and Entity
(=> (instance ?DIALYSIS Dialysis) (exists (?SOLUTION ?SUBSTANCE1 ?SUBSTANCE2) (and (resource ?DIALYSIS ?SOLUTION) (instance ?SOLUTION Solution) (result ?DIALYSIS ?SUBSTANCE1) (instance ?SUBSTANCE1 PureSubstance) (result ?DIALYSIS ?SUBSTANCE2) (instance ?SUBSTANCE2 PureSubstance) (not (equal ?SUBSTANCE1 ?SUBSTANCE2)))))	Mid-level-ontology.kif 17381-17391	instance Process and Dialysis Object Entity and Entity resource Process and Object instance Object and Solution result Process and Entity instance Entity and PureSubstance result Process and Entity instance Entity and PureSubstance equal Entity and Entity
(=> (instance ?MIXTURE Mixture) (exists (?PURE1 ?PURE2) (and (instance ?PURE1 PureSubstance) (instance ?PURE2 PureSubstance) (not (equal ?PURE1 ?PURE2)) (piece ?PURE1 ?MIXTURE) (piece ?PURE2 ?MIXTURE))))	Merge.kif 1109-1117	instance Substance and Mixture Substance Substance instance Substance and PureSubstance instance Substance and PureSubstance equal Substance and Substance piece Substance and Substance piece Substance and Substance

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