Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  defaultMaximumMeasure

Sigma KEE - defaultMaximumMeasure
defaultMaximumMeasure

appearance as argument number 1
-------------------------


(documentation defaultMaximumMeasure EnglishLanguage "A BinaryPredicate that states the assumed maximum measure of an Object") Mid-level-ontology.kif 11129-11129
(domain defaultMaximumMeasure 2 Quantity) Mid-level-ontology.kif 11128-11128
(domainSubclass defaultMaximumMeasure 1 Object) Mid-level-ontology.kif 11127-11127
(instance defaultMaximumMeasure BinaryPredicate) Mid-level-ontology.kif 11126-11126

appearance as argument number 2
-------------------------


(format EnglishLanguage defaultMaximumMeasure "the maximum expected value of %1 is %2") domainEnglishFormat.kif 805-805
(termFormat EnglishLanguage defaultMaximumMeasure "default maximum measure") Mid-level-ontology.kif 11130-11130

antecedent
-------------------------


(=>
    (and
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (modalAttribute
        (exists (?INST ?QUANTITY)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT))
                (greaterThan ?QUANTITY ?Q))) Unlikely))
Mid-level-ontology.kif 11131-11140
(=>
    (and
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT1))
        (subclass ?UNITCLASS NonCompositeUnitMeasure)
        (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 11141-11152

appearance as argument number 0
-------------------------


(defaultMaximumMeasure Lemur
    (MeasureFn 20 PoundMass))
Mid-level-ontology.kif 28605-28605
(defaultMaximumMeasure Lion
    (MeasureFn 600 PoundMass))
Mid-level-ontology.kif 28507-28507
(defaultMaximumMeasure Parrot
    (MeasureFn 9 PoundMass))
Mid-level-ontology.kif 28585-28585
(defaultMaximumMeasure Rhinoceros
    (MeasureFn 2200 PoundMass))
Mid-level-ontology.kif 28572-28572


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners