Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| defaultMinimumMeasure |
| appearance as argument number 1 |
|
| (instance defaultMinimumMeasure BinaryPredicate) | Mid-level-ontology.kif 15062-15062 | default minimum measure is an instance of binary predicate |
| (domainSubclass defaultMinimumMeasure 1 Object) | Mid-level-ontology.kif 15063-15063 | The number 1 argument of default minimum measure is a subclass of object |
| (domain defaultMinimumMeasure 2 Quantity) | Mid-level-ontology.kif 15064-15064 | The number 2 argument of default minimum measure is an instance of quantity |
| (documentation defaultMinimumMeasure EnglishLanguage "A BinaryPredicate that states the assumed minimum measure of an Object") | Mid-level-ontology.kif 15065-15065 | The number 2 argument of default minimum measure is an instance of quantity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage defaultMinimumMeasure "default minimum measure") | Mid-level-ontology.kif 15066-15066 | |
| (format EnglishLanguage defaultMinimumMeasure "the minimum expected value of %1 is %2") | domainEnglishFormat.kif 3200-3200 | |
| (format ChineseTraditionalLanguage defaultMinimumMeasure "%1 的 minimum 預期價值是 %2 ") | domainEnglishFormat.kif 3201-3201 | |
| (format ChineseLanguage defaultMinimumMeasure "%1 的 minimum 预期价值是 %2 ") | domainEnglishFormat.kif 3202-3202 |
| 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 15068-15077 | If the minimum expected value of X is Y Z(s) and Z is an instance of composite unit of measure, then the statement there exist W and V such that W is an instance of X and the measure of W is V Z(s) and V is less than Y has the modal force of unlikely |
| (=> (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 15079-15090 | If the minimum expected value of X is Y Z(s), W is a subclass of non composite unit of measure, and Z is an instance of W, then the statement there exist V, U and T such that V is an instance of X and the measure of V is U T(s) and T is an instance of W and U is less than Y has the modal force of unlikely |
| appearance as argument number 0 |
|
|
|