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 では %n
(subclass HydrophilicLipidHead PureSubstance) VirusProteinAndCellPart.kif 514-514 HydrophilicLipidHead は 純物質 の subclass では %n
(subclass HydrophobicLipidTail PureSubstance) VirusProteinAndCellPart.kif 525-525 HydrophobicLipidTail は 純物質 の subclass では %n
(subclass Ion PureSubstance) Mid-level-ontology.kif 21665-21665 Ion は 純物質 の subclass では %n
(subclass ElementalSubstance PureSubstance) Merge.kif 1093-1093 単体 は 純物質 の subclass では %n
(subclass CompoundSubstance PureSubstance) Merge.kif 1173-1173 合成物質 は 純物質 の subclass では %n
(subclass Defoliant PureSubstance) Geography.kif 2647-2647 Defoliant は 純物質 の subclass では %n
(subclass GreenhouseGas PureSubstance) Geography.kif 2735-2735 GreenhouseGas は 純物質 の subclass では %n


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