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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (defaultMinimumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT1))
        (subclass ?UNITCLASS NonCompositeUnitOfMeasure)
        (instance ?UNIT1 ?UNITCLASS))
    (modalAttribute
        (exists (?INST ?QUANTITY ?UNIT2)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT2))
                (instance ?UNIT2 ?UNITCLASS)
                (lessThan ?QUANTITY ?Q))) Unlikely))		 Mid-level-ontology.kif 13516-13527
(=>
    (and
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT1))
        (subclass ?UNITCLASS NonCompositeUnitOfMeasure)
        (instance ?UNIT1 ?UNITCLASS))
    (modalAttribute
        (exists (?INST ?QUANTITY ?UNIT2)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT2))
                (instance ?UNIT2 ?UNITCLASS)
                (greaterThan
                    (MeasureFn ?QUANTITY ?UNIT2)
                    (MeasureFn ?Q ?UNIT1)))) Unlikely))		 Mid-level-ontology.kif 13547-13558
(subclass NonCompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6215-6215 NonCompositeUnitOfMeasure è una sottoclasse di Unit�DiMisura
(subclass NonCompositeUnitOfMeasure ConstantQuantity) Merge.kif 6216-6216 NonCompositeUnitOfMeasure è una sottoclasse di Quantit�Costante
(subclass UnitOfLength NonCompositeUnitOfMeasure) Merge.kif 6247-6247 UnitOfLength è una sottoclasse di NonCompositeUnitOfMeasure
(subclass UnitOfMass NonCompositeUnitOfMeasure) Merge.kif 6259-6259 UnitOfMass è una sottoclasse di NonCompositeUnitOfMeasure
(subclass UnitOfTemperature NonCompositeUnitOfMeasure) Merge.kif 6295-6295 UnitOfTemperature è una sottoclasse di NonCompositeUnitOfMeasure
(subclass UnitOfCurrency NonCompositeUnitOfMeasure) Merge.kif 6308-6308 UnitOfCurrency è una sottoclasse di NonCompositeUnitOfMeasure
(subclass UnitOfAngularMeasure NonCompositeUnitOfMeasure) Merge.kif 6318-6318 UnitOfAngularMeasure è una sottoclasse di NonCompositeUnitOfMeasure
(subclass UnitOfInformation NonCompositeUnitOfMeasure) Merge.kif 6333-6333 UnitOfInformation è una sottoclasse di NonCompositeUnitOfMeasure
(subclass UnitOfDuration NonCompositeUnitOfMeasure) Merge.kif 6339-6339 UnitOfDuration è una sottoclasse di NonCompositeUnitOfMeasure


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