| appearance as argument number 1 |
|
| (documentation defaultMaximumMeasure EnglishLanguage "A BinaryPredicate that states the assumed maximum measure of an Object") | Mid-level-ontology.kif 13751-13751 | |
| (domain defaultMaximumMeasure 2 Quantity) | Mid-level-ontology.kif 13750-13750 | |
| (domainSubclass defaultMaximumMeasure 1 Object) | Mid-level-ontology.kif 13749-13749 | |
| (instance defaultMaximumMeasure BinaryPredicate) | Mid-level-ontology.kif 13748-13748 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage defaultMaximumMeasure "%1 的 maximum 预期价值是 %2 ") | domainEnglishFormat.kif 3174-3174 | |
| (format ChineseTraditionalLanguage defaultMaximumMeasure "%1 的 maximum 預期價值是 %2 ") | domainEnglishFormat.kif 3173-3173 | |
| (format EnglishLanguage defaultMaximumMeasure "the maximum expected value of %1 is %2") | domainEnglishFormat.kif 3172-3172 | |
| (termFormat EnglishLanguage defaultMaximumMeasure "default maximum measure") | Mid-level-ontology.kif 13752-13752 |
| 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 13754-13763 | |
| (=> (and (defaultMaximumMeasure ?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) (greaterThan (MeasureFn ?QUANTITY ?UNIT2) (MeasureFn ?Q ?UNIT1)))) Unlikely)) |
Mid-level-ontology.kif 13765-13776 |
| appearance as argument number 0 |
|
|
| (defaultMaximumMeasure FortyFtContainer (MeasureFn 30480 Kilogram)) |
Transportation.kif 2948-2949 | |
| (defaultMaximumMeasure Lemur (MeasureFn 20.0 PoundMass)) |
Mid-level-ontology.kif 30726-30726 | |
| (defaultMaximumMeasure Lion (MeasureFn 600.0 PoundMass)) |
Mid-level-ontology.kif 30628-30628 | |
| (defaultMaximumMeasure Parrot (MeasureFn 9.0 PoundMass)) |
Mid-level-ontology.kif 30706-30706 | |
| (defaultMaximumMeasure Rhinoceros (MeasureFn 2200.0 PoundMass)) |
Mid-level-ontology.kif 30693-30693 | |
| (defaultMaximumMeasure TwentyFtContainer (MeasureFn 24000 Kilogram)) |
Transportation.kif 2810-2811 | |
| (defaultMaximumMeasure TwentyFtHeavyDutyContainer (MeasureFn 30500 Kilogram)) |
Transportation.kif 2876-2877 |
|
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