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 では %n
(subclass NonCompositeUnitOfMeasure ConstantQuantity) Merge.kif 6216-6216 NonCompositeUnitOfMeasure は 一定量 の subclass では %n
(subclass UnitOfLength NonCompositeUnitOfMeasure) Merge.kif 6247-6247 UnitOfLength は NonCompositeUnitOfMeasure の subclass では %n
(subclass UnitOfMass NonCompositeUnitOfMeasure) Merge.kif 6259-6259 UnitOfMass は NonCompositeUnitOfMeasure の subclass では %n
(subclass UnitOfTemperature NonCompositeUnitOfMeasure) Merge.kif 6295-6295 UnitOfTemperature は NonCompositeUnitOfMeasure の subclass では %n
(subclass UnitOfCurrency NonCompositeUnitOfMeasure) Merge.kif 6308-6308 UnitOfCurrency は NonCompositeUnitOfMeasure の subclass では %n
(subclass UnitOfAngularMeasure NonCompositeUnitOfMeasure) Merge.kif 6318-6318 UnitOfAngularMeasure は NonCompositeUnitOfMeasure の subclass では %n
(subclass UnitOfInformation NonCompositeUnitOfMeasure) Merge.kif 6333-6333 UnitOfInformation は NonCompositeUnitOfMeasure の subclass では %n
(subclass UnitOfDuration NonCompositeUnitOfMeasure) Merge.kif 6339-6339 UnitOfDuration は NonCompositeUnitOfMeasure の subclass では %n


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