Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PureSubstance

Sigma KEE - PureSubstance
PureSubstance
مَادَّة صِرْف, SostanzaPura, Substancia_Pura, acetonic, acetylenic, acetylic, achlorhydric, aeolotropic, alkylic, allomerous, allylic, anhydrous, anisotropic, arsenical, bivalent, critical, divalent, eolotropic, heavy, hydrated, hydrous, identical, isotropic, isotropous, ligand, light, maputling_sustansiya, monovalent, multivalent, noncritical, pentavalent, polyvalent, pure_substance, purong_sangkap, shuddha_padaartha, substance_pure, supercritical, tetravalent, trivalent, univalent, 純物质, �ist�_substance

appearance as argument number 1
-------------------------


(documentation PureSubstance ChineseLanguage "这是拥有不变成分 SubstanceClassPureSubstance 可以是元素 (ElementalSubstance), 又或者是拥有多个元素的化合物 (CompoundSubstance)。例如:食盐(氯化钠,NaCl)、糖(蔗糖,C_{12}H_{22}O_{11})、水(H_2O) 、铁(Fe)、铜(Cu)和氧(O_2)。") Merge.kif 1109-1112
(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 1104-1108
(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 1103-1103
(subclass PureSubstance Substance) Merge.kif 1102-1102

appearance as argument number 2
-------------------------


(partition Substance PureSubstance Mixture) Merge.kif 1054-1054
(subclass CompoundSubstance PureSubstance) Merge.kif 1208-1208
(subclass Defoliant PureSubstance) Geography.kif 2576-2576
(subclass ElementalSubstance PureSubstance) Merge.kif 1114-1114
(subclass GreenhouseGas PureSubstance) Geography.kif 2663-2663
(subclass HydrophilicLipidHead PureSubstance) VirusProteinAndCellPart.kif 391-391
(subclass HydrophobicLipidTail PureSubstance) VirusProteinAndCellPart.kif 402-402
(subclass Ion PureSubstance) Mid-level-ontology.kif 19400-19400
(termFormat ChineseLanguage PureSubstance "純物质") chinese_format.kif 818-818
(termFormat EnglishLanguage PureSubstance "pure substance") english_format.kif 505-505
(termFormat FrenchLanguage PureSubstance "substance pure") french_format.kif 494-494
(termFormat Hindi PureSubstance "shuddha padaartha") terms-hindi.txt 27-27
(termFormat ItalianLanguage PureSubstance "SostanzaPura") terms-it.txt 28-28
(termFormat PortugueseLanguage PureSubstance "Substancia Pura") portuguese_format.kif 446-446
(termFormat ar PureSubstance "مَادَّة صِرْف") arabic_format.kif 230-230
(termFormat cb PureSubstance "maputling sustansiya") terms-cb.txt 31-31
(termFormat cz PureSubstance "�ist� substance") terms-cz.txt 61-61
(termFormat tg PureSubstance "purong sangkap") terms-tg.txt 31-31

appearance as argument number 3
-------------------------


(domain electronNumber 1 PureSubstance) Mid-level-ontology.kif 19438-19438
(domain protonNumber 1 PureSubstance) Mid-level-ontology.kif 19417-19417
(domainSubclass boilingPoint 1 PureSubstance) Merge.kif 13722-13722
(domainSubclass meltingPoint 1 PureSubstance) Merge.kif 13788-13788

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 13729-13738
(=>
    (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 13740-13749
(=>
    (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 13751-13760

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


(=>
    (and
        (instance ?MIXTURE Mixture)
        (part ?SUBSTANCE ?MIXTURE)
        (not
            (instance ?SUBSTANCE Mixture)))
    (instance ?SUBSTANCE PureSubstance))
Merge.kif 1241-1246
(=>
    (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 12368-12374
(=>
    (instance ?C Chromatography)
    (exists (?S)
        (and
            (instance ?S PureSubstance)
            (result ?C ?S))))
Mid-level-ontology.kif 17376-17381
(=>
    (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 17321-17331
(=>
    (instance ?MIXTURE Mixture)
    (exists (?PURE1 ?PURE2)
        (and
            (instance ?PURE1 PureSubstance)
            (instance ?PURE2 PureSubstance)
            (not
                (equal ?PURE1 ?PURE2))
            (part ?PURE1 ?MIXTURE)
            (part ?PURE2 ?MIXTURE))))
Merge.kif 1231-1239


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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