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测量单位subclass
(subclass NonCompositeUnitOfMeasure ConstantQuantity) Merge.kif 6216-6216 NonCompositeUnitOfMeasure恒量subclass
(subclass UnitOfLength NonCompositeUnitOfMeasure) Merge.kif 6247-6247 UnitOfLengthNonCompositeUnitOfMeasuresubclass
(subclass UnitOfMass NonCompositeUnitOfMeasure) Merge.kif 6259-6259 UnitOfMassNonCompositeUnitOfMeasuresubclass
(subclass UnitOfTemperature NonCompositeUnitOfMeasure) Merge.kif 6295-6295 UnitOfTemperatureNonCompositeUnitOfMeasuresubclass
(subclass UnitOfCurrency NonCompositeUnitOfMeasure) Merge.kif 6308-6308 UnitOfCurrencyNonCompositeUnitOfMeasuresubclass
(subclass UnitOfAngularMeasure NonCompositeUnitOfMeasure) Merge.kif 6318-6318 UnitOfAngularMeasureNonCompositeUnitOfMeasuresubclass
(subclass UnitOfInformation NonCompositeUnitOfMeasure) Merge.kif 6333-6333 UnitOfInformationNonCompositeUnitOfMeasuresubclass
(subclass UnitOfDuration NonCompositeUnitOfMeasure) Merge.kif 6339-6339 UnitOfDurationNonCompositeUnitOfMeasuresubclass


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