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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 2 argument of default maximum measure is an instance of quantity
(domainSubclass defaultMaximumMeasure 1 Object) Mid-level-ontology.kif 11127-11127 The number 1 argument of default maximum measure is a subclass of object
(instance defaultMaximumMeasure BinaryPredicate) Mid-level-ontology.kif 11126-11126 default maximum measure is an instance of binary predicate

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 "default maximum measure" is the printable form of default maximum measure in english language

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 The maximum expected value of lemur is 20 pound mass(s)
(defaultMaximumMeasure Lion
    (MeasureFn 600 PoundMass))
Mid-level-ontology.kif 28507-28507 The maximum expected value of lion is 600 pound mass(s)
(defaultMaximumMeasure Parrot
    (MeasureFn 9 PoundMass))
Mid-level-ontology.kif 28585-28585 The maximum expected value of parrot is 9 pound mass(s)
(defaultMaximumMeasure Rhinoceros
    (MeasureFn 2200 PoundMass))
Mid-level-ontology.kif 28572-28572 The maximum expected value of rhinoceros is 2200 pound mass(s)


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



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