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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - defaultMeasure
defaultMeasure

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


s__documentation(s__defaultMeasure__m,s__EnglishLanguage,'"A BinaryPredicate that states the assumed measure of an Object"')

Mid-level-ontology.kif 12766-12766
s__domain(s__defaultMeasure__m,n__2,s__Quantity)

Mid-level-ontology.kif 12765-12765 The number 2 argument of default measure is an instance of quantity
s__domainSubclass(s__defaultMeasure__m,n__1,s__Object)

Mid-level-ontology.kif 12764-12764 The number 1 argument of default measure is a subclass of object
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__defaultMeasure__m,s__BinaryPredicate)

Mid-level-ontology.kif 12763-12763 default measure is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__defaultMeasure__m,'"%1 的预期 value 是 %2 "')

domainEnglishFormat.kif 3199-3199
s__format(s__ChineseTraditionalLanguage,s__defaultMeasure__m,'"%1 的預期 value 是 %2 "')

domainEnglishFormat.kif 3198-3198
s__format(s__EnglishLanguage,s__defaultMeasure__m,'"the expected value of %1 is %2"')

domainEnglishFormat.kif 3197-3197
s__termFormat(s__EnglishLanguage,s__defaultMeasure__m,'"default measure"')

Mid-level-ontology.kif 12767-12767

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12769-12778
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12780-12789

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


s__defaultMeasure(s__Alligator,s__MeasureFn(n__790,s__PoundMass))

Mid-level-ontology.kif 19262-19262 The expected value of Alligator is 790 pound mass(s)
s__defaultMeasure(s__Badger,s__MeasureFn(n__20,s__PoundMass))

Mid-level-ontology.kif 19275-19275 The expected value of Badger is 20 pound mass(s)
s__defaultMeasure(s__Bear,s__MeasureFn(n__500,s__PoundMass))

Mid-level-ontology.kif 19290-19290 The expected value of Bear is 500 pound mass(s)
s__defaultMeasure(s__Cheetah,s__MeasureFn(n__150,s__PoundMass))

Mid-level-ontology.kif 29614-29614 The expected value of cheetah is 150 pound mass(s)
s__defaultMeasure(s__Crocodile,s__MeasureFn(n__2000,s__PoundMass))

Mid-level-ontology.kif 29590-29590 The expected value of crocodile is 2000 pound mass(s)
s__defaultMeasure(s__Ferret,s__MeasureFn(n__2,s__PoundMass))

Mid-level-ontology.kif 29631-29631 The expected value of ferret is 2 pound mass(s)
s__defaultMeasure(s__GuineaPig,s__MeasureFn(n__2,s__PoundMass))

Mid-level-ontology.kif 29649-29649 The expected value of guinea pig is 2 pound mass(s)
s__defaultMeasure(s__Kangaroo,s__MeasureFn(n__18,s__PoundMass))

Mid-level-ontology.kif 19304-19304 The expected value of Kangaroo is 18 pound mass(s)
s__defaultMeasure(s__Llama,s__MeasureFn(n__18,s__PoundMass))

Mid-level-ontology.kif 19312-19312 The expected value of Llama is 18 pound mass(s)
s__defaultMeasure(s__Octopus,s__MeasureFn(n__33,s__PoundMass))

Mid-level-ontology.kif 29550-29550 The expected value of octopus is 33 pound mass(s)
s__defaultMeasure(s__Panda,s__MeasureFn(n__240,s__PoundMass))

Mid-level-ontology.kif 29536-29536 The expected value of panda is 240 pound mass(s)
s__defaultMeasure(s__Reindeer,s__MeasureFn(n__300,s__PoundMass))

Mid-level-ontology.kif 29572-29572 The expected value of reindeer is 300 pound mass(s)
s__defaultMeasure(s__Skunk,s__MeasureFn(n__5,s__PoundMass))

Mid-level-ontology.kif 19321-19321 The expected value of Skunk is 5 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 3.0 is open source software produced by Articulate Software and its partners