Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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__subclass(s__PureSubstance,s__Substance)

 Merge.kif 1157-1157 Pure substance is a subclass of substance
s__partition(s__PureSubstance,s__CompoundSubstance,s__ElementalSubstance)

 Merge.kif 1158-1158 Pure substance is exhaustively partitioned into compound substance and elemental substance
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 1160-1164 Pure substance is exhaustively partitioned into compound substance and elemental substance
s__externalImage(s__PureSubstance,"http:
//upload.wikimedia.org/wikipedia/commons/f/fc/Water_droplet_blue_bg05.jpg")

 pictureList.kif 910-910 Pure substance is exhaustively partitioned into compound substance and elemental substance

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


s__partition(s__Substance,s__PureSubstance,s__Mixture)

 Merge.kif 1115-1115 Substance is exhaustively partitioned into pure substance and mixture
s__subclass(s__ElementalSubstance,s__PureSubstance)

 Merge.kif 1166-1166 Elemental substance is a subclass of pure substance
s__subclass(s__CompoundSubstance,s__PureSubstance)

 Merge.kif 1246-1246 Compound substance is a subclass of pure substance
s__subclass(s__Ion,s__PureSubstance)

 Mid-level-ontology.kif 23938-23938 Ion is a subclass of pure substance
s__subclass(s__Defoliant,s__PureSubstance)

 Geography.kif 4083-4083 Defoliant is a subclass of pure substance
s__subclass(s__GreenhouseGas,s__PureSubstance)

 Geography.kif 4166-4166 Greenhouse gas is a subclass of pure substance
s__subclass(s__HydrophilicLipidHead,s__PureSubstance)

 VirusProteinAndCellPart.kif 496-496 Hydrophilic lipid head is a subclass of pure substance
s__subclass(s__HydrophobicLipidTail,s__PureSubstance)

 VirusProteinAndCellPart.kif 507-507 Hydrophobic lipid tail is a subclass of pure substance
s__termFormat(s__EnglishLanguage, s__PureSubstance, "pure substance") english_format.kif 838-838 Hydrophobic lipid tail is a subclass of pure substance

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


s__domainSubclass(s__boilingPoint,n__1,s__PureSubstance)

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

 Merge.kif 14166-14166 The number 1 argument of melting point is a subclass of pure substance
s__domain(s__protonNumber,n__1,s__PureSubstance)

 Mid-level-ontology.kif 23956-23956 The number 1 argument of proton number is an instance of pure substance
s__domain(s__electronNumber,n__1,s__PureSubstance)

 Mid-level-ontology.kif 23979-23979 The number 1 argument of electron number is an instance of pure substance

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


! [V__X,V__Y,V__PRES,V__BOIL,V__TEMP] :
(((s__instance(V__X,s__Object) &
       s__instance(V__Y,s__Class) &
       s__subclass(V__Y,s__PureSubstance) &
       s__instance(V__PRES,s__RealNumber) &
       s__instance(V__BOIL,s__RealNumber) &
       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 14107-14116 If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z inch mercury(s) is a barometric pressure of X (4) 29.92 is greater than Z (5) W kelvin degree(s) is a boiling point of Y (6) the measure of X is V kelvin degree(s) (7) V is greater than W, then gas is an attribute of X
! [V__X,V__Y,V__BOIL,V__MELT,V__TEMP] :
(((s__instance(V__X,s__Object) &
       s__instance(V__Y,s__Class) &
       s__subclass(V__Y,s__PureSubstance) &
       s__instance(V__BOIL,s__RealNumber) &
       s__instance(V__MELT,s__RealNumber) &
       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 14118-14127 If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z kelvin degree(s) is a boiling point of Y (4) W kelvin degree(s) is a melting point of Y (5) the measure of X is V kelvin degree(s) (6) V is greater than W (7) V is less than Z, then liquid is an attribute of X
! [V__X,V__Y,V__MELT,V__PRES,V__TEMP] :
(((s__instance(V__X,s__Object) &
       s__instance(V__Y,s__Class) &
       s__subclass(V__Y,s__PureSubstance) &
       s__instance(V__MELT,s__RealNumber) &
       s__instance(V__PRES,s__RealNumber) &
       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 14129-14138 If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z kelvin degree(s) is a melting point of Y (4) W inch mercury(s) is a barometric pressure of X (5) W is greater than 29.92 (6) the measure of X is V kelvin degree(s) (7) V is less than Z, then solid is an attribute of X

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


! [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 1263-1271 If X is an instance of mixture, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of pure substance (3) Z is an instance of pure substance (4) equal Y (5) Z (6) Y is a piece of X (7) Z is a piece of X
! [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 1273-1278 If X is an instance of mixture, Y is a piece of X, and Y is not an instance of mixture, then Y is an instance of pure substance
! [V__STUFF,V__PROC] :
((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 12804-12810 If X is an instance of chemical process and Y is a resource for X or Y is a result of X, then Y is an instance of pure substance
! [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 21502-21512 If X is an instance of dialysis, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a resource for X (3) Y is an instance of solution (4) Z is a result of X (5) Z is an instance of pure substance (6) W is a result of X (7) W is an instance of pure substance (8) equal Z (9) W
! [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 21557-21562 If X is an instance of chromatography, then there exists Y such that Y is an instance of pure substance and Y is a result of X
! [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__AutonomousAgent) &
               (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 625-642 If X is an instance of organization and mining is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of removing (6) W is a patient of Y (7) W is an instance of pure substance (8) solid is an attribute of W (9) V is a member of X (10) U is an instance of selling (11) V is an agent of U (12) W is a patient of U
! [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__AutonomousAgent) &
               ((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,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 948-971 If X is an instance of organization and utilities is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of removing or W is an instance of sewage (6) W is a patient of Y (7) W is an instance of electron or W is an instance of water or W is an instance of pure substance (8) W is capable of doing burning as a patient (9) V is a member of X (10) U is an instance of financial transaction (11) V is an agent of U (12) W is a patient of U
! [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__AutonomousAgent) &
               (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 3119-3135 If X is an instance of organization and chemical manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of pure substance (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U
! [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__AutonomousAgent) &
               (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 3684-3702 If X is an instance of organization and nonmetallic mineral product manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is not an instance of metal (7) W is an instance of pure substance (8) W is a patient of Y (9) V is a member of X (10) U is an instance of selling (11) V is an agent of U (12) W is a patient of U


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners