Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (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 13820-13829
(=>
    (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 13809-13818
(=>
    (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 13798-13807
(subclass PureSubstance Substance) Merge.kif 1084-1084 純物质 是 物质 的 subclass
(subclass HydrophilicLipidHead PureSubstance) VirusProteinAndCellPart.kif 514-514 亲水性脂质头 是 純物质 的 subclass
(subclass HydrophobicLipidTail PureSubstance) VirusProteinAndCellPart.kif 525-525 疏水脂质尾 是 純物质 的 subclass
(subclass Ion PureSubstance) Mid-level-ontology.kif 21665-21665 离子 是 純物质 的 subclass
(subclass ElementalSubstance PureSubstance) Merge.kif 1093-1093 元素物质 是 純物质 的 subclass
(subclass CompoundSubstance PureSubstance) Merge.kif 1173-1173 复合物质 是 純物质 的 subclass
(subclass Defoliant PureSubstance) Geography.kif 2647-2647 落叶 是 純物质 的 subclass
(subclass GreenhouseGas PureSubstance) Geography.kif 2735-2735 温室气体 是 純物质 的 subclass


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