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 Substance pure est une sous-classe de substance
(subclass HydrophilicLipidHead PureSubstance) VirusProteinAndCellPart.kif 514-514 HydrophilicLipidHead est une sous-classe de substance pure
(subclass HydrophobicLipidTail PureSubstance) VirusProteinAndCellPart.kif 525-525 HydrophobicLipidTail est une sous-classe de substance pure
(subclass Ion PureSubstance) Mid-level-ontology.kif 21665-21665 Ion est une sous-classe de substance pure
(subclass ElementalSubstance PureSubstance) Merge.kif 1093-1093 Substance �l�mentaire est une sous-classe de substance pure
(subclass CompoundSubstance PureSubstance) Merge.kif 1173-1173 Substance compos�e est une sous-classe de substance pure
(subclass Defoliant PureSubstance) Geography.kif 2647-2647 Defoliant est une sous-classe de substance pure
(subclass GreenhouseGas PureSubstance) Geography.kif 2735-2735 GreenhouseGas est une sous-classe de substance pure


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