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 "这是拥有不变成分 SubstanceClassPureSubstance 可以是元素 (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 19496-19496 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 19534-19534 domain electronNumber, 1 and PureSubstance
(domain protonNumber 1 PureSubstance) Mid-level-ontology.kif 19513-19513 domain protonNumber, 1 and PureSubstance
(domainSubclass boilingPoint 1 PureSubstance) Merge.kif 12779-12779 domainSubclass boilingPoint, 1 and PureSubstance
(domainSubclass meltingPoint 1 PureSubstance) Merge.kif 12843-12843 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 12784-12793
(=>
    (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 12795-12804
(=>
    (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 12806-12815

consequent
-------------------------


(=>
    (and
        (instance ?MIXTURE Mixture)
        (piece ?SUBSTANCE ?MIXTURE)
        (not
            (instance ?SUBSTANCE Mixture)))
    (instance ?SUBSTANCE PureSubstance))
Merge.kif 1119-1124
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (and
        (instance ?PROC ChemicalProcess)
        (or
            (resource ?PROC ?STUFF)
            (result ?PROC ?STUFF)))
    (instance ?STUFF PureSubstance))
Merge.kif 11598-11604
(=>
    (instance ?C Chromatography)
    (exists (?S)
        (and
            (instance ?S PureSubstance)
            (result ?C ?S))))
Mid-level-ontology.kif 17461-17466
(=>
    (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 17406-17416
(=>
    (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


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 3.0 is open source software produced by Articulate Software and its partners