Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| defaultMaximumWidth |
| appearance as argument number 1 |
|
| (instance defaultMaximumWidth BinaryPredicate) | Mid-level-ontology.kif 14955-14955 | default maximum width is an instance of binary predicate |
| (domainSubclass defaultMaximumWidth 1 Object) | Mid-level-ontology.kif 14956-14956 | The number 1 argument of default maximum width is a subclass of object |
| (domain defaultMaximumWidth 2 LengthMeasure) | Mid-level-ontology.kif 14957-14957 | The number 2 argument of default maximum width is an instance of length measure |
| (documentation defaultMaximumWidth EnglishLanguage "A BinaryPredicate that states the assumed maximum width of an Object") | Mid-level-ontology.kif 14958-14958 | The number 2 argument of default maximum width is an instance of length measure |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage defaultMaximumWidth "default maximum width") | Mid-level-ontology.kif 14959-14959 | |
| (format EnglishLanguage defaultMaximumWidth "the maximum expected width of %1 is %2") | domainEnglishFormat.kif 3184-3184 | |
| (format ChineseTraditionalLanguage defaultMaximumWidth "%1 的 maximum 預期寬度是 %2 ") | domainEnglishFormat.kif 3185-3185 | |
| (format ChineseLanguage defaultMaximumWidth "%1 的 maximum 预期宽度是 %2 ") | domainEnglishFormat.kif 3186-3186 |
| antecedent |
|
|
| (=> (defaultMaximumWidth ?OBJECT (MeasureFn ?W ?U)) (modalAttribute (exists (?INST ?WIDTH) (and (instance ?INST ?OBJECT) (width ?INST (MeasureFn ?WIDTH ?U)) (greaterThan ?WIDTH ?W))) Unlikely)) |
Mid-level-ontology.kif 14961-14970 | If the maximum expected width of X is Y Z(s), then the statement there exist W and V such that W is an instance of X and the width of W is V Z(s) and V is greater than Y has the modal force of unlikely |
| (=> (and (instance ?ROBOT CarryBot) (instance ?INSTANCE ?OBJECT) (subclass ?OBJECT Object) (widthLimit ?ROBOT (MeasureFn ?WIDTHLIMIT ?UNIT)) (or (and (defaultMaximumLength ?OBJECT (MeasureFn ?LENGTH ?UNIT)) (defaultMaximumWidth ?OBJECT (MeasureFn ?WIDTH ?UNIT)) (defaultMaximumHeight ?OBJECT (MeasureFn ?HEIGHT ?UNIT)) (greaterThan ?LENGTH ?WIDTHLIMIT) (greaterThan ?WIDTH ?WIDTHLIMIT) (greaterThan ?HEIGHT ?WIDTHLIMIT)) (and (defaultMaximumSphereRadius ?OBJECT (MeasureFn ?RADIUS ?UNIT)) (greaterThan (MultiplicationFn ?RADIUS 2) ?WIDTHLIMIT)))) (not (canCarry ?ROBOT ?INSTANCE))) |
Robot.kif 28-52 | If X is an instance of CarryBot, Y is an instance of Z, Z is a subclass of object, widthLimit X and W V(s), and All of the following hold: (1) the maximum expected length of Z is U V(s) (2) the maximum expected width of Z is T V(s) (3) the maximum expected height of Z is S V(s) (4) U is greater than W (5) T is greater than W (6) S is greater than W or the maximum expected radius of Z is R V(s) and R and 2 is greater than W, then canCarry X and Y |
| (=> (and (lengthLimit ?ROBOT (MeasureFn ?LENGTHLIMIT ?UNIT)) (instance ?INSTANCE ?OBJECT) (subclass ?OBJECT Object) (or (and (defaultMaximumLength ?OBJECT (MeasureFn ?LENGTH ?UNIT)) (defaultMaximumWidth ?OBJECT (MeasureFn ?WIDTH ?UNIT)) (defaultMaximumHeight ?OBJECT (MeasureFn ?HEIGHT ?UNIT))) (or (and (greaterThan ?LENGTH ?LENGTHLIMIT) (greaterThan ?WIDTH ?LENGTHLIMIT)) (and (greaterThan ?LENGTH ?LENGTHLIMIT) (greaterThan ?HEIGHT ?LENGTHLIMIT)) (and (greaterThan ?WIDTH ?LENGTHLIMIT) (greaterThan ?HEIGHT ?LENGTHLIMIT))) (and (defaultMaximumSphereRadius ?OBJECT (MeasureFn ?RADIUS ?UNIT)) (greaterThan (MultiplicationFn ?RADIUS 2) (DivisionFn ?LENGTHLIMIT 2))))) (not (canCarry ?ROBOT ?INSTANCE))) |
Robot.kif 61-86 | If lengthLimit X and Y Z(s), W is an instance of V, V is a subclass of object, and At least one of the following holds: (1) the maximum expected length of V is U Z(s), the maximum expected width of V is T Z(s), and the maximum expected height of V is S Z(s) (2) At least one of the following holds: (1) U is greater than Y and T is greater than Y (2) U is greater than Y and S is greater than Y (3) T is greater than Y and S is greater than Y (3) the maximum expected radius of V is R Z(s) and R, 2 is greater than Y, and 2, then canCarry X and W |
| appearance as argument number 0 |
|
|
|