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

Formal Language: 



KB Term:  Term intersection
English Word: 

  defaultMinimumMeasure

 Sigma KEE - defaultMinimumMeasure
defaultMinimumMeasure

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


(documentation defaultMinimumMeasure EnglishLanguage "A BinaryPredicate that states the assumed minimum measure of an Object") Mid-level-ontology.kif 13474-13474
(domain defaultMinimumMeasure 2 Quantity) Mid-level-ontology.kif 13473-13473
(domainSubclass defaultMinimumMeasure 1 Object) Mid-level-ontology.kif 13472-13472
(instance defaultMinimumMeasure BinaryPredicate) Mid-level-ontology.kif 13471-13471

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


(format ChineseLanguage defaultMinimumMeasure "%1 的 minimum 预期价值是 %2 ") domainEnglishFormat.kif 3206-3206
(format ChineseTraditionalLanguage defaultMinimumMeasure "%1 的 minimum 預期價值是 %2 ") domainEnglishFormat.kif 3205-3205
(format EnglishLanguage defaultMinimumMeasure "the minimum expected value of %1 is %2") domainEnglishFormat.kif 3204-3204
(termFormat EnglishLanguage defaultMinimumMeasure "default minimum measure") Mid-level-ontology.kif 13475-13475

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


(=>
    (and
        (defaultMinimumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (modalAttribute
        (exists (?INST ?QUANTITY)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT))
                (lessThan ?QUANTITY ?Q))) Unlikely))		 Mid-level-ontology.kif 13477-13486
(=>
    (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 13488-13499

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


(defaultMinimumMeasure Lemur
    (MeasureFn 1.0 Ounce))		 Mid-level-ontology.kif 30387-30387
(defaultMinimumMeasure Parrot
    (MeasureFn 0.4 Ounce))		 Mid-level-ontology.kif 30367-30367


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 3.0 is open source software produced by Articulate Software and its partners