| 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