defaultMinimumMeasure |
appearance as argument number 1 |
![]() |
(documentation defaultMinimumMeasure EnglishLanguage "A BinaryPredicate that states the assumed minimum measure of an Object") | Mid-level-ontology.kif 14841-14841 | |
(domain defaultMinimumMeasure 2 Quantity) | Mid-level-ontology.kif 14840-14840 | defaultMinimumMeasure の数値 2 引数は 量 の instance では |
(domainSubclass defaultMinimumMeasure 1 Object) | Mid-level-ontology.kif 14839-14839 | defaultMinimumMeasure の数値 1 引数は オブジェクト のsubclass では |
(instance defaultMinimumMeasure BinaryPredicate) | Mid-level-ontology.kif 14838-14838 | defaultMinimumMeasure は 2進述語 の instance では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage defaultMinimumMeasure "%1 的 minimum 预期价值是 %2 ") | domainEnglishFormat.kif 3202-3202 | |
(format ChineseTraditionalLanguage defaultMinimumMeasure "%1 的 minimum 預期價值是 %2 ") | domainEnglishFormat.kif 3201-3201 | |
(format EnglishLanguage defaultMinimumMeasure "the minimum expected value of %1 is %2") | domainEnglishFormat.kif 3200-3200 | |
(termFormat EnglishLanguage defaultMinimumMeasure "default minimum measure") | Mid-level-ontology.kif 14842-14842 |
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 14844-14853 | |
(=> (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 14855-14866 |
|
appearance as argument number 0 |
![]() |
(defaultMinimumMeasure Lemur (MeasureFn 1.0 Ounce)) |
Mid-level-ontology.kif 32404-32404 | defaultMinimumMeasure Lemur and 1.0 の Ounce(s) |
(defaultMinimumMeasure Parrot (MeasureFn 0.4 Ounce)) |
Mid-level-ontology.kif 32384-32384 | defaultMinimumMeasure Parrot and 0.4 の Ounce(s) |
![]() |
![]() |