Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| defaultMaximumHeight |
| appearance as argument number 1 |
|
| (instance defaultMaximumHeight BinaryPredicate) | Mid-level-ontology.kif 14922-14922 | default maximum height is an instance of binary predicate |
| (domainSubclass defaultMaximumHeight 1 Object) | Mid-level-ontology.kif 14923-14923 | The number 1 argument of default maximum height is a subclass of object |
| (domain defaultMaximumHeight 2 LengthMeasure) | Mid-level-ontology.kif 14924-14924 | The number 2 argument of default maximum height is an instance of length measure |
| (documentation defaultMaximumHeight EnglishLanguage "A BinaryPredicate that states the assumed maximum height of an Object") | Mid-level-ontology.kif 14925-14925 | The number 2 argument of default maximum height is an instance of length measure |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage defaultMaximumHeight "default maximum height") | Mid-level-ontology.kif 14926-14926 | |
| (format EnglishLanguage defaultMaximumHeight "the maximum expected height of %1 is %2") | domainEnglishFormat.kif 3168-3168 | |
| (format ChineseTraditionalLanguage defaultMaximumHeight "%1 的 maximum 預期高度是 %2 ") | domainEnglishFormat.kif 3169-3169 | |
| (format ChineseLanguage defaultMaximumHeight "%1 的 maximum 预期高度是 %2 ") | domainEnglishFormat.kif 3170-3170 |
| antecedent |
|
|
| (=> (defaultMaximumHeight ?OBJECT (MeasureFn ?H ?U)) (modalAttribute (exists (?INST ?HEIGHT) (and (instance ?INST ?OBJECT) (height ?INST (MeasureFn ?HEIGHT ?U)) (greaterThan ?HEIGHT ?H))) Unlikely)) |
Mid-level-ontology.kif 14928-14937 | If the maximum expected height of X is Y Z(s), then the statement there exist W and V such that W is an instance of X and the height 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 |
|
|
|