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 13449-13460
(=>
    (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 13480-13491
(subclass NonCompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6201-6201
(subclass NonCompositeUnitOfMeasure ConstantQuantity) Merge.kif 6202-6202
(subclass UnitOfLength NonCompositeUnitOfMeasure) Merge.kif 6233-6233
(subclass UnitOfMass NonCompositeUnitOfMeasure) Merge.kif 6245-6245
(subclass UnitOfTemperature NonCompositeUnitOfMeasure) Merge.kif 6281-6281
(subclass UnitOfCurrency NonCompositeUnitOfMeasure) Merge.kif 6294-6294
(subclass UnitOfAngularMeasure NonCompositeUnitOfMeasure) Merge.kif 6304-6304
(subclass UnitOfInformation NonCompositeUnitOfMeasure) Merge.kif 6319-6319
(subclass UnitOfDuration NonCompositeUnitOfMeasure) Merge.kif 6325-6325


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