Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| defaultMaximumMeasure |
| appearance as argument number 1 |
|
| (instance defaultMaximumMeasure BinaryPredicate) | Mid-level-ontology.kif 15093-15093 | default maximum measure is an instance of binary predicate |
| (domainSubclass defaultMaximumMeasure 1 Object) | Mid-level-ontology.kif 15094-15094 | The number 1 argument of default maximum measure is a subclass of object |
| (domain defaultMaximumMeasure 2 Quantity) | Mid-level-ontology.kif 15095-15095 | The number 2 argument of default maximum measure is an instance of quantity |
| (documentation defaultMaximumMeasure EnglishLanguage "A BinaryPredicate that states the assumed maximum measure of an Object") | Mid-level-ontology.kif 15096-15096 | The number 2 argument of default maximum measure is an instance of quantity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage defaultMaximumMeasure "default maximum measure") | Mid-level-ontology.kif 15097-15097 | |
| (format EnglishLanguage defaultMaximumMeasure "the maximum expected value of %1 is %2") | domainEnglishFormat.kif 3176-3176 | |
| (format ChineseTraditionalLanguage defaultMaximumMeasure "%1 的 maximum 預期價值是 %2 ") | domainEnglishFormat.kif 3177-3177 | |
| (format ChineseLanguage defaultMaximumMeasure "%1 的 maximum 预期价值是 %2 ") | domainEnglishFormat.kif 3178-3178 |
| 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 15099-15108 | If the maximum 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 greater than Y has the modal force of unlikely |
| (=> (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 15110-15121 | If the maximum 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 T(s) is greater than Y Z(s) has the modal force of unlikely |
| (=> (and (massLimit ?ROBOT (MeasureFn ?MASSLIMIT ?UNITOFMASS)) (instance ?INSTANCE ?OBJECT) (subclass ?OBJECT Object) (instance ?UNITOFMASS UnitOfMass) (defaultMaximumMeasure ?OBJECT (MeasureFn ?NUM ?UNITOFMASS)) (greaterThan ?NUM ?MASSLIMIT)) (not (canCarry ?ROBOT ?INSTANCE))) |
Robot.kif 94-103 | If All of the following hold: (1) massLimit X and Y Z(s) (2) W is an instance of V (3) V is a subclass of object (4) Z is an instance of unit of mass (5) the maximum expected value of V is U Z(s) (6) U is greater than Y, then canCarry X and W |
| appearance as argument number 0 |
|
|
|