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 13842-13851
(=>
    (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 13831-13840
(=>
    (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 13820-13829
(subclass PureSubstance Substance) Merge.kif 1084-1084 Substance pure est une sous-classe de substance
(subclass HydrophilicLipidHead PureSubstance) VirusProteinAndCellPart.kif 513-513 HydrophilicLipidHead est une sous-classe de substance pure
(subclass HydrophobicLipidTail PureSubstance) VirusProteinAndCellPart.kif 524-524 HydrophobicLipidTail est une sous-classe de substance pure
(subclass Ion PureSubstance) Mid-level-ontology.kif 21664-21664 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