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 and UnitOfMeasure
(subclass NonCompositeUnitOfMeasure ConstantQuantity) Merge.kif 6216-6216 子類 NonCompositeUnitOfMeasure and ConstantQuantity
(subclass UnitOfLength NonCompositeUnitOfMeasure) Merge.kif 6247-6247 子類 UnitOfLength and NonCompositeUnitOfMeasure
(subclass UnitOfMass NonCompositeUnitOfMeasure) Merge.kif 6259-6259 子類 UnitOfMass and NonCompositeUnitOfMeasure
(subclass UnitOfTemperature NonCompositeUnitOfMeasure) Merge.kif 6295-6295 子類 UnitOfTemperature and NonCompositeUnitOfMeasure
(subclass UnitOfCurrency NonCompositeUnitOfMeasure) Merge.kif 6308-6308 子類 UnitOfCurrency and NonCompositeUnitOfMeasure
(subclass UnitOfAngularMeasure NonCompositeUnitOfMeasure) Merge.kif 6318-6318 子類 UnitOfAngularMeasure and NonCompositeUnitOfMeasure
(subclass UnitOfInformation NonCompositeUnitOfMeasure) Merge.kif 6333-6333 子類 UnitOfInformation and NonCompositeUnitOfMeasure
(subclass UnitOfDuration NonCompositeUnitOfMeasure) Merge.kif 6339-6339 子類 UnitOfDuration and 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