Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| defaultMeasure |
| appearance as argument number 1 |
|
| (instance defaultMeasure BinaryPredicate) | Mid-level-ontology.kif 15123-15123 | default measure is an instance of binary predicate |
| (domainSubclass defaultMeasure 1 Object) | Mid-level-ontology.kif 15124-15124 | The number 1 argument of default measure is a subclass of object |
| (domain defaultMeasure 2 Quantity) | Mid-level-ontology.kif 15125-15125 | The number 2 argument of default measure is an instance of quantity |
| (documentation defaultMeasure EnglishLanguage "A BinaryPredicate that states the assumed measure of an Object") | Mid-level-ontology.kif 15126-15126 | The number 2 argument of default measure is an instance of quantity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage defaultMeasure "default measure") | Mid-level-ontology.kif 15127-15127 | |
| (format EnglishLanguage defaultMeasure "the expected value of %1 is %2") | domainEnglishFormat.kif 3188-3188 | |
| (format ChineseTraditionalLanguage defaultMeasure "%1 的預期 value 是 %2 ") | domainEnglishFormat.kif 3189-3189 | |
| (format ChineseLanguage defaultMeasure "%1 的预期 value 是 %2 ") | domainEnglishFormat.kif 3190-3190 |
| 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 15129-15138 | If the 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 and 1.5 has the modal force of unlikely |
| (=> (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 0.5)))) Unlikely)) |
Mid-level-ontology.kif 15140-15149 | If the 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 and 0.5 has the modal force of unlikely |
| (=> (defaultMeasure TwentyFtContainer (MeasureFn ?X Kilogram)) (and (greaterThanOrEqualTo ?X 1800) (lessThanOrEqualTo ?X 2400))) |
Transportation.kif 2858-2863 | If the expected value of twenty foot container is X kilogram(s), then X is greater than or equal to 1800 and X is less than or equal to 2400 |
| (=> (defaultMeasure FortyFtContainer (MeasureFn ?X Kilogram)) (and (greaterThanOrEqualTo ?X 2800) (lessThanOrEqualTo ?X 4000))) |
Transportation.kif 2996-3001 | If the expected value of forty foot container is X kilogram(s), then X is greater than or equal to 2800 and X is less than or equal to 4000 |
| appearance as argument number 0 |
|
|
|