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

Formal Language: 



KB Term:  Term intersection
English Word: 

  defaultMeasure

Sigma KEE - defaultMeasure
defaultMeasure

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


(documentation defaultMeasure EnglishLanguage "A BinaryPredicate that states the assumed measure of an Object") Mid-level-ontology.kif 11157-11157
(domain defaultMeasure 2 Quantity) Mid-level-ontology.kif 11156-11156
(domainSubclass defaultMeasure 1 Object) Mid-level-ontology.kif 11155-11155
(instance defaultMeasure BinaryPredicate) Mid-level-ontology.kif 11154-11154

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


(format EnglishLanguage defaultMeasure "the expected value of %1 is %2") domainEnglishFormat.kif 808-808
(termFormat EnglishLanguage defaultMeasure "default measure") Mid-level-ontology.kif 11158-11158

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


(=>
    (and
        (defaultMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (modalAttribute
        (exists (?INST ?QUANTITY)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT))
                (greaterThan ?QUANTITY
                    (MultiplicationFn ?Q 1.5)))) Unlikely))
Mid-level-ontology.kif 11160-11169
(=>
    (and
        (defaultMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (modalAttribute
        (exists (?INST ?QUANTITY)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT))
                (lessThan ?QUANTITY
                    (MultiplicationFn ?Q .5)))) Unlikely))
Mid-level-ontology.kif 11171-11180

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


(defaultMeasure Alligator
    (MeasureFn 790 PoundMass))
Mid-level-ontology.kif 18017-18017
(defaultMeasure Badger
    (MeasureFn 20 PoundMass))
Mid-level-ontology.kif 18030-18030
(defaultMeasure Bear
    (MeasureFn 500 PoundMass))
Mid-level-ontology.kif 18045-18045
(defaultMeasure Cheetah
    (MeasureFn 150 PoundMass))
Mid-level-ontology.kif 28702-28702
(defaultMeasure Crocodile
    (MeasureFn 2000 PoundMass))
Mid-level-ontology.kif 28678-28678
(defaultMeasure Ferret
    (MeasureFn 2 PoundMass))
Mid-level-ontology.kif 28719-28719
(defaultMeasure GuineaPig
    (MeasureFn 2 PoundMass))
Mid-level-ontology.kif 28737-28737
(defaultMeasure Kangaroo
    (MeasureFn 18 PoundMass))
Mid-level-ontology.kif 18059-18059
(defaultMeasure Llama
    (MeasureFn 18 PoundMass))
Mid-level-ontology.kif 18067-18067
(defaultMeasure Octopus
    (MeasureFn 33 PoundMass))
Mid-level-ontology.kif 28638-28638
(defaultMeasure Panda
    (MeasureFn 240 PoundMass))
Mid-level-ontology.kif 28624-28624
(defaultMeasure Reindeer
    (MeasureFn 300 PoundMass))
Mid-level-ontology.kif 28660-28660
(defaultMeasure Skunk
    (MeasureFn 5 PoundMass))
Mid-level-ontology.kif 18076-18076


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