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 子類 PureSubstance and Substance
(subclass HydrophilicLipidHead PureSubstance) VirusProteinAndCellPart.kif 514-514 子類 親水性脂質頭 and PureSubstance
(subclass HydrophobicLipidTail PureSubstance) VirusProteinAndCellPart.kif 525-525 子類 疏水脂質尾 and PureSubstance
(subclass Ion PureSubstance) Mid-level-ontology.kif 21665-21665 子類 離子 and PureSubstance
(subclass ElementalSubstance PureSubstance) Merge.kif 1093-1093 子類 ElementalSubstance and PureSubstance
(subclass CompoundSubstance PureSubstance) Merge.kif 1173-1173 子類 CompoundSubstance and PureSubstance
(subclass Defoliant PureSubstance) Geography.kif 2647-2647 子類 落葉 and PureSubstance
(subclass GreenhouseGas PureSubstance) Geography.kif 2735-2735 子類 溫室氣體 and PureSubstance


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