defaultMeasure |
appearance as argument number 1 |
(documentation defaultMeasure EnglishLanguage "A BinaryPredicate that states the assumed measure of an Object") | Mid-level-ontology.kif 13590-13590 | |
(domain defaultMeasure 2 Quantity) | Mid-level-ontology.kif 13589-13589 | defaultMeasure の数値 2 引数は 量 の instance では %n |
(domainSubclass defaultMeasure 1 Object) | Mid-level-ontology.kif 13588-13588 | defaultMeasure の数値 1 引数は オブジェクト のsubclass では %n |
(instance defaultMeasure BinaryPredicate) | Mid-level-ontology.kif 13587-13587 | defaultMeasure は 2進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage defaultMeasure "%1 的预期 value 是 %2 ") | domainEnglishFormat.kif 3194-3194 | |
(format ChineseTraditionalLanguage defaultMeasure "%1 的預期 value 是 %2 ") | domainEnglishFormat.kif 3193-3193 | |
(format EnglishLanguage defaultMeasure "the expected value of %1 is %2") | domainEnglishFormat.kif 3192-3192 | |
(termFormat EnglishLanguage defaultMeasure "default measure") | Mid-level-ontology.kif 13591-13591 |
antecedent |
(=> (and (defaultMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (greaterThan ?QUANTITY (MultiplicationFn ?Q 1.5)))) Unlikely)) |
Mid-level-ontology.kif 13593-13602 | |
(=> (and (defaultMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (lessThan ?QUANTITY (MultiplicationFn ?Q .5)))) Unlikely)) |
Mid-level-ontology.kif 13604-13613 |
appearance as argument number 0 |