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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PureSubstance
PureSubstance(pure substance)
acetonic, acetylenic, acetylic, achlorhydric, aeolotropic, alkylic, allomerous, allylic, anhydrous, anisotropic, arsenical, bivalent, critical, divalent, eolotropic, heavy, hydrated, hydrous, identical, isotropic, isotropous, ligand, light, monovalent, multivalent, noncritical, pentavalent, polyvalent, supercritical, tetravalent, trivalent, univalent

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


s__documentation(s__PureSubstance,s__ChineseLanguage,'"这是拥有不变成分 SubstanceClassPureSubstance 可以是元素 (ElementalSubstance), 又或者是拥有多个元素的化合物 (CompoundSubstance)。例如:食盐(氯化钠,NaCl)、糖(蔗糖,C_{12}H_{22}O_{11})、水(H_2O) 、铁(Fe)、铜(Cu)和氧(O_2)。"')

chinese_format.kif 1595-1598
s__documentation(s__PureSubstance,s__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 1009-1013
s__externalImage(s__PureSubstance,'"http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Water_droplet_blue_bg05.jpg"')

pictureList.kif 911-911
s__partition__3(s__PureSubstance,s__CompoundSubstance,s__ElementalSubstance)

Merge.kif 1007-1007 Pure substance is exhaustively partitioned into compound substance and elemental substance
s__instance(s__PureSubstance,s__SetOrClass)

s__subclass(s__PureSubstance,s__Substance)

s__instance(s__Substance,s__SetOrClass)

Merge.kif 1006-1006 Pure substance is a subclass of substance

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


s__partition__3(s__Substance,s__PureSubstance,s__Mixture)

Merge.kif 964-964 Substance is exhaustively partitioned into pure substance and mixture
s__instance(s__PureSubstance,s__SetOrClass)

s__instance(s__CompoundSubstance,s__SetOrClass)

s__subclass(s__CompoundSubstance,s__PureSubstance)

Merge.kif 1095-1095 Compound substance is a subclass of pure substance
s__instance(s__Defoliant,s__SetOrClass)

s__instance(s__PureSubstance,s__SetOrClass)

s__subclass(s__Defoliant,s__PureSubstance)

Geography.kif 2609-2609 Defoliant is a subclass of pure substance
s__instance(s__ElementalSubstance,s__SetOrClass)

s__instance(s__PureSubstance,s__SetOrClass)

s__subclass(s__ElementalSubstance,s__PureSubstance)

Merge.kif 1015-1015 Elemental substance is a subclass of pure substance
s__instance(s__GreenhouseGas,s__SetOrClass)

s__instance(s__PureSubstance,s__SetOrClass)

s__subclass(s__GreenhouseGas,s__PureSubstance)

Geography.kif 2697-2697 Greenhouse gas is a subclass of pure substance
s__instance(s__PureSubstance,s__SetOrClass)

s__subclass(s__HydrophilicLipidHead,s__PureSubstance)

s__instance(s__HydrophilicLipidHead,s__SetOrClass)

VirusProteinAndCellPart.kif 463-463 Hydrophilic lipid head is a subclass of pure substance
s__instance(s__PureSubstance,s__SetOrClass)

s__subclass(s__HydrophobicLipidTail,s__PureSubstance)

s__instance(s__HydrophobicLipidTail,s__SetOrClass)

VirusProteinAndCellPart.kif 474-474 Hydrophobic lipid tail is a subclass of pure substance
s__instance(s__PureSubstance,s__SetOrClass)

s__subclass(s__Ion,s__PureSubstance)

s__instance(s__Ion,s__SetOrClass)

Mid-level-ontology.kif 20795-20795 Ion is a subclass of pure substance
s__termFormat(s__ChineseLanguage,s__PureSubstance,'"純物质"')

chinese_format.kif 818-818
s__termFormat(s__EnglishLanguage,s__PureSubstance,'"pure substance"')

english_format.kif 843-843

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


s__domain(s__electronNumber__m,n__1,s__PureSubstance)

Mid-level-ontology.kif 20836-20836 The number 1 argument of electron number is an instance of pure substance
s__domain(s__protonNumber__m,n__1,s__PureSubstance)

Mid-level-ontology.kif 20813-20813 The number 1 argument of proton number is an instance of pure substance
s__domainSubclass(s__boilingPoint__m,n__1,s__PureSubstance)

Merge.kif 13162-13162 The number 1 argument of boiling point is a subclass of pure substance
s__domainSubclass(s__meltingPoint__m,n__1,s__PureSubstance)

Merge.kif 13226-13226 The number 1 argument of melting point is a subclass of pure substance

antecedent
-------------------------


( ! [V__PRES,V__X,V__BOIL,V__Y,V__TEMP] :
   (((s__instance(V__PRES,s__RealNumber) &
         s__instance(V__X,s__Object) &
         s__instance(V__BOIL,s__RealNumber) &
         s__instance(V__Y,s__Class) &
         s__subclass(V__Y,s__PureSubstance) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((s__instance(V__X,V__Y)
           &
           s__subclass(V__Y,s__PureSubstance) &
           s__barometricPressure(V__X,s__MeasureFn(V__PRES,s__InchMercury))
         &
         s__greaterThan(n__29_92,V__PRES)
       &
       s__boilingPoint(V__Y,s__MeasureFn(V__BOIL,s__KelvinDegree))
     &
     s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
   &
   s__greaterThan(V__TEMP,V__BOIL))
=>
(s__attribute(V__X,s__Gas)))))
)
)

Merge.kif 13167-13176
( ! [V__MELT,V__X,V__BOIL,V__Y,V__TEMP] :
   (((s__instance(V__MELT,s__RealNumber) &
         s__instance(V__X,s__Object) &
         s__instance(V__BOIL,s__RealNumber) &
         s__instance(V__Y,s__Class) &
         s__subclass(V__Y,s__PureSubstance) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((s__instance(V__X,V__Y)
           &
           s__subclass(V__Y,s__PureSubstance) &
           s__boilingPoint(V__Y,s__MeasureFn(V__BOIL,s__KelvinDegree))
         &
         s__meltingPoint(V__Y,s__MeasureFn(V__MELT,s__KelvinDegree))
       &
       s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
     &
     s__greaterThan(V__TEMP,V__MELT)
   &
   s__lessThan(V__TEMP,V__BOIL))
=>
(s__attribute(V__X,s__Liquid)))))
)
)

Merge.kif 13178-13187
( ! [V__PRES,V__MELT,V__X,V__Y,V__TEMP] :
   (((s__instance(V__PRES,s__RealNumber) &
         s__instance(V__MELT,s__RealNumber) &
         s__instance(V__X,s__Object) &
         s__instance(V__Y,s__Class) &
         s__subclass(V__Y,s__PureSubstance) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((s__instance(V__X,V__Y)
           &
           s__subclass(V__Y,s__PureSubstance) &
           s__meltingPoint(V__Y,s__MeasureFn(V__MELT,s__KelvinDegree))
         &
         s__barometricPressure(V__X,s__MeasureFn(V__PRES,s__InchMercury))
       &
       s__greaterThan(V__PRES,n__29_92)
     &
     s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
   &
   s__lessThan(V__TEMP,V__MELT))
=>
(s__attribute(V__X,s__Solid)))))
)
)

Merge.kif 13189-13198

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


( ! [V__SUBSTANCE,V__MIXTURE] :
   ((s__instance(V__SUBSTANCE,s__Substance) =>
       (((s__instance(V__MIXTURE,s__Mixture) &
             s__piece(V__SUBSTANCE,V__MIXTURE)
           &
           ~(s__instance(V__SUBSTANCE,s__Mixture)))
         =>
         (s__instance(V__SUBSTANCE,s__PureSubstance)))))
   )
)

Merge.kif 1122-1127
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__ChemicalManufacturing))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   (s__instance(V__EV,s__Manufacture) &
                     s__instance(V__THING,s__PureSubstance) &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 3132-3148
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__Mining))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   (s__instance(V__EV,s__Removing) &
                     s__patient(V__EV,V__THING)
                   &
                   s__instance(V__THING,s__PureSubstance) &
                   s__attribute(V__THING,s__Solid) &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 631-648
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__NonmetallicMineralProductManufacturing))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   (s__instance(V__EV,s__Manufacture) &
                     ~(s__instance(V__THING,s__Metal))
                     &
                     s__instance(V__THING,s__PureSubstance) &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 3697-3715
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__Utilities))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   ((s__instance(V__EV,s__Removing) |
                       s__instance(V__THING,s__Sewage))
                     &
                     s__patient(V__EV,V__THING)
                   &
                   (s__instance(V__THING,s__Electron) |
                     s__instance(V__THING,s__Water) |
                     (s__instance(V__THING,s__PureSubstance) &
                       s__capability(s__Combustion,s__patient__m,V__THING)))
                 &
                 s__member(V__MEM2,V__ORG)
               &
               s__instance(V__EV2,s__FinancialTransaction) &
               s__agent(V__EV2,V__MEM2)
             &
             s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 954-977
( ! [V__PROC,V__STUFF] :
   ((s__instance(V__STUFF,s__Object) =>
       (((s__instance(V__PROC,s__ChemicalProcess) &
             (s__resource(V__PROC,V__STUFF)
             |
             s__result(V__PROC,V__STUFF)))
       =>
       (s__instance(V__STUFF,s__PureSubstance)))))
)
)

Merge.kif 11925-11931
( ! [V__C] :
   ((s__instance(V__C,s__Chromatography) =>
       (( ? [V__S] :
           ((s__instance(V__S,s__PureSubstance) &
               s__result(V__C,V__S))))))
   )
)

Mid-level-ontology.kif 18688-18693
( ! [V__DIALYSIS] :
   ((s__instance(V__DIALYSIS,s__Dialysis) =>
       (( ? [V__SOLUTION, V__SUBSTANCE1, V__SUBSTANCE2] :
           ((s__resource(V__DIALYSIS,V__SOLUTION)
             &
             s__instance(V__SOLUTION,s__Solution) &
             s__result(V__DIALYSIS,V__SUBSTANCE1)
           &
           s__instance(V__SUBSTANCE1,s__PureSubstance) &
           s__result(V__DIALYSIS,V__SUBSTANCE2)
         &
         s__instance(V__SUBSTANCE2,s__PureSubstance) &
         ~((V__SUBSTANCE1 = V__SUBSTANCE2)))))))
)
)

Mid-level-ontology.kif 18633-18643
( ! [V__MIXTURE] :
   ((s__instance(V__MIXTURE,s__Mixture) =>
       (( ? [V__PURE1, V__PURE2] :
           ((s__instance(V__PURE1,s__PureSubstance) &
               s__instance(V__PURE2,s__PureSubstance) &
               ~((V__PURE1 = V__PURE2))
               &
               s__piece(V__PURE1,V__MIXTURE)
             &
             s__piece(V__PURE2,V__MIXTURE))))))
)
)

Merge.kif 1112-1120


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