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 14855-14866
(=>
    (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 14886-14897
(subclass NonCompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6240-6240 子類 NonCompositeUnitOfMeasure and UnitOfMeasure
(subclass NonCompositeUnitOfMeasure ConstantQuantity) Merge.kif 6241-6241 子類 NonCompositeUnitOfMeasure and ConstantQuantity
(subclass UnitOfLength NonCompositeUnitOfMeasure) Merge.kif 6272-6272 子類 UnitOfLength and NonCompositeUnitOfMeasure
(subclass UnitOfMass NonCompositeUnitOfMeasure) Merge.kif 6284-6284 子類 UnitOfMass and NonCompositeUnitOfMeasure
(subclass UnitOfTemperature NonCompositeUnitOfMeasure) Merge.kif 6320-6320 子類 UnitOfTemperature and NonCompositeUnitOfMeasure
(subclass UnitOfCurrency NonCompositeUnitOfMeasure) Merge.kif 6333-6333 子類 UnitOfCurrency and NonCompositeUnitOfMeasure
(subclass UnitOfAngularMeasure NonCompositeUnitOfMeasure) Merge.kif 6343-6343 子類 UnitOfAngularMeasure and NonCompositeUnitOfMeasure
(subclass UnitOfInformation NonCompositeUnitOfMeasure) Merge.kif 6358-6358 子類 UnitOfInformation and NonCompositeUnitOfMeasure
(subclass UnitOfDuration NonCompositeUnitOfMeasure) Merge.kif 6364-6364 子類 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